SOLUTION: ∼F → ∼G, P → ∼Q, ∼F ∨ P, (∼G ∨ ∼Q) → (L • M) ∴ L

Question 1141256: ∼F → ∼G, P → ∼Q, ∼F ∨ P, (∼G ∨ ∼Q) → (L • M) ∴ L
Answer by Edwin McCravy(20054) (Show Source): You can put this solution on YOUR website!

 1.  ∼F → ∼G
 2.  P → ∼Q
 3.  ∼F ∨ P
 4. (∼G ∨ ∼Q) → (L • M)      ∴ L

                  | 5.  ~L            Assumption for indirect proof
                  | 6.  ~L ∨ ~M       5, addition
                  | 7.  ~(L • M)      6, deMorgan's law
                  | 8.  ~(~G ∨ ~Q)    4,7, modus tollens
                  | 9.  ~~G • ~~Q     8, deMorgan's law
                  |10.  G • Q         9, double negation
                  |11.  Q • G         10, commutation
                  |12.  Q             11, simplification
                  |13.  ~~Q           12, double negation
                  |14. ~P             2,13, modus tollens
                  |15. P ∨ ~F         3, commutation
                  |16. ~F             15,14, disjunctive syllogism
                  |17. ~G             1,16, modus ponens
                  |18. G              10, simplification
                  |19. G • ~G         18,17, conjunction
 20. L         lines 5-19  indirect proof   
                   
Edwin

RELATED QUESTIONS
solve the proof ~F > ~G, P > ~Q, ~F v P, (~G v ~Q) > (L • M), therefore,... (answered by Edwin McCravy)

P = {b, e, f ,g} and Q = {c, d, e, f, g}, list the elements of P'n... (answered by greenestamps)

Choose one of the proofs below and use one of the indirect proof techniques (reductio ad... (answered by jim_thompson5910)

a b c d e f g h i j k l m n o p q r (answered by ewatrrr)

The diagram shows a rectangle that has been dissected into nine non-overlapping squares.... (answered by ikleyn)

(answered by ewatrrr)

If p=x^m+n*y^l,q=x^n+l*y^m and r=x^l+m*y^n,prove that... (answered by robertb)

Using a truth table to determine if the following pairs of statements are logically... (answered by solver91311)

How many different 10-letter words (real or imaginary) can be formed from the following... (answered by Edwin McCravy)