∀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
Content will be erased after question is completed.
Enter the email address associated with your account, and we will email you a link to reset your password.
Forgot your password?