恆真式維基百科,自由的 encyclopedia 关于其他用法,请见「套套邏輯」。恆真式(tautology)又称为套套邏輯、恆真句、恆真式或重言式等。 恆真式是指在任何解釋下皆為真的命題,例如经典逻辑中的 P ∨ ¬ P {\displaystyle P\vee \neg P} 、 P → P {\displaystyle P\to P} 、 ( P ∧ Q ) ∨ R ↔ ( P ∨ R ) ∧ ( Q ∨ R ) {\displaystyle (P\wedge Q)\vee R\leftrightarrow (P\vee R)\wedge (Q\vee R)} 或“A=B,B=C,则A=C”。
关于其他用法,请见「套套邏輯」。恆真式(tautology)又称为套套邏輯、恆真句、恆真式或重言式等。 恆真式是指在任何解釋下皆為真的命題,例如经典逻辑中的 P ∨ ¬ P {\displaystyle P\vee \neg P} 、 P → P {\displaystyle P\to P} 、 ( P ∧ Q ) ∨ R ↔ ( P ∨ R ) ∧ ( Q ∨ R ) {\displaystyle (P\wedge Q)\vee R\leftrightarrow (P\vee R)\wedge (Q\vee R)} 或“A=B,B=C,则A=C”。