next up previous contents
Next: Equivalence of Propositions Up: Maple V in Previous: Implications Between Propositions

Applications to Knowledge Based Systems

(The notation introduced in 10.2.3 will be used in this section)





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