- Thread starter
- #1
Joystar1977
Active member
- Jul 24, 2013
- 119
Use a truth table to determine that "division into cases" rule of inference is valid.
Also make sure you know what it means, by definition, for a rule to be valid.You'll have to tell us what this rule [i.e., division into cases] is.
p q p -> q
------------
T T T
T F F
F T T
F F T