Recall the following definitions: in any model M=(Q, (Ti, ai, piie), Ri is the event Player i is rational\;R=nieN Ri. Also, Bi(E) is the event \Player i is certain that E is true\ and B(E)=neN Bi(E). This is as in Lecture
Basie cCoucept Boolean algebra (Logic algebra) is closure mathematical system that defines a series of logic operation (and, or, not) performed on set k of variables (a, b,...) which can only have two values of 0 or 1