consensus-rel-knowledge-inning-step(V;A;W;x1;x2;y1;y2;a) ==
(Inning(y1;a) = (Inning(x1;a) + 1))
(Estimate(y1;a) = Estimate(x1;a))
(Knowledge(y2;a) = Knowledge(x2;a))
Definitions :
add: n + m,
cs-inning: Inning(s;a),
natural_number: $n,
and: P Q,
cs-estimate: Estimate(s;a),
equal: s = t,
fpf: a:A fp-> B[a],
Id: Id,
union: left + right,
product: x:A 
B[x],
int: 
,
top: Top,
cs-knowledge: Knowledge(x;a)
FDL editor aliases :
consensus-rel-knowledge-inning-step
consensus-rel-knowledge-inning-step(V;A;W;x1;x2;y1;y2;a) ==
(Inning(y1;a) = (Inning(x1;a) + 1))
\mwedge{} (Estimate(y1;a) = Estimate(x1;a))
\mwedge{} (Knowledge(y2;a) = Knowledge(x2;a))
Date html generated:
2010_08_27-AM-12_53_43
Last ObjectModification:
2009_12_23-PM-03_28_36
Home
Index