Statements {tautology}| {valid formula} can be true in themselves, without reference to anything else. Tautologies are true for any term or predicate substitutions. Tautologies have necessary and sufficient conditions. Tautologies depend on accepted definitions. The opposite of tautology is self-contradictory.
Mathematical Sciences>Logic>Statements>True
Outline of Knowledge Database Home Page
Description of Outline of Knowledge Database
Date Modified: 2022.0224