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
FDL editor aliases :  mFOLisAll
mFOLisAll(A)  ==    mFOquant?(A)  \mwedge{}\msubb{}  mFOquant-isall(A)


Date html generated: 2015_07_17-AM-07_54_52
Last ObjectModification: 2013_04_19-PM-05_56_44

Home Index