企源知识库

用真值表来验证( p∨q )├ ¬ (¬ q→p)是否为有效式。
【正确答案】：该式不是有效式。
【题目解析】：因最终取值不是永真，所以，该式不是有效式。