SOLUTION: Rues of implication I have been stuck on this for a while please help ~HvF V&~K I>A ~H>I (VvN)>(F>~G) /Av~G

Question 980746: Rues of implication
I have been stuck on this for a while please help
~HvF
V&~K
I>A
~H>I
(VvN)>(F>~G)
/Av~G
Answer by solver91311(24713) (Show Source): You can put this solution on YOUR website!

You need to do a conditional proof. The first step is to note that you can deduce V from V & ~K by simplification. Then by Addition (or Disjunction Introduction if you prefer), you can deduce V v N. Then by Modus Ponens we conclude F -> ~G.

Now the conditional part. Assume G. Then by Modus Tollens you have ~F. ~F and ~H v F gives us ~H. Then by Modus Ponens, ~H -> I gives us I, then by Modus Ponens again, I -> A gives us A. In summary, assuming G we get A and from A we can conclude A v ~G by Addition.

The alternative is ~G, from which we can conclude A v ~G by addition.

Either way, A v ~G.

John

My calculator said it, I believe it, that settles it

RELATED QUESTIONS
Can someone please help me with this proof using the 18 rules of inference? > is a... (answered by jim_thompson5910)

This is my question: Suppose that G is a group and g,h are elements of G. There exists a (answered by robertb)

(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? I have been working on this for a while and yet to come up... (answered by dnanos)

find the maximum domain of the function with rule f(x)=square root of 3-6x please help (answered by stanbon)

please help me solve log_√2(4)without using a calculator!! please i have been stuck (answered by scott8148)

stuck on this problem please help Can use rules of implication and first five rules of... (answered by Edwin McCravy)

I have been stuck on this question for a while, thanks What is the inverse of f if f(x)... (answered by MathTherapy)

I have been stuck on problems like this for a few days. Someone please help. The... (answered by rothauserc)