Consider the predicate logic language with three constants Mike, Bi ll, and John, and three rel at ions Hits(x,y), Tall (x), and Alive(x). show the var iables after the relat ion name just to indicate how many arguments the relat ion expects M1. Show a predicate logic model for this language M2. How many predicate logic models are there for this language? M3. How many predicate logic models are there for this language if you consider only the domain ? ( forall x) ( forall y) Hits(x, y) a. Does {P entailQIf not, show a predicate logic model that is M4. Let P be the formula Hits (Mike, John) and Q be the formul a a counter example. If so, expand the def inition of "entails" to say what "P entailsQmeans without using the word "ent ai Is b. Does Q ent ail P If not, show a predicate logic model that is a counter example. If so, expand the def inition of "entails" to say what entails P" means without using the word "ent ai ls" Consider the predicate logic language with three constants Mike, Bi ll, and John, and three rel at ions Hits(x,y), Tall (x), and Alive(x). show the var iables after the relat ion name just to indicate how many arguments the relat ion expects M1. Show a predicate logic model for this language M2. How many predicate logic models are there for this language? M3. How many predicate logic models are there for this language if you consider only the domain ? ( forall x) ( forall y) Hits(x, y) a. Does {P entailQIf not, show a predicate logic model that is M4. Let P be the formula Hits (Mike, John) and Q be the formul a a counter example. If so, expand the def inition of "entails" to say what "P entailsQmeans without using the word "ent ai Is b. Does Q ent ail P If not, show a predicate logic model that is a counter example. If so, expand the def inition of "entails" to say what entails P" means without using the word "ent ai ls