Nuprl Definition : class-value-has
X(e) has a ==  (↑e ∈b X) ∧ (¬a#X(e):T)
Definitions occuring in Statement : 
eclass-val: X(e)
, 
in-eclass: e ∈b X
, 
free-from-atom: a#x:T
, 
assert: ↑b
, 
not: ¬A
, 
and: P ∧ Q
FDL editor aliases : 
class-value-has
Latex:
X(e)  has  a  ==    (\muparrow{}e  \mmember{}\msubb{}  X)  \mwedge{}  (\mneg{}a\#X(e):T)
Date html generated:
2016_05_17-AM-11_36_33
Last ObjectModification:
2012_08_30-PM-02_30_09
Theory : event-logic-applications
Home
Index