Nuprl Definition : vr_PEM
vr_PEM == 
P:
. (P 
(
P))
Definitions occuring in Statement :
prop: ,
all: x:A. B[x],
not: A,
or: P Q
FDL editor aliases :
vr_PEM
vr\_PEM == \mforall{}P:\mBbbP{}. (P \mvee{} (\mneg{}P))
Date html generated:
2012_02_20-PM-03_33_31
Last ObjectModification:
2012_02_02-PM-01_55_22
Home
Index