Σχολιασμός (βίντεο)
ΒΙΝΤΕΟ ΜΑΘΗΜΑΤΟΣ και ΣΧΟΛΙΑΣΜΟΣ
ΣΥΜΒΟΥΛΕΣ
 |  |
|||
|---|---|---|---|---|
| Κατηγορία | Χ | Δ | Σχόλιο | |
| Θεωρία | Όλοι οι ορισμοί του μαθήματος είναι ιδιαιτέρως σημαντικοί | |||
| Μεθοδολογία | Εμπειρικοί κανόνες για ταχύτερο προσδιορισμό αν ισχύει μια ταυτολογική συνεπαγωγή, εφόσον οι τύποι που υπεισέρχονται σε αυτόν έχουν κάποια ειδική μορφή. | |||
| Κατανόηση 1 | 4 | 2 | Εξάσκηση στον ορισμό του ικανοποιήσιμου συνόλου τύπων | |
| Κατανόηση 2 | 4 | 2 | Εξάσκηση στον ορισμό της ταυτολογικής συνεπαγωγής | |
| Κατανόηση 3 | 5 | 1 | Πολύ σημαντική άσκηση που δίνει όλες τις περιπτώσεις για την ισχύ μιας ταυτολογικής συνεπαγωγής όταν οι τύποι που υπεισέρχονται σε αυτόν έχουν κάποια ειδική μορφή. | |
| Ερωτήσεις 1 | 4 | 2 | Κλασικός τύπος ερωτήσεων για την εξέταση ταυτολογικής συνεπαγωγής. | |
| Ερωτήσεις 2 | 4 | 2 | Συνδυαστική άσκηση με το προηγούμενο μάθημα που ενσωματώνει τον ορισμό της ταυτολογικής ισοδυναμίας | |
| Ερωτήσεις 3 | 4 | 2 | Συνδυαστική άσκηση με το προηγούμενο μάθημα που ενσωματώνει τον ορισμό της ταυτολογικής συνεπαγωγής | |
| Εφαρμογή 1 | 4 | 3 | Εξέταση ταυτολογικής συνεπαγωγής με συλλογισμό (και όχι αληθοπίνακα). Πρέπει να δοθεί έμφαση στον τρόπο με τον οποίο καταγράφεται ο συλλογισμός σε φυσική γλώσσα. | |
| Εφαρμογή 2 | 4 | 3 | Πρώτη επαφή με ασκήσεις συλλογισμού σε προτασιακή λογική που συνδυάζουν ορισμούς για την απόδειξή τους. Να μελετηθεί και ο τρόπος καταγραφής του συλλογισμού. | |
| Εφαρμογή 3 | 4 | 3 | Ομοίως με την προηγούμενη άσκηση όπου περισσότερο σημαντικό είναι ο σωστός τρόπος καταγραφής του συλλογισμού, παρά ο ίδιος ο συλλογισμός (που δεν είναι τόσο δύσκολος). Να μελετηθεί οπωσδήποτε η ηχογράφηση. | |
