SOLUTION: I need help solving this proof. 1.T = (L > K) 2.~N * K Conclusion: T * = and > = If..Then I can use all 19 rules Thanks!

Algebra.Com
Question 722156: I need help solving this proof.
1.T = (L > K)
2.~N * K
Conclusion: T

* = and
> = If..Then
I can use all 19 rules
Thanks!

Answer by solver91311(24713)   (Show Source): You can put this solution on YOUR website!


You need to use the idea that is true whenever is true. Go look up the truth table for .

So from we can infer . Then from we can infer the truth of which is equal to , therefore

John

Egw to Beta kai to Sigma
My calculator said it, I believe it, that settles it
The Out Campaign: Scarlet Letter of Atheism


RELATED QUESTIONS

1.) (K>K) > R 2.) (RvM) > N /N I need to use either AIP or ACP (or both) and the... (answered by jim_thompson5910)
I need help finishing this proof. (~K -> K) -> ~L, ~(~L -> ~M) -> L, M :. K <-> ~L 1. (answered by jim_thompson5910)
 1. [J v (N & T)] 2.  ~(~T -> S)     /     J i need help solving this proof (answered by guest567)
(G&H)>(J<>L) G<>H (H&~L)v(H&K) Conclusion: J>K Can somebody please help me with... (answered by Edwin McCravy)
Can someone please help me with this proof using the 18 rules of inference? > is a... (answered by jim_thompson5910)
suppose that V is finite-dimensional space and T:V->V is a linear operator. 1. prove... (answered by ikleyn)
Can you help me solve this formal proof? 1. (C * K) v (L * T) 2. ~C v ~K :. L * T 3.... (answered by Edwin McCravy)
I need help completing proofs for my deductive logic class. Can you help me with this... (answered by jim_thompson5910)
I need help deriving the conclusion (using CONDITIONAL proof). You can use all 18 rules. (answered by jim_thompson5910)