Line 14: |
Line 14: |
| | | |
| ==Proof Animations== | | ==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=== | | ===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" | | {| 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" | | {| 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" | | {| 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" |