Subject: 6016: Correction to Week 3 coursework
Date: Tue, 28 Nov 2006 09:31:26 +0000

Hi all,

Unfortunately, on this week's exercise sheet (week 3) there is the
same mistake as on last week's sheet.  

In question 1, I want you to use MSPASS to determine the *validity of
the given formula in the given logic*.  I.e. in (a) and (b) replace 

    |-<L> <formula>,

where L denotes a logic, by 

    <formula> is valid in <L>

In (c) use MSPASS to determine whether D is valid in KT45.

Renate