http://demonstrations.wolfram.com/FindAModelForASetOfPropositions
The Wolfram Demonstrations Project contains thousands of free interactive visualizations, with new entries added daily.
In this Demonstration, aim to build a model for the set of statements?that is, a structure (or world) in which all the statements are true. If that is possible, the set of statements is consistent.
Contributed by: Izidor Hafner Based on an idea by: Jon Barwise and John Etchemendy
Link to this comment:
All Comments (0)