P 当且仅当 Q 称为 P 与 Q 的 等价式