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