EXPLORE
LATEST
ABOUT
AUTHORING AREA
PARTICIPATE
Your browser does not support JavaScript or it may be disabled!
Subscribe to RSS feed
Mathematical Logic
1

2

3

4

NEXT
»
Demonstrations 1  20 of 80
Two Enumerations of the Rationals
New this month
Inference with Fuzzy IFTHEN Rules
ZeroKnowledge Matchmaker
Determine the Figures
Logic Problems for Elementary Students
Algebraic Problems in Propositional Logic
Determine the Properties of a Figure
Membership Function
The Completeness Theorem of Equivalential Calculus
Equivalential Calculus
Spies and Double Agents
Inconsistent Sets of Statements from Knights and Knaves
Truth Tellers on Tuesdays
Logic Metapuzzle Generator
A Puzzle about Labeled Logicians
Alternative on the Island of Knights and Knaves
Inconsistent Set of Statements
Some Simple Logic Problems
The Satisfiability Threshold
Boolean Operations on Graphs
1

2

3

4

NEXT
»
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+