Wolfram Demonstrations Projecthttp://demonstrations.wolfram.com/An Open Resource of Interactive Mathematica VisualizationsCopyright 2009 Wolfram Demonstrations Project & ContributorsFind a Model for a Set of Propositionshttp://demonstrations.wolfram.com/FindAModelForASetOfPropositions/]]>http://demonstrations.wolfram.com/FindAModelForASetOfPropositions/Typical Predicate Calculus Statementshttp://demonstrations.wolfram.com/TypicalPredicateCalculusStatements/]]>http://demonstrations.wolfram.com/TypicalPredicateCalculusStatements/First-Order Logic Testhttp://demonstrations.wolfram.com/FirstOrderLogicTest/]]>http://demonstrations.wolfram.com/FirstOrderLogicTest/