Μαθηματική Λογική (μεταπτυχιακό μάθημα Μ.Π. Θεωρητικών Μαθηματικών και μεταπτυχιακό μάθημα Μ.Π. Εφαρμοσμένων Μαθηματικών του Τμήματος Μαθηματικών) και Λογική (μεταπτυχιακό μάθημα Μ.Π. Α.Λ.Μ.Α.)

Ημερολόγιο

Μάιος 2014
Μάθημα 6ο   (Διάρκεια: 2:00 ώρες)
Παρασκευή, 2 Μαΐου 2014 - 1:00 μ.μ.

Μεταθεωρήματα :

-Γενίκευσης

-Ταυτολογιών

-Ταυτολογικών Συνεπειών

-Συναγωγής, Αντιθετοαντιστροφής, Απαγωγής σε Άτοπο

Γενίκευση σε Σταθερές

 

Enderton κεφ.2 σελ1 133-141