一致公式

亦称“相容公式”、“和谐公式”。现代逻辑用语。形式系统S中的一个公式A称为一致公式，当且仅当，A的否定式■A不是系统S中的定理。例如，对于经典命题逻辑系统PC,非矛盾式都是一致公式，矛盾式则不是一致公式，因为矛盾式的否定式是重言式，重言式是系统PC的定理。