SOLUTION: Topics In Contemporary Math Modus Ponens and Modus Tollens 1) Create a truth table to prove that the Law of Disjunctive Syllogism is a valid argument form.

Algebra.Com
Question 1190299: Topics In Contemporary Math
Modus Ponens and Modus Tollens
1) Create a truth table to prove that the Law of Disjunctive Syllogism is a valid argument
form.
Answer by math_tutor2020(3817)   (Show Source): You can put this solution on YOUR website!

The law of disjunctive syllogism has an argument of this format
Premise 1: P v Q
Premise 2: ~P
Conclusion: Q

Truth table:
Premise 1Premise 2Conclusion
PQP v Q~PQ
TTTFT
TFTFF
FTTTT
FFFTF
Carefully look through each row.
Ask yourself: "For any single row, do I have all true premises but they lead to a false conclusion?"
The answer is "no" because row 3 comes close, but the true premises lead to a true conclusion.

Since we don't have all true premises that don't lead to a false conclusion, this means we can't prove the argument is invalid.

Therefore, the disjunctive syllogism is valid.

-------------------------------------

An example of disjunctive syllogism:
Premise 1: I either ate pizza or I ate Quiznos
Premise 2: I didn't eat pizza
Conclusion: I ate Quiznos

Replace "I ate pizza" with P, and "I ate Quiznos" with Q to get the argument format mentioned earlier.
RELATED QUESTIONS

Topics In Contemporary Math Modus Ponens and Modus Tollens Another invalid argument (answered by math_tutor2020)
MAT 145: Topics In Contemporary Math Modus Ponens and Modus Tollens Translate each... (answered by Alan3354)
MAT 145: Topics In Contemporary Math Modus Ponens and Modus Tollens Translate each... (answered by Edwin McCravy)
Topics In Contemporary Math Modus Ponens and Modus Tollens Translate each of the... (answered by math_tutor2020)
MAT 145: Topics In Contemporary Math Modus Ponens and Modus Tollens Translate each... (answered by Alan3354)
MAT 145: Topics In Contemporary Math Modus Ponens and Modus Tollens Translate each... (answered by Alan3354)
I don't understand the logic proofs not k not l then h j then k h then j therefore (answered by stanbon)
Derive the conclusion from the given premise in the argument below by utilizing... (answered by jim_thompson5910)
I’m doing homework concerning the rules of replacement. We are allowed to use 8 rules of... (answered by jim_thompson5910)