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