Newsgroups: comp.ai.fuzzy
Path: cantaloupe.srv.cs.cmu.edu!bb3.andrew.cmu.edu!newsfeed.pitt.edu!gatech!news.mathworks.com!tank.news.pipex.net!pipex!sunsite.doc.ic.ac.uk!lut.ac.uk!usenet
From: COAF <A.Farnham-94@student.lut.ac.uk>
Subject: Can anyone explain how syntactic proof works please?
Sender: usenet@lut.ac.uk (Usenet-News)
Message-ID: <Do3z8E.J0K@lut.ac.uk>
Date: Mon, 11 Mar 1996 15:05:02 GMT
X-Nntp-Posting-Host: co-pclab37.lut.ac.uk
Content-Transfer-Encoding: 7bit
Content-Type: text/plain; charset=us-ascii
Mime-Version: 1.0
X-Mailer: Mozilla 1.2N (Windows; I; 16bit)
Organization: Loughborough University
Lines: 9

Dear All,

Sorry to bother you, but I am having difficulty in understanding 
syntactic proof. Can anyone explain how it works?

Thanks for your help!

Ashley Farnham

