Find a Model for a Set of Propositions
Find a Model for a Set of Propositions
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.