Given the following 2 premises, 1. πβ(πβ¨π)
2. πβπ
Prove πβ(πβ¨π ) is valid using the Proof by Contradiction method.
truth table has a row where the conclusion column is FALSE while every premise column is TRUE
so, "\\neg (\ud835\udc5d\u2192(\ud835\udc5f\u2228\ud835\udc60))" is invalid
then, by contradiction, "\ud835\udc5d\u2192(\ud835\udc5f\u2228\ud835\udc60)" is valid
Comments
Leave a comment