SOLUTION: Replacement Rules to solve the following proof:
(¬B∨ ¬H)→ M,K ∧ ¬M∴ B
Algebra.Com
Question 996079: Replacement Rules to solve the following proof:
(¬B∨ ¬H)→ M,K ∧ ¬M∴ B
Answer by jim_thompson5910(35256) (Show Source): You can put this solution on YOUR website!
| Number | Statement | Lines Used | Reason |
|---|
| 1 | (~B v ~H) --> M | | |
| 2 | K & ~M | | |
| :. | B | | |
| 3 | ~M & K | 2 | Comm |
| 4 | ~M | 3 | Simp |
| 5 | ~(~B v ~H) | 1,4 | MT |
| 6 | ~~B & ~~H | 5 | DM |
| 7 | B & H | 6 | DN |
| 8 | B | 7 | Simp |
Abbreviations/Acronyms Used:
Comm = Commutation
DM = De Morgan's Law
DN = Double Negation
MT = Modus Tollens
Simp = Simplification
RELATED QUESTIONS
Solve the following using rules of replacement:
R ∨ V , R → (H ∧ S), (answered by jim_thompson5910)
Solve the following using rules of replacement:
(E → T) ∧ (T → O),... (answered by jim_thompson5910)
I need to help on the following proofs
Proof 1
B ∧ F
¬(B ∧ G)... (answered by Edwin McCravy)
Solve the following using replacement rules:
¬S → O, O → S ∴... (answered by jim_thompson5910)
1. (A∨G)→K
2. K→(B→F) (answered by solver91311)
Create a proof for the following argument
1. M ⊃ H
2.(K ∨ F) ⊃ M... (answered by Edwin McCravy)
1. (E∨F)→~G 2. ~H 3. H∨K 4. (K∨L)→E ∴... (answered by jim_thompson5910)
Can you please help me solve this proof? I am stuck at line six.
1. (A → E)... (answered by jim_thompson5910)
write a direct proof using the eight rules of inference
(C → Q) • (~L →... (answered by Edwin McCravy)