question.md

Consider a knowledge base containing just two sentences: $P(a)$ and $P(b)$. Does this knowledge base entail $\forall,x\ P(x)$? Explain your answer in terms of models.