ΠΛΗ31 ΜΑΘΗΜΑ 2.1 - ΚΑΤΗΓΟΡΗΜΑΤΙΚΗ ΛΟΓΙΚΗ: ΕΙΣΑΓΩΓΗ - Εφαρμογή 1

Παρωχημένη σειρά. Δεν υποστηρίζεται πλέον για σχόλια/απορίες. Για νεότερες σειρές συμβουλευθείτε την κεντρική σελίδα του καναλιού.
===================
1) Συντακτικό της Κατηγορηματικής Λογικής
1.1) Σταθερές και Μεταβλητές
1.2) Συναρτήσεις και Κατηγορήματα
1.3) Ατομικές Προτάσεις και Κυριολεκτήματα
1.4) Συνθετικά
1.5) Ποσοδείκτες
1.6) Προτάσεις wff
2) Στρατηγικές Σύνταξης
2.1) Προτεραιότητα Τελεστών
2.2) Εμβέλεια Ποσοδεικτών
2.3) Σταθερές
2.4) Κατηγορήματα 1 ορίσματος
2.5) Κατηγορήματα 2 ορισμάτων
2.6) Γενικές Συστάσεις για τη Σύνταξη Προτάσεων
2.7) Διπλοί Ποσοδείκτες
Ασκήσεις