Relay-Version: version B 2.10 5/3/83; site utzoo.UUCP
Posting-Version: version B 2.10.2 9/18/84; site brl-tgr.ARPA
Path: utzoo!linus!philabs!cmcl2!seismo!brl-tgr!gwyn
From: gwyn@brl-tgr.ARPA (Doug Gwyn )
Newsgroups: net.lang.c
Subject: Re: Cryptic C
Message-ID: <905@brl-tgr.ARPA>
Date: Thu, 22-Aug-85 17:59:24 EDT
Article-I.D.: brl-tgr.905
Posted: Thu Aug 22 17:59:24 1985
Date-Received: Sun, 25-Aug-85 10:02:31 EDT
References: <2913@ncsu.UUCP>, <709@brl-tgr.ARPA> <5884@utzoo.UUCP>
Organization: Ballistic Research Lab
Lines: 5

> It's interesting to note that Kernighan&Plauger use "yes" and "no" rather
> than "true" and "false", ...

Yes, but the conventional use in symbolic logic is true/false.
One is not always asking a natural yes/no question of a predicate.