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.
2 lines
144 B
2 lines
144 B
A \emph{model} $\mathcal{M}$ of a propositional formula $\varphi$ is an assignment of each propositional
|
|
variable in $\varphi$ to a truth value.
|