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.Com
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)   (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

RELATED QUESTIONS

[(P ⊃ Q) & P] ⊃ Q I need to use premise free proof to prove the equation above but (answered by Edwin McCravy)
Using the logical rules of replacement and implication, I was supposed to solve this... (answered by Edwin McCravy)
I need to help on the following proofs Proof 1 B ∧ F ¬(B ∧ G)... (answered by Edwin McCravy)
I am trying to solve this proof: premises: A or B, A or C goal: A or (B and C) I... (answered by richard1234,robertb)
Hello, I have a proof I am trying to write up with the following premises:... (answered by math_helper)
Express the polynomial in the form P(x)=(x-k)Q(x)+r for the given value of k P(x)=... (answered by ewatrrr)
Please help! I can't for the life of me figure this one out! Proof by natural... (answered by MathLover1)
1. X or Y Premise 2. ~X Premise 3.... (answered by jim_thompson5910)
Hello team, would you be so kind to assist with this problem below. I’ve tried to figure... (answered by Edwin McCravy)