SOLUTION: F>(~A.I) Av(~J.F) F /~J

Question 885090: F>(~A.I)
Av(~J.F)
F
/~J
Answer by jim_thompson5910(35256) (Show Source): You can put this solution on YOUR website!

1.  F -> (~A * I)
2.  A v (~J * F)
3.  F
/   ~J
-------------------------------------------------------
4.  ~A * I                          1,3     Modus Ponens
5.  ~A                              4       Simplification
6.  ~J * F                          2,5     Disjunctive Syllogism
7.  ~J                              6       Simplification

RELATED QUESTIONS
J (answered by Alan3354)

J (answered by Alan3354)

Evaluate [i, j, k] + [i, k, j] (answered by Fombitz)

Evaluate... (answered by math_tutor2020)

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)

I need help annotating this proof because I really dont understand. 1. ~H ∨ F (answered by Edwin McCravy)

1. F->(G.H) 2. H.G)->J ∴... (answered by jim_thompson5910)

A� U B� U = {a, b, c, d, e, f, g, h, I, j, k} A= {a, c, d, f, g, I} B= {b, c, d, f, g} (answered by stanbon)

� U = {a, b, c, d, e, f, g, h, i, j, k} � A = {a, c, d, f, g, i} � B = {b, c, d, f,... (answered by stanbon)