SOLUTION: 1. (E→~K) 2. (M∨(~K.~H)) 3. (~M∨E) .: ~K Construct a proof to show that the following argument is valid. You can use any proof technique you like, but you may find indirec

Question 1208888: 1. (E→~K)
2. (M∨(~K.~H))
3. (~M∨E) .: ~K
Construct a proof to show that the following argument is valid. You can use any proof technique you like, but you may find indirect proof helpful.

Answer by Edwin McCravy(20055) (Show Source): You can put this solution on YOUR website!


1. (E → ~K)
2. (M ∨ ( ~K ∙ ~H))
3. (~M ∨ E)         .: ~K

          |4.  ~~K      assumption for indirect proof
          |5.  ~E       1,4, transposition
          |6.  E ∨ ~M     3, commutation
          |7.  ~M       6,5, disjunctive syllogism
          |8.  ~K ∙ ~H  2,7, disjunctive syllogism
          |9.  ~K         8, simplification
          |10. ~K ∙ ~~K 9,4, conjunction

11.  ~K    lines 4-10 for indirect proof

Edwin

RELATED QUESTIONS
Formal proof: In the text box below, use the proof method (M9) to construct a formal... (answered by math_helper)

Construct a proof in Natural Deduction for the following argument. Show the proof. Do... (answered by jim_thompson5910)

1. use the proof method (M9) to construct a formal proof to demonstrate that the... (answered by Edwin McCravy)

Create a proof for the following argument 1. M ⊃ H 2.(K ∨ F) ⊃ M... (answered by Edwin McCravy)

can i have help solving this proof please? Construct a regular proof to derive the... (answered by jim_thompson5910)

Proof by Natural Deduction � Propositional Logic. Use a direct proof to show that the... (answered by robertb)

1. J+(K.L) 2. ~K /J Use the eighteen inference rules to construct proofs for the... (answered by Edwin McCravy)

Suppose in a proof of the summation formula 1 + 5 + 9 + ... + (4n - 3) = n(2n - 1) by... (answered by robertb)