Changes

2,709 bytes added , 04:20, 2 April 2010

→‎Praeclarum Theorema (Leibniz)

Line 14: Line 14:

==Proof Animations==

+

===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]]

+

|}

===Two-Thirds Majority Function===

−

====Proof 1 : ~~Version 1~~====

+

{| 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: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]]

+

|}

+

===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 500 x 389 Animation.gif]]

+

|}

+

==Old Versions==

+

===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 24: Line 87:

|}

−

====Proof ~~1 : Version 2~~====

+

===Praeclarum Theorema : Proof by CAST===

−

~~Here's an animated recap of the graphical transformations that occur in the above proof:~~

{| 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: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"

+

|-

+

| [[Image:Praeclarum Theorema CAST Animation.gif]]

|}

Jon Awbrey

12,122

edits

Changes

User:Jon Awbrey/ANIMATION (view source)

Revision as of 04:20, 2 April 2010