Σχεσιακός Λογισμός Πλειάδων
Τυπικός Ορισμός (συνέχεια)
Επίσης:
(? τ) (Φ)
(? τ) (Φ)
Ελεύθερη και δεσμευμένη μεταβλητή
Απλά, δεσμευμένη αν ποσοδεικτείται
Προηγούμενη διαφάνεια
Επόμενη διαφάνεια
Μετάβαση στην πρώτη διαφάνεια
Προβολή έκδοσης γραφικών