Subscribe to RSS feed
Demonstrations 1 - 20 of 105
Interactive Venn Diagrams
Deduce Linear Order from Relations
Natural Language Neutral Symbolism in Propositional Logic
Mutual Information between Boolean Net Regions
Playable Sudoku Game
Some Formulas Involving Quantifiers and Propositional Connections
Normal Forms for Logic Problems
Knights and Knaves Puzzle Generator
Wason's Selection Task: Test of Logical Reasoning
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
Lewis Carroll's Diagrams
Venn Diagrams and Syllogisms
Bitwise XOR Game
Forms for Syllogisms
Square of Opposition in Aristotelian Logic
The #1 tool for creating Demonstrations
and anything technical.
Explore anything with the first
computational knowledge engine.
The web's most extensive
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.
Join the initiative for modernizing
Note: Your message & contact information may be shared with the author of any specific Demonstration for which you give feedback.
© 2018 Wolfram Demonstrations Project & Contributors |
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