Αρχείο:Predicate logic; 2 variables; example matrix a2e1.svg

Το μέγεθος αυτής της PNG προεπισκόπησης αυτού του SVG το αρχείο: 230 × 230 εικονοστοιχεία. Άλλες αναλύσεις: 240 × 240 εικονοστοιχεία | 480 × 480 εικονοστοιχεία | 768 × 768 εικονοστοιχεία | 1.024 × 1.024 εικονοστοιχεία | 2.048 × 2.048 εικονοστοιχεία.

Εικόνα σε υψηλότερη ανάλυση ‎(Αρχείο SVG, ονομαστικό μέγεθος 230 × 230 εικονοστοιχεία, μέγεθος αρχείου: 15 KB)

Αυτό το αρχείο και η περιγραφή του προέρχονται από το Wikimedia Commons. Οι πληροφορίες από την σελίδα περιγραφής του εκεί εμφανίζονται παρακάτω.

Σύνοψη

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".

This work is ineligible for copyright and therefore in the public domain because it consists entirely of information that is common property and contains no original authorship.

Ο πηγαίος κώδικας αυτού του SVG είναι έγκυρος.

predicate δημιουργήθηκε με Inkscape.

This SVG predicate was uploaded with Commonist.

Ιστορικό αρχείου

Κλικάρετε σε μια ημερομηνία/ώρα για να δείτε το αρχείο όπως εμφανιζόταν εκείνη τη στιγμή.

	Ώρα/Ημερομ.	Μικρογραφία	Διαστάσεις	Χρήστης	Σχόλια
τελευταία	18:40, 6 Δεκεμβρίου 2010		230 × 230 (15 KB)	Watchduck

Συνδέσεις αρχείου

Τα παρακάτω λήμματα συνδέουν σε αυτό το αρχείο:

Λογική πρώτου βαθμού

Καθολική χρήση αρχείου

Τα ακόλουθα άλλα wiki χρησιμοποιούν αυτό το αρχείο:

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

Μεταδεδομένα

Αυτό το αρχείο περιέχει πρόσθετες πληροφορίες, πιθανόν από την ψηφιακή φωτογραφική μηχανή ή το scanner που χρησιμοποιήθηκε για την δημιουργία ή την ψηφιοποίησή της. Αν το αρχείο έχει τροποποιηθεί από την αρχική του κατάσταση, ορισμένες λεπτομέρειες πιθανόν να μην αντιστοιχούν πλήρως στην τροποποιημένη εικόνα.

Πλάτος	230.31496
Υψος	230.31496