SOLUTION: B ⊃ ∼C C ∨ [D ∨ (G • K)] ∼G ∨ ∼K B ⊃ D Create a method for the following argument using the conditional proof method.

Algebra ->  Proofs -> SOLUTION: B ⊃ ∼C C ∨ [D ∨ (G • K)] ∼G ∨ ∼K B ⊃ D Create a method for the following argument using the conditional proof method.      Log On


   

Question 1188628: B ⊃ ∼C
C ∨ [D ∨ (G • K)]
∼G ∨ ∼K
B ⊃ D
Create a method for the following argument using the conditional proof method.
Answer by mccravyedwin(406) About Me  (Show Source):
You can put this solution on YOUR website!
You aren't supposed to put the conclusion at the bottom of a list of premises.
You're supposed to put it to the right of the last premise after a forward
slash. Also, you're supposed to number the premises:


1.  B ⊃ ∼C
2.  C ∨ [D ∨ (G • K)]
3.  ∼G ∨ ∼K              /B ⊃ D

4.             |B            Assumption for conditional proof
5.             |~C           1,4, Modus ponens
6.             |D ∨ (G • K)  2,5, Disjunctive syllogism
7.             |~(G • K)     3, DeMorgan's law
8.             |(G • K) ∨ D  6, Commutation
9.             |D            8,7, Disjunctive syllogism
10. B ⊃ D       Lines 4-9    Conditional Proof       

Edwin