demo04  		: THEORY

  BEGIN

  % Comments begin with a "%"


  p, q, r: bool

  % To show p => (q => r) |- p /\ q =>r  prove the following

  Ex1: Theorem (p => (q => r)) => (p & q => r)


  Laplante: Theorem (p=> NOT q) & (p =>r) & NOT(q & r) => FALSE

  END demo04