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)[Ax ⊃ (Bx $ \lor $ Cx)]
Aa
Bb
Cc

Question

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)[Ax ⊃ (Bx $ \lor $ Cx)] 
Aa
Bb 
Cc

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)[Ax ⊃ (Bx $ \lor $ Cx)] 
Aa
Bb 
Cc

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