作业帮 > 数学 > 作业

逻辑学基本公式否定后件论式 (p → q) ; ¬q ├ ¬p 如果 p 则 q; 非 q; 所以,

来源:学生作业帮 编辑:拍题作业网作业帮 分类:数学作业 时间:2024/04/27 21:42:27
逻辑学基本公式
否定后件论式 (p → q) ; ¬q ├ ¬p 如果 p 则 q; 非 q; 所以,非 p 这个成立吗?
如果我有一百块钱,那么我可以买一本书.
如果我不可以买一本书,我没有一百块钱成立吗?
这就相当于数学里的逆否命题,当然成立
而且你自己也说了,这是逻辑学的基本公式,没有问题的