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 ->
Proofs
-> 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
Log On
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
