SOLUTION: Create a proof for the following argument.
1.~D
2.B ⊃ (C ⊃ D) /~(B • C)
Algebra.Com
Question 1208734: Create a proof for the following argument.
1.~D
2.B ⊃ (C ⊃ D) /~(B • C)
Answer by math_tutor2020(3817) (Show Source): You can put this solution on YOUR website!
Here is one way to do the derivation. There may be other approaches.
| Number | Statement | Line(s) Used | Reason |
| 1 | ~D | | |
| 2 | B ⊃ (C ⊃ D) | | |
| :. | ~(B • C) | | |
| 3 | (B • C) ⊃ D | 2 | Exportation |
| 4 | ~(B • C) | 3,1 | Modus Tollens |
Here's a list of rules of inference and replacement
RELATED QUESTIONS
Create a poof for the following argument
1. (L ∨ B) ⊃ C
2. (S ∨ D) • L /... (answered by math_helper)
Use the first eight implication rules to create a proof of the following argument.
1. B... (answered by Edwin McCravy)
B ⊃ ∼C
C ∨ [D ∨ (G • K)]
∼G ∨ ∼K
B ⊃ D
Create a method for the... (answered by mccravyedwin)
Construct a formal proof of validity for the following argument
~B v [(C⊃D) ·... (answered by math_helper)
CREATE A PROOF FOLLOWING THE ARGUMENT
(F • ~C) ⊃ (G • ~C)
C ⊃ D
~D
F ∨ D (answered by math_tutor2020)
Construct a proof for the following:
1. ~C
2. (~A * B) v (~A * C). .·.... (answered by Edwin McCravy)
Construct a direct proof of validity for the following argument.
Restriction: DO NOT... (answered by Edwin McCravy)
How do you construct a formal proof for the following argument:
A ^ (B v C) to conclude... (answered by Adam)
Create a proof for the following argument
1. M ⊃ H
2.(K ∨ F) ⊃ M... (answered by Edwin McCravy)