1. Conditional Statements
Sign In
A conditional statement is only false when a true hypothesis produces a false conclusion.
| q | p | q→ p | ~(q → p) |
|---|---|---|---|
| T | T | T | F |
| F | T | T | F |
| T | F | F | T |
| F | F | T | F |
| p | q | p→ q |
|---|---|---|
| T | T | T |
| T | F | F |
| F | T | T |
| F | F | T |
Note that a conditional statement is only false when a true hypothesis produces a false conclusion. Also, to get ~(q→ p) means negating the truth value of q→ p. With this, we can create our truth table.
| q | p | q→ p | ~( q→ p) |
|---|---|---|---|
| T | T | T | F |
| F | T | T | F |
| T | F | F | T |
| F | F | T | F |