名词解释

【参考答案】

假言联结词为“当且仅当”的假言命题。陈述前件是后件的充分必要条件。P↔q等值式。