Η λογική των προτάσεων, προτασιακός λογισμός

• Main Authors: Koletsos, Georgios, Κολέτσος, Γεώργιος
• Format: 7
• Language: Greek
• Published: 2016
• Subjects: ΛΟΓΙΚΗ ΠΛΗΡΟΤΗΤΑ ΑΝΑΠΟΚΡΙΣΙΜΟΤΗΤΑ ΘΕΩΡΙΑ ΑΠΟΔΕΙΞΕΩΝ ΙΣΟΜΟΡΦΙΣΜΟΣ ΑΠΟΔΕΙΞΕΩΝ ΠΡΟΓΡΑΜΜΑΤΩΝ; Logic Completeness Undecidability Proof Theory Curry-howard Isomorphism

Εισαγωγή στον προτασιακό λογισμό. Η γλώσσα του προτασιακού λογισμού. Διάφορες απλές περιπτώσεις και εξοικείωση με τους γενικευμένους επαγωγικούς ορισμούς. Σημασιολογία και ορισμός της έννοιας της λογικής συνεπαγωγής. Το θεώρημα της συμπάγειας του προτασιακού λογισμού.<br/>Η έννοια του τυπικού...