Homework SourseConstruct the truth table for the proposition p r q rSolutio
Construct the truth table for the proposition (p r) (q r)
Solution
Biconditional (or Bi implication):
The biconditional connective <=> (read as IF AND ONLY IF) is defined by the following truth table.
Note: If p and q have the same truth value, the biconditional p <=> q is true; if p and q have opposite truth values then
p <=> q is false.
Implication ñ Conditional Statement p q (p implies q) (if p then q) is the proposition that is false when p is true and q is false and true otherwise.
| p | q | r | (p r) | (q r) | (p r) (q r) |
| T | T | T | T | T | T |
| T | T | F | F | F | T |
| T | F | T | T | T | T |
| T | F | F | F | T | F |
| F | T | T | T | T | T |
| F | T | F | T | F | F |
| F | F | T | T | T | T |
| F | F | F | T | T | T |
