Relay-Version: version B 2.10 5/3/83; site utzoo.UUCP
Path: utzoo!mnetor!uunet!husc6!cmcl2!brl-adm!adm!DHowell.ElSegundo@Xerox.COM
From: DHowell.ElSegundo@Xerox.COM
Newsgroups: comp.lang.c
Subject: Logic (was Re: what \"cast\" means)
Message-ID: <8736@brl-adm.ARPA>
Date: Mon, 10-Aug-87 20:11:41 EDT
Article-I.D.: brl-adm.8736
Posted: Mon Aug 10 20:11:41 1987
Date-Received: Wed, 12-Aug-87 00:38:24 EDT
Sender: news@brl-adm.ARPA
Lines: 22


Re: "not looking like Pascal is not a language deficiency" =>|!=>
"looking like Pascal is a language deficiency"

In article <190@xyzzy.UUCP>, "Wayne A. Throop" <throopw@xyzzy.uucp>
writes:
>        (not (forall l (implies (not (pascallike l) (deficient l)))))

>        (forall l (implies (pascallike l) (deficient l)))

>        (exists l (not (implies (not (pascalllike l) (deficient l)))))

>        (exists l (and (not (pascalllike l)) (not (deficient l))))

>        (forall l (or (not (pascallike l)) (deficient l)))

>        (not (exists l (and (pascallike l) (not (deficient l)))))


I thought this was net.lang.c, not net.lang.lisp!  :-) :-)

Dan <DHowell.ElSegundo@Xerox.COM>