恒真式(tautology)又称为套套逻辑、恒真句、恒真式或重言式等。 ... 恒真式有无限多种,以下为常见例子:. ( A ∨ ¬ A ) {\displaystyle (A\lor \lnot A)} (A \lor ...
確定! 回上一頁