claim
An example of the closure principle is that if a person knows they have had exactly two beers, and they know that having had exactly two beers entails having had less than three beers, then they know they have had less than three beers.

Authors

Sources

Referenced by nodes (1)