Nuprl Definition : vr_parmAC
vr_parmAC(G;A;B) == (
x:A. 
y:B. (G x y)) 
(f:A 
B. x:A. (G x (f x)))
Definitions occuring in Statement :
all: x:A. B[x],
exists: x:A. B[x],
implies: P Q,
apply: f a,
function: x:A B[x]
FDL editor aliases :
vr_parmAC
vr\_parmAC(G;A;B) == (\mforall{}x:A. \mexists{}y:B. (G x y)) {}\mRightarrow{} (\mexists{}f:A {}\mrightarrow{} B. \mforall{}x:A. (G x (f x)))
Date html generated:
2012_02_20-PM-03_33_00
Last ObjectModification:
2012_02_02-PM-01_55_15
Home
Index