Deductive Reasoning
Definition
你完全能够得出具有合乎逻辑的、演绎证明形式的结论。 理在传统的亚里士多德逻辑中是“结论，可从叫做‘前提’的已知事实，‘必然地’得出的推 理”。如果前提为真，则结论必然为真。这区别于溯因推理和归纳推理：它们的前提可以 预测出高概率的结论，但是不确保结论为真。
Usage
| 名字 | 相继式 | 描述 |
|---|---|---|
| 定前件论式 | (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; 所以，如果 p 则 r |
| 选言三段论式 | (p ∨ q) ; ¬p ├ q | 要么 p 要么 q; 非 p; 所以, q |
| 创造性二难论式 | (p → q)∧(r → s) ; (p ∨ r) ├ (q ∨ s) | 如果 p 则 q; 并且如果 r 则 s; 但是要么 p 要么 r; 所以，要么 q 要么 s |
| 破坏性二难论式 | (p → q)∧(r → s) ; (¬q ∨ ¬s) ├ (¬p ∨ ¬r) | 如果 p 则 q; 并且如果 r 则 s; 但是要么非 q 要么非 s; 所以，要么非 p 要么非 r |
| 简化论式 | (p ∧ q) ├ p | p 与 q 为真; 所以，p 为真 |
| TBC |