Propositional Logic: Formulas, Models, Tableaux

Propositional logic is a simple logical system that is the basis for all others. Propositions are claims like ‘one plus one equals two’ and ‘one plus two equals two’ that cannot be further decomposed and that can be assigned a truth value of true or false. From these atomic propositions, we will bui...

Full description

Saved in:
Bibliographic Details
Published inMathematical Logic for Computer Science pp. 7 - 47
Main Author Ben-Ari, Mordechai
Format Book Chapter
LanguageEnglish
Published United Kingdom Springer London, Limited 2012
Springer London
Subjects
Boolean Operators
Formula Labels
Mathematical foundations
Mathematical logic
Mathematical theory of computation
Principal Performance
Propositional Logic
Semantic Tableaux
Online AccessGet full text
ISBN1447141288
9781447141280
DOI10.1007/978-1-4471-4129-7_2

Cover

More Information
Summary:Propositional logic is a simple logical system that is the basis for all others. Propositions are claims like ‘one plus one equals two’ and ‘one plus two equals two’ that cannot be further decomposed and that can be assigned a truth value of true or false. From these atomic propositions, we will build complex formulas using Boolean operators: ‘one plus one equals two’ and ‘Earth is farther from the sun than Venus’.
ISBN:1447141288
9781447141280
DOI:10.1007/978-1-4471-4129-7_2