SOLUTION: how to solve this logic proof
(1)(I&E)>~F
(2)Fv(G&H)
(3)I=E /(conclusion) I>G
(Key: "&"= and, ">"= if_then_, "~"= not, "v"= or, "="= if and only if
Algebra.Com
Question 1032209: how to solve this logic proof
(1)(I&E)>~F
(2)Fv(G&H)
(3)I=E /(conclusion) I>G
(Key: "&"= and, ">"= if_then_, "~"= not, "v"= or, "="= if and only if
Answer by robertb(5830) (Show Source): You can put this solution on YOUR website!
1. Fv(G&H) ------------------------hypothesis
2. (FvG)&(FvH) ---------------------distributivity
3. FvG --------------------------simplification
4. ~F > G ------------------------material implication
5. (I&E)>~F -----------------------hypo.
6. (I&E)> G ----------------------hypothetical syllogism on #4 and #5
7. (I&I)> G ---------------------- logical equivalence of I and E
8. I > G -------------------------idempotent law
RELATED QUESTIONS
Use natural deduction to derive the conclusion of the following arguments. Do not use... (answered by solver91311)
Please help me solve this logic proof:
1. E→H
2. (E ∨ F) • (E ∨ G)
(answered by jim_thompson5910)
(1). (I&E) > ~ F
(2). F v (G&H)
(3). I = E / (conclusion) I > G (answered by Edwin McCravy)
can i have help solving this proof please?
Construct a regular proof to derive the... (answered by jim_thompson5910)
could someone please help me with this logic proof?
1. F -> G
2. F v G conclusion (answered by jim_thompson5910)
Hi there!
I have been stuck on this one logic problem for the longest time. I am a... (answered by jim_thompson5910)
1. A -> ~(B v C)
2. ~D -> (~A -> ~E)
3. ~(~E v F)
4. ~F -> (A -> B) /D
I don't... (answered by Edwin McCravy)
Proof by Natural Deduction – Propositional Logic. Use a direct proof to show that the... (answered by robertb)
Please help with this logic proof:
1. S v B
2. B -> D
3. S -> G
conclusion D v... (answered by Theo)