Difference between revisions of "User:Jon Awbrey/ANIMATION"

Latest revision as of 04:20, 2 April 2010

Prime Animations

Riffs 1 to 60

Rotes 1 to 60

Proof Animations

Double Negation

Generation Theorem

Dominant Form Theorem

Peirce's Law : One-Way

Peirce's Law : Two-Way

Two-Thirds Majority Function

Praeclarum Theorema (Leibniz)

Praeclarum Theorema : Proof by CAST

Old Versions

Two-Thirds Majority Function

Praeclarum Theorema : Proof by CAST

@@ Line 15: / Line 15: @@
 ==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"
 |-
 | [[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]]
+|}
+===Dominant Form 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:Dominant Form 2.0 Animation.gif]]
+|}
+===Peirce's Law : One-Way===
+{| 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:Peirce's Law 2.0 Animation.gif]]
+|}
+===Peirce's Law : Two-Way===
+{| 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:Peirce's Law Strong Form 2.0 Animation.gif]]
 |}
@@ Line 26: / Line 54: @@
 {| 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:Majority Function Example 2.0 Animation.gif]]
+| [[Image:Two-Thirds Majority Function 500 x 250 Animation.gif]]
+|}
+===Praeclarum Theorema (Leibniz)===
+{| 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:Praeclarum Theorema 2.0 Animation.gif]]
 |}
@@ Line 33: / Line 68: @@
 {| 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:Praeclarum Theorema CAST 2.0 Animation.gif]]
+| [[Image:Praeclarum Theorema CAST 500 x 389 Animation.gif]]
 |}
@@ Line 39: / Line 74: @@
 ===Two-Thirds Majority Function===
+{| 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:Majority Function Example 2.0 Animation.gif]]
+|}
+<br>
 {| 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"
@@ Line 46: / Line 88: @@
 ===Praeclarum Theorema : Proof by CAST===
+{| 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:Praeclarum Theorema CAST 2.0 Animation.gif]]
+|}
+<br>
 {| 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"