Στην εργασία αυτή περιγράφεται η γλώσσα του Προτασιακού Λογισμού που περιλαμβάνει την παράθεση συμβόλων της γλώσσας, τον ορισμό των προτασιακών τύπων και την περιγραφή της λειτουργίας των αληθοπινάκων, κάποιους απαραίτητουθς ορισμούς και εξηγήγεις συμβολισμών. Τέλος, παρουσιάζεται το σημαντικό θεώρημα του Προτασιακού Λογισμού, το θέωρημα Συμπαγας συνοδευόμενο με μια αρκετά γουστόζικη εφαρμογή του.

Στοιχεία Άρθρου

Περιοδικό	Μαθηματική Επιθεώρηση
Αρ. Τεύχους	Τεύχος 14
Περίοδος	Απρίλης-Μάης-Ιούνης 1979
Συγγραφέας	Δ.Α. Αναπολιτάνος
Αρ. Αρθρου	4
Σελίδες	39-49
Γλώσσα	Ελληνική
Λέξεις Κλειδιά	-

Το Θεώρημα Συμπαγιας στον Προτασιακό Λογισμό και το Πρόβλημα του Γάμου