MyWikiBiz, Author Your Legacy — Wednesday November 05, 2025
Jump to navigationJump to search
574 bytes added
, 14:46, 13 August 2009
| 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== |