Wolfram Demonstrations Project
Mathematical Logic
« PREVIOUS  |1|2|3|4|5|6|  NEXT »
Demonstrations 61 - 80 of 107
Probability Logic TestBasic Examples of Propositional CalculusFind a Model for a Set of PropositionsTypical Predicate Calculus StatementsFirst-Order Logic Test
Probability Logic Test
Basic Examples of Propositional Calculus
Find a Model for a Set of Propositions
Typical Predicate Calculus Statements
First-Order Logic Test
Propositional Logic TestLogic with LogiciansLewis Carroll's Diagram and Categorical SyllogismsLogic on the Number LineVenn Diagrams for Two-Variable Boolean Logic Circuits
Propositional Logic Test
Logic with Logicians
Lewis Carroll's Diagram and Categorical Syllogisms
Logic on the Number Line
Venn Diagrams for Two-Variable Boolean Logic Circuits
2D Logic Game with LettersLogic with LettersLogic with Complex NumbersBinary Operations with Cellular AutomataAnother Knights and Knaves Puzzle Generator
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 GeneratorKnights, Knaves, and Normals Puzzle GeneratorPropositional Logic Puzzle GeneratorHofstadter's MU RiddleBochvar's Three-Valued Logic
Deaf Island Puzzle Generator
Knights, Knaves, and Normals Puzzle Generator
Propositional Logic Puzzle Generator
Hofstadter's MU Riddle
Bochvar's Three-Valued Logic

« PREVIOUS  |1|2|3|4|5|6|  NEXT »
 
RELATED RESOURCES
Mathematica »
The #1 tool for creating Demonstrations
and anything technical. 		Wolfram|Alpha »
Explore anything with the first
computational knowledge engine.		MathWorld »
The web's most extensive
mathematics resource.		Course Assistant Apps »
An app for every course—
right in the palm of your hand.
Wolfram Blog »
Read our views on math,
science, and technology.		Computable Document Format »
The format that makes Demonstrations
(and any information) easy to share and interact with.		STEM Initiative »
Programs & resources for
educators, schools & students.		Computerbasedmath.org »
Join the initiative for modernizing
math education.
Powered by Wolfram Mathematica © 2023 Wolfram Demonstrations Project & Contributors  |  Terms of Use  |  Privacy Policy  |  RSSGive us your feedback
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+