Time remaining:
Which rules of inference are used to establish these conclusion? Thank you!

Mathematics
Tutor: None Selected Time limit: 0 Hours

Apr 14th, 2015

∀x:P(x) →S(x)   Premise (1)

∀x:S(x) →R(x) Equivalent  Premise (3) Modus Tollens

∀x : P(x)  → R(x) Rule of Syllogism

¬ ∃x: (Q(x) ∧ R(x)) Premise (2)

∀x : P(x) → ¬ Q(x) Rule of Disjunction


May 17th, 2015

Did you know? You can earn $20 for every friend you invite to Studypool!
Click here to
Refer a Friend
...
Apr 14th, 2015
...
Apr 14th, 2015
May 25th, 2017
check_circle
Mark as Final Answer
check_circle
Unmark as Final Answer
check_circle
Final Answer

Secure Information

Content will be erased after question is completed.

check_circle
Final Answer