midterm01  % [ parameters ]
		: THEORY

  BEGIN

  % ASSUMING
   % assuming declarations
  % ENDASSUMING
a,b,c,d:bool


Question2d: PROPOSITION  (a => (b IFF c))&(b => d)& ( b OR c => NOT d) =>( NOT d =>  NOT a)

  END midterm01