There is no model for a contradiction M $\models \phi \land \lnot \phi$

25 Views Asked by At

Let $L$ be a languague. How can I show that there is no model ($L$-structure) $M$ for a contradiction?

M $\models \phi \land \lnot \phi$

It seems very intuitive to me but how do I prove it?