SOLUTION: Hi, I was wondering if I could please have help on this proof?! We were introduced to two new rules that I am confused on!
1) B > D
2) B v D /D
Algebra ->
Proofs
-> SOLUTION: Hi, I was wondering if I could please have help on this proof?! We were introduced to two new rules that I am confused on!
1) B > D
2) B v D /D
Log On
Question 925063: Hi, I was wondering if I could please have help on this proof?! We were introduced to two new rules that I am confused on!
1) B > D
2) B v D /D Answer by jim_thompson5910(35256) (Show Source):
1) B -> D
2) B v D
/ D
-------------------------------------------------------
3) D v B 2 Commutation
4) ~~D v B 3 Double Negation
5) ~D -> B 4 Material Implication
6) ~D -> D 5,1 Hypothetical Syllogism
7) ~~D v D 6 Material Implication
8) D v D 7 Double Negation
9) D 8 Tautology
Hopefully that helps. If not, then let me know. Also, please point out the two rules that confuse you so I can go over them.
(