Nuprl Definition : AbstractFOFormula
AbstractFOFormula == Dom:Type ─→ S:FOStruct(Dom) ─→ FOAssignment(Dom) ─→ ℙ
Definitions occuring in Statement :
FOStruct: FOStruct(Dom),
FOAssignment: FOAssignment(Dom),
prop: ℙ,
function: x:A ─→ B[x],
universe: Type
FDL editor aliases :
AbstractFOFormula
AbstractFOFormula == Dom:Type {}\mrightarrow{} S:FOStruct(Dom) {}\mrightarrow{} FOAssignment(Dom) {}\mrightarrow{} \mBbbP{}
Date html generated:
2015_07_17-AM-07_53_10
Last ObjectModification:
2012_09_03-PM-11_05_21
Home
Index