Content deleted Content added
→Definition: minor spacing fix |
rv revert revision 608091061 "the first item was non-sensical" - no it wasn't, but now (for 4 years already) it kind-of is nonsensical and moreover it's definitely wrong |
||
Line 71:
Then the relation of semantic [[entailment]] <math>(\mathcal{M}, s \models \phi)</math> is defined recursively on <math>\phi</math>:
# <math>\Big( (\mathcal{M}, s) \models \top \Big) \
# <math>\Big( (\mathcal{M}, s) \models p \Big) \Leftrightarrow \Big( p \in L(s) \Big)</math>
# <math>\Big( (\mathcal{M}, s) \models \neg\phi \Big) \Leftrightarrow \Big( (\mathcal{M}, s) \not\models \phi \Big)</math>
| |||