Abstract
In propositional logic, as the name suggests, propositions are connected by logical operators. The statement “the street is wet” is a proposition, as is “it is raining”. These two propositions can be connected to form the new proposition “if it is raining the street is wet”. Written more formally: “it is raining ⇒ the street is wet”. Introducing important concepts such as syntax, semantics, interpretation, model, correctness, completeness, calculus, etc., this chapter serves as a “warm up” for first order predicate logic in Chap. 3. The language of propositional logic will also be used in Chap. 7 as a basis for probabilistic logic.
Notes
- 1.
Here Q stands for query.
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
Copyright information
© 2017 Springer International Publishing AG
About this chapter
Cite this chapter
Ertel, W. (2017). Propositional Logic. In: Introduction to Artificial Intelligence. Undergraduate Topics in Computer Science. Springer, Cham. https://doi.org/10.1007/978-3-319-58487-4_2
Download citation
DOI: https://doi.org/10.1007/978-3-319-58487-4_2
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-58486-7
Online ISBN: 978-3-319-58487-4
eBook Packages: Computer ScienceComputer Science (R0)