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

Größe der PNG-Vorschau dieser SVG-Datei: 230 × 230 Pixel. Weitere Auflösungen: 240 × 240 Pixel | 480 × 480 Pixel | 768 × 768 Pixel | 1.024 × 1.024 Pixel | 2.048 × 2.048 Pixel.

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

Diese Datei und die Informationen unter dem roten Trennstrich werden aus dem zentralen Medienarchiv Commons eingebunden.
Weitere Informationen und eine Kontaktmöglichkeit zum Urheber sind dort zu finden.

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. $\forall x\exists yLyx$ : Everyone is loved by someone.	2. $\forall x\exists yLxy$ : Everyone loves someone.

The diagonal is nonempty/full:
5. $\exists xLxx$ : Someone loves himself.
6. $\forall xLxx$ : Everyone loves himself.

The matrix is nonempty/full:
7. $\exists x\exists yLxy$ : Someone loves someone. 8. $\exists x\exists yLyx$ : Someone is loved by someone.
9. $\forall x\forall yLxy$ : Everyone loves everyone. 10. $\forall x\forall yLyx$ : Everyone is loved by everyone.

One row/column is full:
3. $\exists x\forall yLxy$ : Someone loves everyone.	4. $\exists x\forall yLyx$ : 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

Dateiversionen

Klicke auf einen Zeitpunkt, um diese Version zu laden.

	Version vom	Vorschaubild	Maße	Benutzer	Kommentar
aktuell	01:28, 15. Dez. 2010		230 × 230 (12 KB)	Watchduck	a and b don't look like a random pair of individuals
	19:40, 6. Dez. 2010		230 × 230 (12 KB)	Watchduck

Dateiverwendung

Die folgende Seite verwendet diese Datei:

Prädikatenlogische Formeln

Globale Dateiverwendung

Die nachfolgenden anderen Wikis verwenden diese Datei:

Verwendung auf de.wikipedia.org
- Prädikatenlogik
- Diskussion:Prädikatenlogik/Archiv/1
Verwendung auf en.wikipedia.org
- Talk:Quantification
Verwendung auf en.wikiversity.org
- Formulas in predicate logic/2 places
Verwendung auf he.wikipedia.org
- תחשיב הפרדיקטים
- משתמש:גלעד ניר/דף טיוטה

Metadaten

Diese Datei enthält weitere Informationen, 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.

Breite	230.31496
Höhe	230.31496