ΠΛΗ20 ΜΑΘΗΜΑ 2.3 - ΝΟΜΟΙ ΠΡΟΤΑΣΙΑΚΗΣ ΛΟΓΙΚΗΣ - ΚΑΤΑΝΟΗΣΗ 2

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

[obscuredbyclouds]

καλημέρα! στο ερώτημα ii, με ποιον νόμο γίνεται η αλλαγή από (q σύζευξη διπλή άρνηση r) ->p στην τελική του μορφή;

[kotsolorhodrog]

Καλησπέρα είναι δυνατον στο (ii) αντί να εφαρμόσω το νόμο της διπλης άρνησης να χρησιμοποιήσω κατευθείαν το νόμο της εξαγωγής και να καταλήξω (q->(r->p)) ;

[machinegun]

Υπάρχει τρόπος να υπολογιστεί στο ii και χωρίς τον νόμο της αντιμεταθετικότητας;