Boolean logic
Logical connective
An operation that combines or changes truth values.
Definition
Logical connective
A logical connective forms a new formula from one or more formulas.
Common connectives include not, and, or, implication, and equivalence. Each connective has a fixed truth condition.
01
Example
P and Q is true only when both P and Q are true.
02
Important distinction
The word 'or' is inclusive in standard logic unless a system states an exclusive meaning.
After reading this article, you should be able to
- Define Logical connective in the sense used on this site.
- Compute not, and, or, and implication for given truth values.