Title Details: | |
The logic of propositions, propositional calculus |
|
Authors: |
Koletsos, Georgios |
Reviewer: |
Dimitrakopoulos, Konstantinos |
Subject: | HUMANITIES AND ARTS > LOGIC AND PHILOSOPHY OF LOGIC HUMANITIES AND ARTS > LOGIC AND PHILOSOPHY OF LOGIC > LOGIC AND PHILOSOPHY OF LOGIC, MISCELLANEOUS > DEDUCTIVE LOGIC MATHEMATICS AND COMPUTER SCIENCE > MATHEMATICS > MATHEMATICAL LOGIC AND FOUNDATIONS MATHEMATICS AND COMPUTER SCIENCE > COMPUTER SCIENCE |
Description: | |
Abstract: |
Introduction to Propositional Logic. The language of propositional logic. Various simple cases and familiarization with generalized inductive definitions. Semantics and the definition of the concept of logical entailment. The compactness theorem of propositional logic. The concept of a formal proof system. Hilbert-type system for propositional logic. The deduction theorem and related theorems. The soundness and completeness theorem for propositional logic.
|
Linguistic Editors: |
Toulatou, Dimitra |
Technical Editors: |
Stavrinos, Giorgos |
Type: |
Chapter |
Creation Date: | 2015 |
Item Details: | |
License: |
http://creativecommons.org/licenses/by-nc-nd/3.0/gr |
Handle | http://hdl.handle.net/11419/2301 |
Bibliographic Reference: | Koletsos, G. (2015). The logic of propositions, propositional calculus [Chapter]. In Koletsos, G. 2015. Mathematical Logic [Undergraduate textbook]. Kallipos, Open Academic Editions. https://hdl.handle.net/11419/2301 |
Language: |
Greek |
Is Part of: |
Mathematical Logic |
Publication Origin: |
Kallipos, Open Academic Editions |