Relay-Version: version B 2.10 5/3/83; site utzoo.UUCP Posting-Version: version B 2.10.1 6/24/83; site unc.UUCP Path: utzoo!watmath!clyde!burl!ulysses!ucbvax!decvax!mcnc!unc!fsks From: fsks@unc.UUCP (Frank Silbermann) Newsgroups: net.singles Subject: Re: Intelligence Message-ID: <572@unc.UUCP> Date: Wed, 10-Jul-85 15:19:59 EDT Article-I.D.: unc.572 Posted: Wed Jul 10 15:19:59 1985 Date-Received: Sat, 13-Jul-85 10:36:51 EDT References: <456@ttidcc.UUCP> <457@ttidcc.UUCP> <1586@hao.UUCP> Reply-To: fsks@unc.UUCP (Frank Silbermann) Organization: CS Dept., U. of N. Carolina at Chapel Hill Lines: 7 In articlejer@peora.UUCP (J. Eric Roskos) writes: > EVERYONE should know how to do proofs with quantifiers! > Not knowing such basic principles of logic makes it hard > to argue coherently in everyday discourse. Since when must arguements be coherent? :-) Frank Silbermann