Product Description
ΚΕΦΑΛΑΙΟ 1
Άλγεβρα των προτάσεων
1. Προτάσεις
2. Σύζευξη ⋀
3. Διάζευξη ⋁
4. Άρνηση ~
5. Συνεπαγωγή ( → )
6. Ισοδυναμία ( ↔ )
7. Πολυώνυμα του Boole
8. Πίνακες αλήθειας προτάσεων
9. Ταυταληθείς και Ταυτοψευδείς προτάσεις
10. Λογική ισοδυναμία ή λογική ισότητα ( ≡ )
11. Άλγεβρα των προτάσεων
12. Λογική συνεπαγωγή ( ⇒ )
13. Λογική ισοδυναμία ( ⇔ )
14. Αποκλειστική διάζευξη ⊻ ( είτε … είτε )
15. Από κοινού άρνηση ↓ ( ούτε … ούτε )
16. Συμβολισμοί
17. Ασκήσεις
ΚΕΦΑΛΑΙΟ 2
Ποσοδείκτες
1.Προτασιακοί τύποι μιας μεταβλητής (παραμέτρου)
2.Καθολικός ποσοδείκτης ∀
3.Υπαρξιακός ποσοδείκτης ∃
4.Άρνηση προτάσεων με ποσοδείκτες
5.Αντιπαράδειγμα
6.Συμβολισμοί – Γενικεύσεις
7.Προτασιακοί τύποι πολλών μεταβλητών (παραμέτρων).
8.Ασκήσεις
ΚΕΦΑΛΑΙΟ 3
Άλγεβρα του Boole
1.Ορισμός της Άλγεβρας Boole
2.Δυϊσμός στην Άλγεβρα Boole
3.Βασικά θεωρήματα
4.Διάταξη στην Άλγεβρα Boole
5.Κυκλώματα διακοπτών
6.Ασκήσεις
ΚΕΦΑΛΑΙΟ 4
Λογική επιχειρηματολογία
1.Επιχειρηματολογία
2.Διαγράμματα Venn
3.Επιχειρήματα και προτάσεις
4.Επιχειρήματα και ποσοδείκτες .
5.Επιχειρήματα συνεπαγωγής
6.Ασκήσεις
ΑΠΑΝΤΗΣΕΙΣ ΤΩΝ ΑΣΚΗΣΕΩΝ