What are models of inconsistent theory?

144 Views Asked by At

Consider arbitrary language $\mathcal{L}$, inconsistent theory $T$ (e.g. $T=\{ \forall x P(x) \land \forall x \neg P(x) \}$ for $\mathcal{L}=\{P\}$) and $A = \{\ \mathcal{M} \mid \mathcal{M} \models T \}$. How does the set $A$ look like?

1

There are 1 best solutions below

0
On BEST ANSWER

An inconsistent theory has no models, so $A=\varnothing$.