12,140
edits
Changes
Directory:Jon Awbrey/Papers/Propositions As Types (view source)
Revision as of 00:42, 24 March 2009
, 00:42, 24 March 2009→Step 3 (Optional): markup
===Step 3 (Optional)===
===Step 3 (Optional)===
Check that <math>A \Rightarrow A</math> is a theorem of classical propositional calculus.
<pre>
<pre>
A A
A A
o---o o---o
o---o o---o
| |
| |
@ = @ = @
@ = @ = @
</pre>
Check.
Check.
===Step 4===
===Step 4===