Zur Beschreibungsseite auf Commons

Datei:Predicate logic; 2 variables; example matrix a2e1.svg

aus Wikipedia, der freien Enzyklopädie
Zur Navigation springen Zur Suche springen

Originaldatei (SVG-Datei, Basisgröße: 230 × 230 Pixel, Dateigröße: 15 KB)

Diese Datei und die Informationen unter dem roten Trennstrich werden aus dem zentralen Medienarchiv Wikimedia Commons eingebunden.

Zur Beschreibungsseite auf Commons

Beschreibung

There are 10 sentences with 8 different meanings, using the loving-relation Lxy and the quantifiers ∀ and ∃:

No column/row is empty:
1. :
Everyone is loved by someone.
2. :
Everyone loves someone.
The diagonal is
nonempty/full:
5. :
Someone loves himself.
6. :
Everyone loves himself.
The matrix is
nonempty/full:
7. :
Someone loves someone.

8. :
Someone is loved by someone.
9. :
Everyone loves everyone.

10. :
Everyone is loved by everyone.
Hasse diagram of the implications
One row/column is full:
3. :
Someone loves everyone.
4. :
Someone is loved by everyone.


Watchduck
You can name the author as "T. Piesk", "Tilman Piesk" or "Watchduck".
Diese Datei ist gemeinfrei („public domain“), weil sie nur Allgemeingut enthält und die nötige Schöpfungshöhe nicht erreicht.
 
Der SVG-Code ist valide.
 
Diese Vektorgrafik wurde mit Inkscape erstellt.
 
Diese SVG-Datei wurde mit Commonist hochgeladen

Kurzbeschreibungen

Ergänze eine einzeilige Erklärung, was diese Datei darstellt.

In dieser Datei abgebildete Objekte

Motiv

Dateigröße

15.568 Byte

MIME-Typ

image/svg+xml

Prüfsumme

29d8ea935348ae98fe5a8b25ace98df92466e52c

Bestimmungsmethode: SHA-1

Dateiversionen

Klicke auf einen Zeitpunkt, um diese Version zu laden.

Version vomVorschaubildMaßeBenutzerKommentar
aktuell19:40, 6. Dez. 2010Vorschaubild der Version vom 19:40, 6. Dez. 2010230 × 230 (15 KB)Watchduck

Die folgenden 2 Seiten verwenden diese Datei:

Globale Dateiverwendung

Die nachfolgenden anderen Wikis verwenden diese Datei:

Metadaten

Diese Datei enthält weitere Informationen (beispielsweise Exif-Metadaten), die in der Regel von der Digitalkamera oder dem verwendeten Scanner stammen. Durch nachträgliche Bearbeitung der Originaldatei können einige Details verändert worden sein.

Abgerufen von „https://de.wikipedia.org/wiki/Datei:Predicate_logic;_2_variables;_example_matrix_a2e1.svg“