Changes

Line 15: Line 15:  
==Proof Animations==
 
==Proof Animations==
   −
===Double Negation Theorem===
+
===Double Negation===
    
{| align="center" cellpadding="0" cellspacing="0" style="border-left:1px solid black; border-top:1px solid black; border-right:1px solid black; border-bottom:1px solid black; text-align:center"
 
{| align="center" cellpadding="0" cellspacing="0" style="border-left:1px solid black; border-top:1px solid black; border-right:1px solid black; border-bottom:1px solid black; text-align:center"
 
|-
 
|-
 
| [[Image:Double Negation 2.0 Animation.gif]]
 
| [[Image:Double Negation 2.0 Animation.gif]]
 +
|}
 +
 +
===Generation Theorem===
 +
 +
{| align="center" cellpadding="0" cellspacing="0" style="border-left:1px solid black; border-top:1px solid black; border-right:1px solid black; border-bottom:1px solid black; text-align:center"
 +
|-
 +
| [[Image:Generation Theorem 2.0 Animation.gif]]
 
|}
 
|}
  
12,080

edits