SOLUTION: Solve: F/(G -> H) v (~G -> J)

Algebra.Com
Question 1167143: Solve:
F/(G -> H) v (~G -> J)

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

You are given F, but you have nothing that relates F to any of the other statements.  Hence, the only way that (G -> H) V (~G -> J) can be proven is to prove that it is true for all eight possible combinations of truth values for G, H, and J.  If G is false, then G → H is true regardless of the truth value of H.  (The only way a conditional statement is false is if the consequent is false when the antecedent is true).  If G is true, then ~G is false, and ~G → J is true regardless of J's truth value.  So regardless of the truth values of any of the three statements (G → H) V (~G → J) is true.  F being true was nice-to-know information but had nothing whatever to do with the problem.  You could just as well been given "the artist formerly known as Prince" instead of F and achieved the same result.


John

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


I > Ø

RELATED QUESTIONS

Solve the two step proofs below: 1. ~C 2. A > B 3. B > C / ~A 1. D > E 2. F > G (answered by Edwin McCravy)
Use Conditional Proof to solve the following argument E ⊃ (F ⊃ G) H ⊃ (G ⊃ I) (answered by AnlytcPhil)
h=H +v(v/g)-(1/2)g(v/g)^2 solve for... (answered by MathLover1,Edwin McCravy)
(f⊃g) v h/∼ f ∼G... (answered by Solver92311)
F > ~G ~F > (H > ~G) (~I v ~H) > ~~G ~I /... (answered by jim_thompson5910)
Solve the following Proof: 1. G => (S&T) 2. (S v T) => J 3. G /J (answered by math_helper)
Use Indirect Proof to solve the following argument (E v F) ⊃ (C • D) (D v G) ⊃ (answered by jim_thompson5910,Edwin McCravy)
I am just so confused! Here's the problem. I am supposed to derive the following... (answered by MathLover1)
How would you prove this argument valid ? 1. A > H 2. G > S 3. ~ K > (A v G) 4. ~ K (answered by math_helper)