1. Conditional Statements
Sign In
The truth value of a negation is the opposite of the truth value of the original conditional statement.
| p | q | p→ q | ~ (p→ q) |
|---|---|---|---|
| T | T | T | F |
| T | F | F | T |
| F | T | T | F |
| F | F | T | F |
If we negate the truth value of a conditional statement, we can make our truth table. Note that the truth value of a negation is the opposite of the truth value of the original statement.
| p | q | p→ q | ~ ( p→ q) |
|---|---|---|---|
| T | T | T | F |
| T | F | F | T |
| F | T | T | F |
| F | F | T | F |