EXPLORE
LATEST
ABOUT
AUTHORING AREA
PARTICIPATE
Your browser does not support JavaScript or it may be disabled!
Subscribe to RSS feed
Jon Barwise
Demonstrations 1 - 5 of 5
Find a Model for a Set of Propositions
Typical Predicate Calculus Statements
First-Order Logic Test
Propositional Logic Test
Kleene's Three-Valued Logic
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+