lg-exists(G;x.P[x]) == 
n:
lg-size(G). P[lg-label(G;n)]
Definitions :
exists: x:A. B[x],
int_seg: {i..j
},
natural_number: $n,
lg-size: lg-size(g),
lg-label: lg-label(g;x)
FDL editor aliases :
lg-exists
lg-exists(G;x.P[x]) == \mexists{}n:\mBbbN{}lg-size(G). P[lg-label(G;n)]
Date html generated:
2010_08_27-PM-03_46_31
Last ObjectModification:
2010_05_04-PM-12_53_57
Home
Index