An Etymological Dictionary of Astronomy and Astrophysics

Logic: A → proposition if its → denial is self-contradictory. Also called “logical truth” and “non-contingent truth.”

See also: → necessary; → truth.