⊢
Valid reasoning. Every day.
∧
A ∧ B is true only when both A and B are true. The logical AND requires all conditions to hold simultaneously.
∨
A ∨ B is true when at least one of A or B is true. The inclusive OR allows for either or both conditions.
¬
¬A inverts the truth value. What was true becomes false; what was false becomes true. The simplest transformation.
| P | Q | P → Q |
|---|---|---|
| T | T | T |
| T | F | F |
| F | T | T |
| F | F | T |