MyWikiBiz, Author Your Legacy — Tuesday May 07, 2024
Jump to navigationJump to search
168 bytes added
, 03:06, 28 March 2009
Line 2,452: |
Line 2,452: |
| ===Classical Propositional Calculus=== | | ===Classical Propositional Calculus=== |
| | | |
− | <pre> | + | {| align="center" cellpadding="8" width="90%" <!--QUOTE--> |
− | | If we want 'classical' propositional logic, we must also require:
| |
| | | | | |
− | | R7. F <= (F <= A) -> A. | + | <p>If we want ''classical'' propositional logic, we must also require: |
− | </pre> | + | |- |
| + | | |
| + | <p><math>\begin{array}{ll} |
| + | \text{R7.} & (\bot \Leftarrow (\bot \Leftarrow A)) \to A. |
| + | \end{array}</math></p> |
| + | |- |
| + | | |
| + | <p>(Lambek & Scott, 50). |
| + | |} |
| | | |
| ===Category 2=== | | ===Category 2=== |