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?
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?
Copyright © 2021 JogjaFile Inc.