恆真式(tautology)又称为套套邏輯、恆真句、恆真式或重言式等。 恆真式是指在任何解釋下皆為真的命題,例如经典逻辑中的 P ∨ ¬ P {\displaystyle P\vee \neg P} ...
確定! 回上一頁