User contributions
5 April 2010
Zeroth order logic
Propositional forms on two variables: HTML → TeX
-18
Truth table
+ [translations]
+99
Truth table
Document history: fill out doc history
+862
Truth table
Related topics
+7
Truth table
Related topics
+29
Truth table
+ [document history]
+8
4 April 2010
Zeroth order logic
Document history: spacing
-10
Zeroth order logic
See also
-18
Zeroth order logic
Related topics
-158
Zeroth order logic
Document history
Zeroth order logic
Document history: fill out document history
+1,172
Zeroth order logic
+ [document history]
+23
2 April 2010
Logical graph
Related articles: re-order
Logical graph
Related articles: + 2
+289
Logical graph
Two-thirds majority function: + 4 's for alignment
+27
User:Jon Awbrey/ANIMATION
Praeclarum Theorema (Leibniz)
+288
Logical graph
Praeclarum theorem: + animation
+355
File:Praeclarum Theorema 2.0 Frame 7.png
no edit summary
File:Praeclarum Theorema 2.0 Frame 6.png
no edit summary
File:Praeclarum Theorema 2.0 Frame 5.png
no edit summary
File:Praeclarum Theorema 2.0 Frame 4.png
no edit summary
File:Praeclarum Theorema 2.0 Frame 3.png
no edit summary
File:Praeclarum Theorema 2.0 Frame 2.png
no edit summary
File:Praeclarum Theorema 2.0 Frame 1.png
no edit summary
File:Praeclarum Theorema 2.0 Animation.gif
no edit summary
1 April 2010
File:Equational Inference Rule Quit abcd.png
no edit summary
File:Equational Inference Rule Weed bc.png
no edit summary
File:Equational Inference Rule Reflect b, c.png
no edit summary
File:Equational Inference Rule Weed a, d.png
no edit summary
File:Equational Inference Rule Reflect ad(bc).png
no edit summary
File:Praeclarum Theorema 1.0 Storyboard 7.png
no edit summary
File:Praeclarum Theorema 1.0 Storyboard 6.png
no edit summary
File:Praeclarum Theorema 1.0 Storyboard 5.png
no edit summary
File:Praeclarum Theorema 1.0 Storyboard 4.png
no edit summary
File:Praeclarum Theorema 1.0 Storyboard 3.png
no edit summary
File:Praeclarum Theorema 1.0 Storyboard 2.png
no edit summary
File:Praeclarum Theorema 1.0 Storyboard 1.png
no edit summary
File:Praeclarum Theorema 1.0 Marquee Title.png
no edit summary
Logical graph
Praeclarum theorema: break up monolihtic storyboard
+1,081
File:Praeclarum Theorema 1.0 Splash Page.png
no edit summary
Logical graph
Praeclarum theorema: JPEG → PNG
+12
Logical graph
Praeclarum theorema: del redun link
-4
Logical graph
Praeclarum theorema: replace <blockquote> with table display
+37
Peirce's law
<sharethis /> + categories
+507
User:Jon Awbrey/ANIMATION
Proof Animations: + [Peirce's Law]
+560
File:Peirce's Law Strong Form 2.0 Animation.gif
no edit summary
Peirce's law
Proof 2: typo
File:Peirce's Law Strong Form 2.0 Frame 4.png
no edit summary
File:Peirce's Law Strong Form 2.0 Frame 3.png
no edit summary
File:Peirce's Law Strong Form 2.0 Frame 2.png
no edit summary