Difference between revisions of "User:Jon Awbrey/ANIMATION"
MyWikiBiz, Author Your Legacy — Sunday November 24, 2024
Jump to navigationJump to searchJon Awbrey (talk | contribs) (re-organize) |
Jon Awbrey (talk | contribs) |
||
(4 intermediate revisions by the same user not shown) | |||
Line 15: | Line 15: | ||
==Proof Animations== | ==Proof Animations== | ||
− | ===Double Negation | + | ===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" | {| 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]] | | [[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" | {| 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 | + | | [[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" | {| 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 | + | | [[Image:Praeclarum Theorema CAST 500 x 389 Animation.gif]] |
|} | |} | ||
Line 39: | Line 74: | ||
===Two-Thirds Majority Function=== | ===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" | {| 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=== | ===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" | {| 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" |
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