Changes

MyWikiBiz, Author Your Legacy — Wednesday May 22, 2024
Jump to navigationJump to search
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>&bull;</big>
 +
| colspan="3" | '''Example 1.  Modus Ponens'''
 +
|-
 +
| &nbsp;
 +
| width="1%" | &nbsp;
 +
| colspan="2" | ''Information Reducing Inference''
 +
|-
 +
| &nbsp;
 +
| &nbsp;
 +
| width="1%" | &nbsp;
 +
|
 +
<math>\begin{array}{l}
 +
p \Rightarrow q
 +
\\
 +
p
 +
\\
 +
\overline{~~~~~~~~~~~~}
 +
\\
 +
q
 +
\end{array}</math>
 +
|-
 +
| &nbsp;
 +
| &nbsp;
 +
| colspan="2" | ''Information Preserving Inference''
 +
|-
 +
| &nbsp;
 +
| &nbsp;
 +
| &nbsp;
 +
|
 +
<math>\begin{array}{l}
 +
p \Rightarrow q
 +
\\
 +
p
 +
\\
 +
=\!=\!=\!=\!=\!=\!=
 +
\\
 +
p~q
 +
\end{array}</math>
 +
|}
    
==Mathematical Symbols==
 
==Mathematical Symbols==
12,080

edits

Navigation menu