8 bytes added
, 22:52, May 15, 2011
m| Line 18: |
Line 18: |
| | | | |
| | ==Rules of inference== | | ==Rules of inference== |
| − | Modus Ponens: | + | [[Modus ponens]]: |
| | #If A, then B. | | #If A, then B. |
| | #A | | #A |
| | #Therefore, B. | | #Therefore, B. |
| | | | |
| − | Modus Tollens: | + | [[Modus tollens]]: |
| | #If A, then B. | | #If A, then B. |
| | #Not B | | #Not B |