Homework Sourseis the below logic a Contradiction a Contingency or a Tautol
is the below logic a Contradiction, a Contingency or a Tautology?
((p q) (¬p r)) ¬(¬q ¬r)
Using a Logic Table I found that it was a Contigency, with one value producing T F which is false. I just wanted a second opinion! thanks
Solution
SO WE CAN CONFORM A GIVEN LOGIC IS A TAUTOLOGY
| p | q | r | ~p | ~q | ~r | p v q | ~p v r | (p v q) AND (~p v r) | ~q AND ~r | ~(~q AND ~r) | ((p v q) AND (~p v r)) ->(~(~q AND ~r)) |
| T | T | T | F | F | F | T | T | T | F | T | T |
| T | T | F | F | F | T | T | F | F | F | T | T |
| T | F | T | F | T | F | T | T | T | F | T | T |
| T | F | F | F | T | T | T | F | F | T | F | T |
| F | T | T | T | F | F | T | T | T | F | T | T |
| F | T | F | T | F | T | T | T | T | F | T | T |
| F | F | T | T | T | F | F | T | F | F | T | T |
| F | F | F | T | T | T | F | T | F | T | F | T |
