Nuprl Definition : forsome
∃x.P[x] == ∃x:Dom. P[x]
Definitions occuring in Statement :
exists: ∃x:A. B[x]
FDL editor aliases :
forsome
Latex:
\mexists{}x.P[x] == \mexists{}x:Dom. P[x]
Date html generated:
2016_05_16-AM-09_07_33
Last ObjectModification:
2012_08_24-PM-03_31_22
Theory : first-order!and!ancestral!logic
Home
Index