ΠΛΗ20 ΜΑΘΗΜΑ 2.3 - ΝΟΜΟΙ ΠΡΟΤΑΣΙΑΚΗΣ ΛΟΓΙΚΗΣ - ΘΕΩΡΙΑ 2 από 2

1) Νόμοι Προτασιακής Λογικής
1.1) Εύρεση Ταυτολογικά ισοδύναμου τύπου με δεδομένους συνδέσμους.
2) Επαγωγή στην Πολυπλοκότητα των Τύπων
2.1) Επαγωγή στην Πολυπλοκότητα των Τύπων
2.2) Επαγωγή στην Πολυπλοκότητα vs Επαγωγή στους Φυσικούς
2.3) Πλήρη Σύνολα Συνδέσμων
Ασκήσεις

[nevwalkalone]

Στην ουσία όποιο σύνολο συνδέσμων και να μας δώσει το οποίο δεν περιέχει το not και θέλουμε να δείξουμε ότι δεν είναι επαρκές, δεν μπορούμε να χρησιμοποιούμε πάντα ως αντιπαράδειγμα το not p?

[ΒαγγεληςΠιτσελης]

υπάρχει κάπου στα βίντεο gentzen και tableaux?

[walterwhite]

Σε ποιο κεφάλαιο βρίσκεται η επαγωγή στους φυσικούς ;