Μάρτιος 2013
Μάθημα 6ο   (Διάρκεια: 2:00 ώρες)
Παρασκευή, 15 Μαρτίου 2013 - 4:00 μ.μ.

Μεταθεώρημα Απαγωγής

Μεταθεώρημα Διπλής Άρνησης

Μεταθεώρημα Αντιθετοαντιστροφής

Μεταθεώρημα Ταυτολογικής Συνέπειας

Μεταθεώρημα Απαγωγής σε Άτοπο

Μεταθεώρημα Γενίκευσης Σταθερών

Μεταθεώρημα Ύπαρξης

Παραδείγματα

Στρατηγική

 

(Enderton: Κεφάλαιο 2, σελ.118-125)