Σχεσιακός Λογισμός Πλειάδων

Τυπικός Ορισμός (συνέχεια)

Κάθε άτομο αποτιμάται σε true ή false (τιμή αληθείας) του ατόμου

Κάθε τύπος κατασκευάζεται από ένα ή περισσότερα άτομα

• Κάθε άτομο είναι ένας τύπος

• (F1 or F2)

• (F1 and F2)

• not(F1)

Προηγούμενη διαφάνεια

Επόμενη διαφάνεια

Μετάβαση στην πρώτη διαφάνεια

Προβολή έκδοσης γραφικών