求逻辑学的基本的逻辑公式

题目

求逻辑学的基本的逻辑公式
例
如果P,则Q.
非Q,
所以非P

答案

肯定前件论式 (p → q) ; p ├ q 如果 p 则 q; p; 所以,q 否定后件论式 (p → q) ; ¬q ├ ¬p 如果 p 则 q; 非 q; 所以,非 p 假言三段论式 (p → q) ; (q → r) ├ (p → r) 如果 p 则 q; 如果 q 则 r; 所以,...