Definition:Disjunction/Boolean Interpretation
Jump to navigation
Jump to search
Definition
Let $\mathbf A$ and $\mathbf B$ be propositional formulas.
Let $\lor$ denote the disjunction operator.
The truth value of $\mathbf A \lor \mathbf B$ under a boolean interpretation $v$ is given by:
- $\map v {\mathbf A \lor \mathbf B} = \begin{cases}
\F & : \map v {\mathbf A} = \map v {\mathbf B} = \F \\ \T & : \text{otherwise} \end{cases}$
Sources
- 1964: Donald Kalish and Richard Montague: Logic: Techniques of Formal Reasoning ... (previous) ... (next): $\text{II}$: 'AND', 'OR', 'IF AND ONLY IF': $\S 6 \ (5)$
- 1993: M. Ben-Ari: Mathematical Logic for Computer Science ... (previous) ... (next): Chapter $2$: Propositional Calculus: $\S 2.3$: Boolean interpretations: Figure $2.7$
- 1996: H. Jerome Keisler and Joel Robbin: Mathematical Logic and Computability ... (previous) ... (next): $\S 1.5$: Semantics of Propositional Logic