Homework Sourseuse propositional logic to prove the arguments valid A and B
use propositional logic to prove the arguments valid (A and B) and (B implies A\') implies (C and B\')
Solution
A and B and B implies C\'
As first three rows indicate (A and B) and (B implies A\') implies (C and B\') is not true
the argument is not valid.
| A | B | C | A\' | B\' | C\' | AB | B-->A\' | AB^B-->A\' | C-->B\' |
| T | T | T | F | F | F | T | f | f | f |
| T | T | F | F | F | T | T | F | F | T |
| T | F | T | F | T | F | F | T | F | T |
