Nuprl Definition : AbstractFOFormula
AbstractFOFormula(vs) == Dom:Type ⟶ S:FOStruct(Dom) ⟶ FOAssignment(vs,Dom) ⟶ ℙ
Definitions occuring in Statement :
FOStruct: FOStruct(Dom),
FOAssignment: FOAssignment(vs,Dom),
prop: ℙ,
function: x:A ⟶ B[x],
universe: Type
Definitions occuring in definition :
universe: Type,
FOStruct: FOStruct(Dom),
function: x:A ⟶ B[x],
FOAssignment: FOAssignment(vs,Dom),
prop: ℙ
FDL editor aliases :
AbstractFOFormula
Latex:
AbstractFOFormula(vs) == Dom:Type {}\mrightarrow{} S:FOStruct(Dom) {}\mrightarrow{} FOAssignment(vs,Dom) {}\mrightarrow{} \mBbbP{}
Date html generated:
2016_05_15-PM-10_12_06
Last ObjectModification:
2015_09_23-AM-08_22_41
Theory : minimal-first-order-logic
Home
Index