Μάρτιος 2013 | |
Μάθημα 6ο (Διάρκεια: 2:00 ώρες) Παρασκευή, 15 Μαρτίου 2013 - 4:00 μ.μ. Μεταθεώρημα Απαγωγής Μεταθεώρημα Διπλής Άρνησης Μεταθεώρημα Αντιθετοαντιστροφής Μεταθεώρημα Ταυτολογικής Συνέπειας Μεταθεώρημα Απαγωγής σε Άτοπο Μεταθεώρημα Γενίκευσης Σταθερών Μεταθεώρημα Ύπαρξης Παραδείγματα Στρατηγική
(Enderton: Κεφάλαιο 2, σελ.118-125) |