恒こう真しん式しき

noun

tautology

In logic, a proposition that is always true regardless of the truth values of its components.

• 「PまたはPでない」は恒こう真しん式しきの一いち例れいです。

  'P or not P' is an example of a tautology.