Encyclopedia of Machine Learning

2010 Edition
| Editors: Claude Sammut, Geoffrey I. Webb

Propositional Logic

Reference work entry
DOI: https://doi.org/10.1007/978-0-387-30164-8_679

Propositional logic is the logic of propositions, i.e., expressions that are either true or false. Complex propositions are built from propositional atoms using logical connectives. Propositional logic is a special case of predicate logic, where all  predicates have zero arity; see the entry on first-order logic for details.

Cross References

Copyright information

© Springer Science+Business Media, LLC 2011