next up previous contents
Next: Applications to Knowledge Up: Applications to Propositional Previous: Equivalence of Propositions

Implications Between Propositions in a Propositional Boolean Algebra

It is clear that will be true iff is 1. Therefore, the following procedure checks whether the proposition implies or not.

if convert(expand(alfa &implies beta),mod2)=1
then print(YES) else print(NO) fi;

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