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