File:Predicate logic; 2 variables; example matrix a1e2.svg

Από Wikimedia Commons
Μετάβαση στην πλοήγηση Πήδηση στην αναζήτηση

Πρωτότυπο αρχείο(Αρχείο SVG, ονομαστικό μέγεθος 230 × 230 εικονοστοιχεία, μέγεθος αρχείου: 15 KB)

Λεζάντες

Λεζάντες

Δεν ορίστηκε λεζάντα

Σύνοψη[επεξεργασία]

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".
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Μικρογραφία για την έκδοση της 18:40, 6 Δεκεμβρίου 2010230 × 230 (15 KB)Watchduck (συζήτηση | Συνεισφορά)

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

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

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