12,080
edits
Changes
MyWikiBiz, Author Your Legacy — Saturday May 04, 2024
Jump to navigationJump to search→Logical Equivalence Problem: add § for critical reflection
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 was already done by the time we wrote down the problem in logical graph form. All that remained was to see the application of the generation and double negation theorems to the left and right sides of the equation, respectively.
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 was already done by the time we wrote down the problem in logical graph form. All that remained was to see the application of the generation and double negation theorems to the left and right sides of the equation, respectively.
===Reflection===
<br>
<math>\cdots</math><br>
<br>
