Assertion: logic | /r/HasProperty | \displaystyle \!\phi
Facets:
Source sentences:
text: Translations between IF logic and dependence logic formulas, and vice versa, exist as long as the domain of the team is fixed: in other words, for all sets of variables V = { v 1 … v n } {\displaystyle \!V=\{v_{1}\ldots v_{n}\}} and all IF logic formulas ϕ {\displaystyle \!\phi } with free variables in V {\displaystyle \!V} there exists a dependence logic formula ϕ D {\displaystyle \!\phi ^{D}} such that