Commit 33806ff8 authored by Ralf Jung's avatar Ralf Jung

docs: entailment needs validity

parent 4c7f8414
......@@ -117,6 +117,7 @@ We can now define \emph{semantic} logical entailment.
\forall \rs \in \monoid.\;
\forall \venv \in \Sem{\vctx},\;
\\&
n \in \mval(\rs) \land
n \in \Sem{\vctx \proves \prop : \Prop}_\venv(\rs)
\Ra n \in \Sem{\vctx \proves \propB : \Prop}_\venv(\rs)
\end{aligned}
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment