User contributions
6 April 2010
Inquiry Live
add development node
Logical implication
Document history
+422
Logical implication
standardize syllabus
+20
Exclusive disjunction
Document history: fix links
+6
Exclusive disjunction
standardize syllabus & add document history
+1,013
Truth table
formats
-24
Truth table
Syllabus: standardize
+67
5 April 2010
Logical negation
Document history: fix link
Logical negation
standardize syllabus & add [document history]
+960
Logical graph
+ [syllabus]
+18
Logical graph
Related topics: re-organize
-72
Truth table
Related topics: trim
-83
Truth table
+ [syllabus]
+18
Truth table
Translations
+15
Truth table
Translations
+10
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