Subject: Small correction of 6016 coursework
Date: Wed, 22 Nov 2006 09:56:17 +0000

Hi all,

In question 6 of this week's coursework sheet a symbol is used that we
didn't discuss and it is wrong anyway.  What I want you to do is
give the first-order translation of the testing of the validity of a
formula in a given logic.  I.e. replace in each case

    |-<L> <formula>

where L denotes a logic by 

    <formula> is valid in <L>

Renate