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

NEXT
»
Demonstrations 41  60 of 87
Find a Model for a Set of Propositions
Typical Predicate Calculus Statements
FirstOrder Logic Test
Propositional Logic Test
Logic with Logicians
Lewis Carroll's Diagram and Categorical Syllogisms
Logic on the Number Line
Venn Diagrams for TwoVariable Boolean Logic Circuits
2D Logic Game with Letters
Logic with Letters
Logic with Complex Numbers
Binary Operations with Cellular Automata
Another Knights and Knaves Puzzle Generator
Deaf Island Puzzle Generator
Knights, Knaves, and Normals Puzzle Generator
Propositional Logic Puzzle Generator
Hofstadter's MU Riddle
Bochvar's ThreeValued Logic
Lukasiewicz's ThreeValued Logic
Knights and Knaves Puzzle Generator
«
PREVIOUS

1

2

3

4

5

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+