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
239 B
4 lines
239 B
Let $\varphi$ and $\psi$ be formulas in propositional logic. We say
|
|
that $\varphi$ and $\psi$ are semantically equivalent if and only if $\varphi \models \psi$ and $\psi \models \varphi$ holds.
|
|
|
|
In that case we write $\varphi \equiv \psi$.
|