Changes

2,496 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:~~Majority Function 600 x 300~~ Animation.gif]]

+

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

|}

−

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

+

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

Line 31: Line 80:

|}

−

===Praeclarum Theorema===

+

<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:Majority Function 600 x 300 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 2.0 Animation.gif]]

+

|}

−

~~====Proof by CAST====~~

+

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

Jon Awbrey

12,080

edits

Changes

User:Jon Awbrey/ANIMATION (view source)

Revision as of 04:20, 2 April 2010