Nuprl Definition : mFOLisImp

mFOLisImp(A) == mFOconnect?(A) ∧_b mFOconnect-knd(A) =a "imp"

Definitions occuring in Statement : mFOconnect-knd: mFOconnect-knd(v), mFOconnect?: mFOconnect?(v), band: p ∧_b q, eq_atom: x =a y, token: "$token"
FDL editor aliases : mFOLisImp
mFOLisImp(A) == mFOconnect?(A) \mwedge{}\msubb{} mFOconnect-knd(A) =a "imp" Date html generated: 2015_07_17-AM-07_54_50 Last ObjectModification: 2013_04_19-PM-05_54_43 Home Index