Nuprl Definition : forall

∀x.P[x] ==  ∀x:Dom. P[x]


Definitions occuring in Statement :  all: ∀x:A. B[x]
FDL editor aliases :  forall
Latex:
\mforall{}x.P[x]  ==    \mforall{}x:Dom.  P[x]


Date html generated: 2016_05_16-AM-09_07_31
Last ObjectModification: 2012_08_24-PM-03_09_34

Theory : first-order!and!ancestral!logic


Home Index