37.用真值表来验证((p→q)∧?p)├?q是否为有效式。
出自:2022年10月高等教育自学考试_普通逻辑试题(课程代码00024)