1. Conditional Statements
Sign In
A conditional statement is only false when a true hypothesis produces a false conclusion.
q | ~ p | q→ ~ p |
---|---|---|
T | F | F |
F | F | T |
T | T | T |
F | T | T |
Let's remind ourselves of the truth table of a conditional statement.
p | q | p→ q |
---|---|---|
T | T | T |
T | F | F |
F | T | T |
F | F | T |
To create our truth table for q→ ~ p, we first have to negate p. The truth value of a negation is the opposite of the truth value of the original statement.
p | ~ p |
---|---|
T | F |
T | F |
F | T |
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 table.
q | ~ p | q→ ~ p |
---|---|---|
T | F | F |
F | F | T |
T | T | T |
F | T | T |