Review the main logical connectives and practice symbolizing statements.
| P | ¬P |
|---|---|
| T | F |
| F | T |
| P | Q | P ∧ Q |
|---|---|---|
| T | T | T |
| T | F | F |
| F | T | F |
| F | F | F |
| P | Q | P ∨ Q |
|---|---|---|
| T | T | T |
| T | F | T |
| F | T | T |
| F | F | F |
| P | Q | P ⊃ Q |
|---|---|---|
| T | T | T |
| T | F | F |
| F | T | T |
| F | F | T |
| P | Q | P ≡ Q |
|---|---|---|
| T | T | T |
| T | F | F |
| F | T | F |
| F | F | T |
If it rains, then the ground is wet.
Either I study or I fail.
The lamp is on if and only if the switch is up.