Line 236: |
Line 236: |
| <li>Item 3</li> | | <li>Item 3</li> |
| </ol> | | </ol> |
| + | |
| + | ==Outline Format== |
| + | |
| + | {| align="center" cellpadding="8" width="90%" |
| + | | width="1%" | <big>•</big> |
| + | | colspan="3" | '''Example 1. Modus Ponens''' |
| + | |- |
| + | | |
| + | | width="1%" | |
| + | | colspan="2" | ''Information Reducing Inference'' |
| + | |- |
| + | | |
| + | | |
| + | | width="1%" | |
| + | | |
| + | <math>\begin{array}{l} |
| + | p \Rightarrow q |
| + | \\ |
| + | p |
| + | \\ |
| + | \overline{~~~~~~~~~~~~} |
| + | \\ |
| + | q |
| + | \end{array}</math> |
| + | |- |
| + | | |
| + | | |
| + | | colspan="2" | ''Information Preserving Inference'' |
| + | |- |
| + | | |
| + | | |
| + | | |
| + | | |
| + | <math>\begin{array}{l} |
| + | p \Rightarrow q |
| + | \\ |
| + | p |
| + | \\ |
| + | =\!=\!=\!=\!=\!=\!= |
| + | \\ |
| + | p~q |
| + | \end{array}</math> |
| + | |} |
| | | |
| ==Mathematical Symbols== | | ==Mathematical Symbols== |