[All Lists] [By Thread] [By Date] [Previous] [Next]
From: R. Nachmani
Subject: Three-valued logic
Date: 24 Kislev 5784
The unstated case covers several situations:
1. The observer did not check for this indicator. 2. The observer checked but chose not to record. 3. The observer recorded but the record was lost or truncated. 4. The indicator is not applicable in this context.
We cannot distinguish these cases from the assertion string alone. That is why we treat them all as "unknown."
Thread: