Changes

1,930 bytes added , 04:20, 2 April 2010

→‎Praeclarum Theorema (Leibniz)

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"

Jon Awbrey

12,080

edits

Changes

User:Jon Awbrey/ANIMATION (view source)

Revision as of 04:20, 2 April 2010