未知题型

若A在任何解释下都为真,则称A为逻辑有效式或永真式

【参考答案】

正确。在逻辑学中,如果一个命题或语句在所有可能的解释下都为真,那么这个命题或语句被称为逻辑有效式(tautology)或......

(↓↓↓ 点击下方‘点击查看答案’看完整答案 ↓↓↓)