# 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.