Truth-Trees and Model Universes
 

Truth-trees are tests for consistency. If there is a finished open path, then all the wffs on the path can be true, and the path represents an interpretation under which all the wffs on that path are true. Our QL truth-trees provide the size of the domain needed for a interpretation where the wffs on the path are true. The domain size is simply the number of distinct individual constants used on the path.
 

For each of the trees that have at least one finished open path in the Truth-tree exercise for QL, provide the model universe and the interpetation that demonstrates that the wffs are consistent.

More excercise: Translate and test arguments for validity.