ΠΛΗ31 ΜΑΘΗΜΑ 2.3 - ΚΑΤΗΓΟΡΗΜΑΤΙΚΗ ΛΟΓΙΚΗ: Συζευκτίκη Κανονική Μορφή - Εφαρμογή 1

Παρωχημένη σειρά. Δεν υποστηρίζεται πλέον για σχόλια/απορίες. Για νεότερες σειρές συμβουλευθείτε την κεντρική σελίδα του καναλιού.
===================
1) Ενοποίηση
2) Κανόνες Συλλογισμού
2.1) Modus Ponens
2.2) Καθολική Ειδίκευση
2.3) Αναγωγή
3) Αναγωγή μέσω αντίκρουσης της αντίφασης
3.1) Ορισμός
3.2) Παράδειγμα
3.3) Αλγόριθμος Αναγωγής μέσω Αντίκρουσης της Αντίφασης
3.4) Ευρετικά για την εύρεση της απόδειξης
3.5) Εξάγωγη Απαντήσεων
Ασκήσεις