MathB.in
New
Demo
Tutorial
About
Seien $\varphi \in F_{AL}$, $\beta: V_{AL} \dashrightarrow \{0,1\}$, $\beta': V_{AL} \dashrightarrow \{0,1\}$. Dann gilt: $vars(\varphi) \subseteq dom(\beta) \wedge vars(\varphi) \subseteq dom(\beta') \wedge \left. \beta \right|_{vars(\varphi)} = \left. \beta' \right|_{vars(\varphi)} \Leftrightarrow [\![\varphi]\!]_{\beta} = [\![\varphi]\!]_{\beta'}$
ERROR: JavaScript must be enabled to render input!
Sat, 23 Jun 2012 15:41 GMT