Nuprl Definition : FOAssignment
An assignment assigns a member of Dom to each variable.
(Variables in mFOL() formulas are represented by integers).⋅
FOAssignment(vs,Dom) == {z:ℤ| (z ∈ vs)} ⟶ Dom
Definitions occuring in Statement :
l_member: (x ∈ l)
,
set: {x:A| B[x]}
,
function: x:A ⟶ B[x]
,
int: ℤ
Definitions occuring in definition :
function: x:A ⟶ B[x]
,
set: {x:A| B[x]}
,
l_member: (x ∈ l)
,
int: ℤ
FDL editor aliases :
FOAssignment
Latex:
FOAssignment(vs,Dom) == \{z:\mBbbZ{}| (z \mmember{} vs)\} {}\mrightarrow{} Dom
Date html generated:
2016_07_08-PM-05_19_14
Last ObjectModification:
2015_09_23-AM-08_22_40
Theory : minimal-first-order-logic
Home
Index