Sujet : Re: De Morgan's laws
De : lew.pitcher (at) *nospam* digitalfreehold.ca (Lew Pitcher)
Groupes : comp.unix.shellDate : 31. Dec 2024, 16:54:20
Autres entêtes
Organisation : A noiseless patient Spider
Message-ID : <vl143c$2a0ea$1@dont-email.me>
References : 1 2 3 4 5 6 7
User-Agent : Pan/0.139 (Sexual Chocolate; GIT bf56508 git://git.gnome.org/pan2)
On Mon, 30 Dec 2024 18:15:46 -0300, Salvador Mirzo wrote:
[snip]
I think en-morgan should making something jump into the parentheses and
de-morgan should be the reverse.
As those specific laws of valid inference were named after Augustus De Morgan
(son of John De Morgan and Elizabeth Dodson), with "De Morgan" being Agustus'
surname, it is fitting to refer to them as "De Morgan's laws" or "De Morgan's
theorem"
I propose that the verb "DeMorgan" (as in "to DeMorgan an expression") be
used to represent the application of the normal form of "De Morgan's theorem",
and the verb "deDeMorgan" be used to represent the application of the inverse
of "DeMorgan".
Just my 10(binary) cents worth, of course :-)
-- Lew Pitcher"In Skills We Trust"
syntax of "find" - am I losing my mind?
Re: syntax of "find" - am I losing my mind?
