SOLUTION: use rules of implication and only DeMorgan, commutativity, associativity, distrubution, and double negation from rules of replacement please help
~X
Bv(KvX)
(BvK)>~B
/K
Algebra.Com
Question 981327: use rules of implication and only DeMorgan, commutativity, associativity, distrubution, and double negation from rules of replacement please help
~X
Bv(KvX)
(BvK)>~B
/K
Answer by solver91311(24713) (Show Source): You can put this solution on YOUR website!
1. ~X
2. Bv(KvX)
3. (BvK)>~B
/K
4. (BvK)vX from 2 by Associativity
5. BvK from 1, 4 by Disjunctive Syllogism
6. ~B from 5, 3 by Modus Ponens
7. K from 5, 6 by Disjunctive Syllogism QED.
John
My calculator said it, I believe it, that settles it
RELATED QUESTIONS
using DeMorgan, commutativity, associativity, distrubution, double negation and rules or... (answered by Edwin McCravy)
With rules of implication and rules of replacement DeMorgan's, commutativity,... (answered by Edwin McCravy)
Rules of implication, DeMorgan. commutativity, associatitivy, distrubution, double... (answered by Edwin McCravy)
Can use De Morgan, commutativity, associativity, distributivity, double negation and... (answered by solver91311)
I’m doing homework concerning the rules of replacement. We are allowed to use 8 rules of... (answered by jim_thompson5910)
stuck on this problem please help
Can use rules of implication and first five rules of... (answered by Edwin McCravy)
Use Indirect Proof and the 8 Rules of Implication and the 10 Rules of
Replacement of... (answered by Edwin McCravy)
need help using rules of implication and first five rules of replacment
N>~F
~(XvV)... (answered by Edwin McCravy)
Hello, I need help with these proofs. I believe they are propositional logic and require... (answered by jim_thompson5910)