Re: [Nitpicking] Trivalent logic Wolfgang Corcoran-Mathe (31 May 2020 19:18 UTC)
Re: [Nitpicking] Trivalent logic Wolfgang Corcoran-Mathe 31 May 2020 19:17 UTC
On 2020-03-31 20:52 +0200, Marc Nieper-Wißkirchen wrote:
> The sentence "Unlike and and or, these procedures must evaluate all their
> arguments in order to provide correct SQL-style semantics." is of dubious
> A reformulation could be: "Unlike and and or, tri-and and tri-or are
> procedures and not syntax. In particular, evaluation of a form like
> (tri-and ... ...) implies the evaluation of all of ... ..., which is
> necessary to give provide the correct SQL-style semantics."
Agreed. The reformulated version is much clearer. I'd suggest
deleting one of 'give' or 'provide' in the last sentence.
Wolfgang Corcoran-Mathe <firstname.lastname@example.org>
"Heresy is a cradle; orthodoxy, a coffin. Why should man be
afraid to think, and why should he fear to express his thoughts?"
--Robert G. Ingersoll