Nuprl Definition : mFOLisAll
mFOLisAll(A) == mFOquant?(A) ∧b mFOquant-isall(A)
Definitions occuring in Statement :
mFOquant-isall: mFOquant-isall(v),
mFOquant?: mFOquant?(v),
band: p ∧b q
Definitions occuring in definition :
band: p ∧b q,
mFOquant?: mFOquant?(v),
mFOquant-isall: mFOquant-isall(v)
FDL editor aliases :
mFOLisAll
Latex:
mFOLisAll(A) == mFOquant?(A) \mwedge{}\msubb{} mFOquant-isall(A)
Date html generated:
2016_05_15-PM-10_18_58
Last ObjectModification:
2015_09_23-AM-08_23_26
Theory : minimal-first-order-logic
Home
Index