Question

[(R \/ S) \/ ~T] \supset (P \equiv ~Q) ~[(R \/ S) \/ ~T] \therefore ~(P \equiv ~Q) modus tollens hypothetical syllogism disjunctive syllogism none modus ponens

          [(R \/ S) \/ ~T] \supset (P \equiv ~Q)
~[(R \/ S) \/ ~T]
\therefore ~(P \equiv ~Q)
modus tollens
hypothetical syllogism
disjunctive syllogism
none
modus ponens

[(R S) T] ⊃(P ≡ Q)
[(R S) T]
∴ (P ≡ Q)
modus tollens
hypothetical syllogism
disjunctive syllogism
none
modus ponens

Added by John M.

Elementary and Intermediate Algebra

Alan S. Tussy, R. David Gustafson 5th Edition

Instant Answer

Solved by Expert Madhur L

10/04/2023

Step 1

Premises: Show more…

Show all steps

Thanks for your feedback!

[(R ∨ S) ∨ ~T] ⊃ (P ≡ ~Q) ~[(R ∨ S) ∨ ~T] ∴ ~(P ≡ ~Q) ◻ modus tollens hypothetical syllogism disjunctive syllogism none ◻ modus ponens [R ∨ S ∨ ~T ⊃ P = ~Q] ~[(R ∨ S) ∨ ~T] ~P = ~Q ◻ modus tollens ◻ hypothetical syllogism ◻ disjunctive syllogism ◻ none ◻ modus ponens