You can not select more than 25 topics
Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
4 lines
335 B
4 lines
335 B
\emph{Satisfying Model:} truth assignment such that the formula resolves to \emph{true}.\\
|
|
\emph{Falsifying Model:} truth assignment such that the formula resolves to \emph{false}.\\
|
|
We write: $\mathcal{M} \models \varphi$: The model satisfies the formula.\\
|
|
and $\mathcal{M} \nmodels \varphi$: The model does not satisfy the formula.
|