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). I 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 mode ls are there for this language? M3. How many predicate logic mode ls are there for this language if you consider only the domain 1 ( a. Does {P entaiQ If not, show a predicate logic model that is M4. Let P be the formula Hits (Mike, John) and Q be the formula forall x) ( forall y) Hits(x, y) a counter example. If so, expand the def inition of "entails" to say what "P entailsQ means 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 Is 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). I 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 mode ls are there for this language? M3. How many predicate logic mode ls are there for this language if you consider only the domain 1 ( a. Does {P entaiQ If not, show a predicate logic model that is M4. Let P be the formula Hits (Mike, John) and Q be the formula forall x) ( forall y) Hits(x, y) a counter example. If so, expand the def inition of "entails" to say what "P entailsQ means 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 Is