逻辑学基本公式否定后件论式 (p → q) ; ¬q ├ ¬p 如果 p 则 q; 非 q; 所以,非 p 这个成立吗? 如果我有一百块钱,那么我可以买一本书.如果我不可以买一本书,我没有一百块钱成立吗?

问题描述:

逻辑学基本公式
否定后件论式 (p → q) ; ¬q ├ ¬p 如果 p 则 q; 非 q; 所以,非 p 这个成立吗?
如果我有一百块钱,那么我可以买一本书.
如果我不可以买一本书,我没有一百块钱成立吗?

不成立,后半句完全错误,前半句和后半句没有直接联系,再者,就算有联系,完全是将原因和结果弄倒了。
再举个例子,如果它是燕子,那它就能飞
如果他不是燕子,他就不能飞
试问,鸽子就不能飞么?

这就相当于数学里的逆否命题,当然成立
而且你自己也说了,这是逻辑学的基本公式,没有问题的