Solution Found!
Let B1, B2, , Bn be statement letters. Prove the finite extension of De Morgans laws
Chapter 3, Problem 70(choose chapter or problem)
QUESTION:
Let B1, B2, , Bn be statement letters. Prove the finite extension of De Morgans laws: (B1 ~ B2 ~ c~ Bn) 3 B1 ` B2 ` c` Bn and (B1 ` B2 ` c` Bn) 3 B1 ~ B2 ~ c~ Bn for n 2.
Questions & Answers
QUESTION:
Let B1, B2, , Bn be statement letters. Prove the finite extension of De Morgans laws: (B1 ~ B2 ~ c~ Bn) 3 B1 ` B2 ` c` Bn and (B1 ` B2 ` c` Bn) 3 B1 ~ B2 ~ c~ Bn for n 2.
ANSWER:Step 1of 2
The recursive definition of the statement definitions can be obtained by using the definition of the disjunction operation of statement letter for. The finite extension of the De Morgan’s laws can be proved by using mathematical induction.