用真值表来验证((p→q)∧¬p)├¬q是否为有效式。
用真值表来验证((p→q)∧¬p)├¬q是否为有效式。
【正确答案】:
Top