Changes

Importing a new version from external source
Furthermore, in classical logic there is a principle called the <u>excluded third</u> which declares that a sentence that cannot be false must be taken as true since there is no third possibility
2,041

edits