恒こう真しん式しきこうしんしきじ字FuriganaMeanings1nountautologylogic›In logic, a proposition that is always true regardless of the truth values of its components.「PまたはPでない」は恒こう真