Wolfram Research  Mathematica    MathWorld    Wolfram Science    More »    Wolfram Web Resources
HOME
TOPICS
LATEST
ABOUT
FAQS
PARTICIPATE
AUTHORING AREA
Mathematical Logic
Demonstrations 1 - 20 of 52
MIU Explorerpq-System ExplorerProbability Logic TestBasic Examples of Propositional Calculus
MIU Explorer
Updated this week
pq-System Explorer
New this month
Probability Logic Test
Made for Mathematica 7
Basic Examples of Propositional Calculus
Find a Model for a Set of PropositionsTypical Predicate Calculus StatementsFirst-Order Logic TestPropositional Logic Test
Find a Model for a Set of PropositionsTypical Predicate Calculus StatementsFirst-Order Logic TestPropositional Logic Test
Logic with LogiciansLewis Carroll's Diagram and Categorical SyllogismsLogic on the Number LineVenn Diagrams for Two-Variable Boolean Logic Circuits
Logic with LogiciansLewis Carroll's Diagram and Categorical Syllogisms
Made for Mathematica 7
Logic on the Number LineVenn Diagrams for Two-Variable Boolean Logic Circuits
2D Logic Game with LettersLogic with LettersLogic with Complex NumbersBinary Operations with Cellular Automata
2D Logic Game with LettersLogic with Letters
Made for Mathematica 7
Logic with Complex Numbers
Made for Mathematica 7
Binary Operations with Cellular Automata
Another Knights and Knaves Puzzle GeneratorDeaf Island Puzzle GeneratorKnights, Knaves, and Normals Puzzle GeneratorPropositional Logic Puzzle Generator
Another Knights and Knaves Puzzle GeneratorDeaf Island Puzzle GeneratorKnights, Knaves, and Normals Puzzle GeneratorPropositional Logic Puzzle Generator

1|2|3|Next
Powered by Wolfram Mathematica
Give us your feedback
Give us your feedback

Source page:




 often  occasionally  never

Note: Please do not include anything you consider confidential or proprietary. Your message and contact information may be shared with the author of any specific Demonstration for which you give feedback, but will not otherwise be published or distributed.
Privacy Policy »