About this document
Propositional Logic: Syntax and Semantics by Akshay Monde is a document available to read on EtoBox.
This chapter discusses propositional logic including its syntax, semantics, and key concepts. Propositional formulas are constructed from boolean variables and logical connectives. The meaning of formulas depends on their truth values under different interpretations. A formula is satisfiable if it is true under some interpretation, and valid if true under all interpretations.
- Author
- Akshay Monde
- Language
- EN