SOLUTION: (D • E) ∨ F, F → C, (D • E) → ∼B, (∼B ∨ C) → (A → P), ∼P ∴ ∼A

Algebra.Com
Question 1141257: (D • E) ∨ F, F → C, (D • E) → ∼B, (∼B ∨ C) → (A → P), ∼P ∴ ∼A
Answer by Edwin McCravy(20054)   (Show Source): You can put this solution on YOUR website!
 1.  (D • E) ∨ F 
 2.  F → C 
 3.  (D • E) → ∼B 
 4.  (∼B ∨ C) → (A → P)
 5.  ∼P                      ∴ ∼A

 6. [(~B ∨ C) • A] → P               4, Importation
 7. ~[(~B ∨ C) • A]                  6,5, Modus Tollens
 8. ~(~B ∨ C) ∨ ~A                   7, deMorgan's law
 9. (~~B • ~C) ∨ ~A                  8, deMorgan's law
10. (B • ~C) ∨ ~A                    9, Double negation
11. ~A ∨ (B • ~C)                   10, commutation
12.                  |~~A           Assumption for Indirect Proof
13.                  |B • ~C        11,12, Disjunctive syllogism
14                   |B             13, Simplification
15.                  |~C • B        13, Commutation
16.                  |~C            15, Simplification
17.                  |~F             2,16 Modus Tollens
18.                  |F ∨ (D • E)    1, Commutation
19.                  |D • E         18,17, Disjunctive syllogism
20.                  |~B             3,19 Modus ponens
21.                  |B • ~B        14,20 Conjunction
22. ~A                              lines 12-21 indirect proof

Edwin

RELATED QUESTIONS

Let S = {a, b, c, d, e, f} with P(b) = 0.26, P(c) = 0.14, P(d) = 0.17, P(e) = 0.15, and... (answered by solver91311)
E={a,b,c,d,e,f} (answered by math-vortex)
a-{b-[c-(d-e)-f]-g} (answered by Mathtut)
Carlee (again!) is spinning a spinner marked with the letters a through f . She defines... (answered by stanbon)
Let E and F be two events of an experiment with sample space S. Suppose P(e)=.6 P(F)=.4... (answered by stanbon)
Compute a probability contingency table to answer the following questions. C D E... (answered by ewatrrr)
The events F:Female and B:Business Major are known to be independent events. Which one of (answered by Edwin McCravy)
U={a,b,c,d,e,f} A=}a,b,d,e} B={b,c,f} C={c,d,e,} Find... (answered by Edwin McCravy)
P l e a s e h e l p m e s o l v e t h i s f i n d t h e c a p a c i t y i n l i... (answered by rothauserc)