1. Conditional Statements
Sign In
A conditional statement is only false when a true hypothesis produces a false conclusion.
| p | q | ~ q | p→ ~ q |
|---|---|---|---|
| T | T | F | F |
| T | F | T | T |
| F | T | F | T |
| F | F | T | T |
We are asked to make a truth table to the following conditional statement.
p → ~ q
To do so, let start by recalling the truth table of the conditional statement p→ q.
| p | q | p→ q |
|---|---|---|
| T | T | T |
| T | F | F |
| F | T | T |
| F | F | T |
To create the truth table for p→ ~ q, we first need to negate q. The truth value of a negation is the opposite of the truth value of the original statement.
| q | ~ q |
|---|---|
| T | F |
| F | T |
| T | F |
| F | T |
Note that a conditional statement is only false when a true hypothesis produces a false conclusion. With this information, we can complete the truth table.
| p | q | ~ q | p→ ~ q |
|---|---|---|---|
| T | T | F | F |
| T | F | T | T |
| F | T | F | T |
| F | F | T | T |