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
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)