Nuprl Definition : bexists
∃bx(:A) ∈ as. f[x] == ∃b x(:A) ∈ as. f[x]
Definitions occuring in Statement :
mon_for: For{g} x ∈ as. f[x],
bor_mon: <𝔹,∨b>
Definitions occuring in definition :
mon_for: For{g} x ∈ as. f[x],
bor_mon: <𝔹,∨b>
Latex:
\mexists{}\msubb{}x(:A) \mmember{} as. f[x] == \mexists{}b x(:A) \mmember{} as. f[x]
Date html generated:
2016_05_16-AM-07_38_03
Last ObjectModification:
2015_09_23-AM-09_51_35
Theory : list_2
Home
Index