Back home



Three Possibilities: Determining Correct and Incorrect Pervasions

Whatever is a [] is necessarily a [ ].

Whatever is not [] is necessarily not [].

[] is neither a [] nor a [].