next up previous contents
Next: Verification of the Up: Applications to Knowledge Previous: Applications to Knowledge

Equivalence of Propositions and Implications in the Boolean Algebra Associated to a KBS

Given two elements V,W in the Boolean algebra associated to a given KBS, the equivalence of V and W can be studied by checking whether

is the whole ring or not (see [LR2] for details).

Let us observe that an implication can also be studied as above. It is enough to check whether is always true or not.

Andre Heck
Sun Apr 23 10:32:10 MDT 1995