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 (𝑝→(𝑟∨𝑠))¬(p→(r∨s)) is invalid
then, by contradiction, 𝑝→(𝑟∨𝑠)𝑝→(𝑟∨𝑠)p→(r∨s) is valid
Need a fast expert's response?
and get a quick answer at the best price
for any assignment or question with DETAILED EXPLANATIONS!