construct a model for each of the given theories in the following domain by assigning members of the domain to the constants used in the theory and sets of members of the domain to the predicates used in the theory.
Domain = {Mercury, Venus, Earth, Mars, Jupiter, Saturn, Uranus, Neptune}
-(∀x){Px ⊃ [(∃y)Cxy $ \lor $ (∃y)Cyx]}
Cab • ∼Cba Cac •∼Cca Cad • ∼Cda

Question

Quizplus · Accepted Answer

The Answer of construct a model for each of the given theories in the following domain by assigning members of the domain to the constants used in the theory and sets of members of the domain to the predicates used in the theory.
Domain = {Mercury, Venus, Earth, Mars, Jupiter, Saturn, Uranus, Neptune}
-(∀x){Px ⊃ [(∃y)Cxy $ \lor $ (∃y)Cyx]}
Cab • ∼Cba Cac •∼Cca Cad • ∼Cda

Construct a Model for Each of the Given Theories in the Following