Πρωτοβάθμια κατηγορηματική Λογική
Η γλώσσα του πρωτοβάθμιου κατηγορηματικού λογισμού. Ποσοδείκτηση. Ελεύθερες και δεσμευμένες μεταβλητές. Η έννοια της πρότασης. Αντικατάσταση ελεύθερων μεταβλητών από όρους. Ερμηνεία της γλώσσας. Ο ορισμός της αλήθειας του Tarski. Μοντέλα συνόλου προτάσεων.<br/>Αξιωματικά συστήματα τύπου Hilber...
| Κύριοι συγγραφείς: | , |
|---|---|
| Μορφή: | 7 |
| Γλώσσα: | Greek |
| Έκδοση: |
2016
|
| Θέματα: | |
| Διαθέσιμο Online: | http://localhost:8080/jspui/handle/11419/2302 |
