恒真式维基百科,自由的 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”。