12,080
edits
Changes
MyWikiBiz, Author Your Legacy — Tuesday November 26, 2024
Jump to navigationJump to search→Discussion: sum up for now
:* [[Logical_graph#C2._Generation_theorem|C<sub>2</sub>. Generation Theorem]]
:* [[Logical_graph#C2._Generation_theorem|C<sub>2</sub>. Generation Theorem]]
:* [[Logical_graph#C3._Dominant_form_theorem|C<sub>3</sub>. Dominant Form Theorem]]
:* [[Logical_graph#C3._Dominant_form_theorem|C<sub>3</sub>. Dominant Form Theorem]]
In my experience with a number of different propositional calculi, the logical graph picture is almost always the best way to see ''why'' a theorem is true. In the example at hand, most of the work already done by the time we wrote down the problem in logical graph form. All that remained was to see the application of the dominant form theorem to the left hand side and the application of the double negation theorem to the right hand side of the equation.
