Subscribe to RSS feed
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
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.
© 2022 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