Nuprl Definition : es-knows
K(P)@e == ∀e':PossibleEvent(poss). ((R e e')
⇒ (P e'))
Definitions occuring in Statement :
possible-event: PossibleEvent(poss)
,
all: ∀x:A. B[x]
,
implies: P
⇒ Q
,
apply: f a
FDL editor aliases :
es-knows
es-knows
K(P)@e == \mforall{}e':PossibleEvent(poss). ((R e e') {}\mRightarrow{} (P e'))
Date html generated:
2015_07_17-AM-08_51_55
Last ObjectModification:
2013_03_25-PM-01_51_16
Home
Index