[All Lists] [By Thread] [By Date] [Previous] [Next]


From: Dr. Stern
Subject: Three-valued logic
Date: 17 Kislev 5784


Because absence is not negation.

+S3: I saw three stars. -S3: I looked and did not see three stars. (no S3): I did not look.

Different situations.


Thread:

[Previous] [Next]


DEP Discussion Archives
https://dep-specs.org/