Section outline

  • Κάναμε μία εισαγωγή στην Προτασιακή Λογική. Μιλήσαμε για σύνταξη τύπων και δώσαμε έννοια στους συνδέσμους \lnot, \land, \lor, \Rightarrow, \Leftrightarrow, ορίζοντας τον πίνακα αληθείας για κάθε ένα. Είδαμε ότι με αυτούς τους ορισμούς, μπορεί να αποδοθεί μία τιμή αληθείας σε κάθε τύπο, όταν δοθούν τιμές αληθείας στις προτασιακές μεταβλητές: μπορούμε δηλαδή να φτιάξουμε τον πίνακα αληθείας του τύπου. 

    Είδαμε τους νόμους της προτασιακής λογικής, δηλαδή κάποιες βασικές λογικές ισοδυναμίες μεταξύ τύπων.

    Είδαμε ότι για κάθε δυνατή στήλη ενός πίνακα αληθείας υπάρχει τύπος με αυτές τις αποτιμήσεις και κατασκευάσαμε ένα τέτοιο τύπο (που είναι σε Κανονική Διαξευκτική Μορφή).

    Κάναμε μία εισαγωγή στην Κατηγορηματική Λογική. Είδαμε τους ποσοδείκτες \forall, \exists και είδαμε παραδείγματα τύπων. 

    Διαβάστε: σελ. 63-80 από τις σημειώσεις Χ. Κουρουνιώτη.