SME
Discrete Mathematics · Problem type
Build a truth table
Use this for “Is ¬q → ¬p equivalent to p → q? Build the truth table.”
Explore
p → q is false only when p is true and q is false: the second row.
Assumptions
•
Each row is one choice of true (T) or false (F) for p and q; two variables make 4 rows.
•
Work out the inner parts first, a column each, then the whole statement.
•
Two statements are equivalent when their columns agree in every row.
Topic check
See what you know: 5 questions on this topic
New questions each time. Pass to mark it complete.