名字 相继式 描述 肯定前件论式 (p → q); p ├ q 如果 p 则 q; p,所以 q 否定后件论式 (p → q); ¬q ├ ¬p 如果 p 则 q; 非 q; 所以，非 p 选言三段论式 (p ∨ q); ¬p ├ q 要么 p 要么 q; 非 p; 所以, q
確定！ 回上一頁
