恆真式 恆真式tautology又称为套套邏輯恆真句恆真式或重言式等 恆真式是指在任何解釋下皆為真的命題例如经典逻辑中的 P   P displaystyle Pvee neg P  P  P displaystyle Pto P   P  Q   R   P  R    Q  R  displaystyle Pwedge Qvee Rleftrightarrow Pvee Rwedge Qvee R 或ABBC则AC