SOLUTION: Prove directly, no Conditional Proof or Indirect Proof
1. M ⊃ ~ C
2. ~C ⊃ ~ A
3. D v A / ~ M v D
Algebra.Com
Question 1193811: Prove directly, no Conditional Proof or Indirect Proof
1. M ⊃ ~ C
2. ~C ⊃ ~ A
3. D v A / ~ M v D
Answer by math_tutor2020(3816) (Show Source): You can put this solution on YOUR website!
Hint:
D v A
A v D
~~A v D
~A ⊃ D
I used the material implication rule on the fourth step shown above.
Another hint:
You'll use the hypothetical syllogism rule exactly twice.
Think of it like a chain of dominos. One statement leads to another which points to another. You'll then use the material implication rule one final time.
RELATED QUESTIONS
Prove directly - NO Conditional Proof or Indirect Proof.
1. R ⊃ A / R ⊃... (answered by Edwin McCravy,math_tutor2020)
Use an ordinary proof (not conditional or indirect) to solve the following arguments... (answered by Edwin McCravy)
Indirect proof
9.
1) R
2) (~ C v ~ D) v S
3) ~ (C ⋅ D) ⊃ ~R / ∴ S
(answered by solver91311)
Prove directly, no Conditional Proof or Indirect Proof
1. I ∨ (N • F)
2. I ⊃ F (answered by math_tutor2020)
Use Indirect proof to solve the following:
(P v F) ⊃ (A v D)
A ⊃ (M • ~P)
D... (answered by math_tutor2020)
Complete the following proofs using the Conditional Proof method.
1) 1. ~(P ∙... (answered by solver91311)
Construct a proof in Natural Deduction for the following argument. Show the proof. Do... (answered by jim_thompson5910)
use the inference rules, replacement rules, indirect proof and/or conditional proof to... (answered by mccravyedwin,Edwin McCravy)
Use natural deduction to derive the conclusion of the following arguments. Do not use... (answered by solver91311)