SOLUTION: Replacement Rules to solve the following proof: (¬B∨ ¬H)→ M,K ∧ ¬M∴ B

Algebra ->  Proofs -> SOLUTION: Replacement Rules to solve the following proof: (¬B∨ ¬H)→ M,K ∧ ¬M∴ B       Log On


   

Question 996079: Replacement Rules to solve the following proof:
(¬B∨ ¬H)→ M,K ∧ ¬M∴ B
Answer by jim_thompson5910(35256) About Me  (Show Source):
You can put this solution on YOUR website!
NumberStatementLines UsedReason
1(~B v ~H) --> M
2K & ~M
:.B
3~M & K2Comm
4~M3Simp
5~(~B v ~H)1,4MT
6~~B & ~~H5DM
7B & H6DN
8B7Simp


Abbreviations/Acronyms Used:

Comm = Commutation
DM = De Morgan's Law
DN = Double Negation
MT = Modus Tollens
Simp = Simplification