MyWikiBiz

Changes

Directory:Jon Awbrey/Papers/Propositions As Types (view source)

Revision as of 00:42, 24 March 2009

22 bytes added ,  00:42, 24 March 2009
→‎Step 3 (Optional): markup
Line 43: Line 43:     
===Step 3 (Optional)===
 
===Step 3 (Optional)===
 +
 +
Check that <math>A \Rightarrow A</math> is a theorem of classical propositional calculus.
    
<pre>
 
<pre>
−
Check that A => A is a theorem of classical propositional calculus.
  −
   
   A  A
 
   A  A
 
   o---o      o---o
 
   o---o      o---o
 
   |          |
 
   |          |
 
   @    =    @    =    @
 
   @    =    @    =    @
 +
</pre>
    
Check.
 
Check.
−
</pre>
      
===Step 4===
 
===Step 4===
Jon Awbrey
12,080

edits

Retrieved from "https://mywikibiz.com/Special:MobileDiff/82968"