Η λογική των προτάσεων, προτασιακός λογισμός
Εισαγωγή στον προτασιακό λογισμό. Η γλώσσα του προτασιακού λογισμού. Διάφορες απλές περιπτώσεις και εξοικείωση με τους γενικευμένους επαγωγικούς ορισμούς. Σημασιολογία και ορισμός της έννοιας της λογικής συνεπαγωγής. Το θεώρημα της συμπάγειας του προτασιακού λογισμού.<br/>Η έννοια του τυπικού...
| Main Authors: | , |
|---|---|
| Format: | 7 |
| Language: | Greek |
| Published: |
2016
|
| Subjects: | |
| Online Access: | http://localhost:8080/jspui/handle/11419/2301 |
| Summary: | Εισαγωγή στον προτασιακό λογισμό. Η γλώσσα του προτασιακού λογισμού. Διάφορες απλές περιπτώσεις και εξοικείωση με τους γενικευμένους επαγωγικούς ορισμούς. Σημασιολογία και ορισμός της έννοιας της λογικής συνεπαγωγής. Το θεώρημα της συμπάγειας του προτασιακού λογισμού.<br/>Η έννοια του τυπικού αποδεικτικού συστήματος. Σύστημα τύπου Hilbert για την προτασιακή λογική. Το θεώρημα της απαγωγής και σχετικά θεωρήματα. Το θεώρημα ορθότητας και πληρότητας για τον προτασιακό λογισμό. |
|---|
