EXPLORE
LATEST
ABOUT
AUTHORING AREA
PARTICIPATE
Your browser does not support JavaScript or it may be disabled!
Subscribe to RSS feed
Mathematical Logic
«
PREVIOUS
|
1
|
2
|
3
|
4
|
5
...
6
|
NEXT
»
Demonstrations 21 - 40 of 112
Solving Logic Puzzles with Binary Trees
Representation of Three-Valued Boolean Functions
Marquand's Representation of Boolean Functions
Representation of Boolean Functions Using Binary Trees
Equivalential Formula
Lewis Carroll's Diagrams
Venn Diagrams and Syllogisms
Bitwise XOR Game
Forms for Syllogisms
Square of Opposition in Aristotelian Logic
Definitions of Two-Placed Connectives in Lesniewski's Protothetic
Part-Whole Relations
Euler Circles for Categorical Syllogisms
The Ontological Vocabulary
The Ontological Table
Protothetic
The Diagonal Paradox
Two Enumerations of the Rationals
Inference with Fuzzy IF-THEN Rules
Zero-Knowledge Matchmaker
«
PREVIOUS
|
1
|
2
|
3
|
4
|
5
...
6
|
NEXT
»
Note: To run this Demonstration you need Mathematica 7+ or the free Mathematica Player 7EX
Download or upgrade to
Mathematica Player 7EX
I already have
Mathematica Player
or
Mathematica 7+