Assertion: kleene logic | /r/HasAspect | tautology
Facets:
Source sentences:
text: Kleene logic has no tautologies (valid formulas) because whenever all of the atomic components of a well-formed formula are assigned the value Unknown, the formula itself must also have the value Unknown.