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.

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



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