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