当前位置：首页 > 普通逻辑(00024) > 正文内容

用真值表来验证p→¬q，q├¬p是否为有效式。

2024-07-24普通逻辑(00024)