SOLUTION: I tried to prove this but I am lost on how to finish or am I done? Proof: ∀ x, P(x) → R(x) (premise) ¬R(k) (premise) (DeMorgan’s) ∴ ¬P(k) (universal instan

Algebra ->  Proofs -> SOLUTION: I tried to prove this but I am lost on how to finish or am I done? Proof: ∀ x, P(x) → R(x) (premise) ¬R(k) (premise) (DeMorgan’s) ∴ ¬P(k) (universal instan      Log On


   

Question 903091: I tried to prove this but I am lost on how to finish or am I done?
Proof:
∀ x, P(x) → R(x) (premise)
¬R(k) (premise) (DeMorgan’s)
∴ ¬P(k) (universal instantiation)
Answer by solver91311(24713) About Me  (Show Source):
You can put this solution on YOUR website!


Premise


Premise


Therefore Modus Tollens

I have no idea what DeMorgan or Universal Instantiation has to do with anything.


John

My calculator said it, I believe it, that settles it
The Out Campaign: Scarlet Letter of Atheism