演绎推理和否定式
逻辑
验证引用
尽管已经尽一切努力跟随引文样式规则,可能会有一些差异。请参考适当的样式手册或其他来源的如果你有任何问题。
选择引用样式
反馈
谢谢你的反馈
我们的编辑器将检查你提交并决定是否修改这篇文章。
外部网站
备选标题:超然
- 相关主题:
- 假言三段论
演绎推理和否定式,(拉丁语:“肯定的方法”和“否定法”)的命题逻辑,两种类型的推理可以来自一个假设命题,也就是说,“如果一个命题的形式一个,然后B”(象征意义一个⊃B,⊃表示“如果。。然后”)。演绎推理是指推论的形式一个⊃B;一个,因此B。否定式指推论的形式一个⊃B;∼B因此,∼一个(∼表示“不”)。的一个例子否定式如下:
如果一个角是镌刻在一个半圆,那么这是一个直角;这个角不是直角;因此,这个角不是镌刻在一个半圆。
为了分隔前提(用人∨表示“要么。或“),条款否定后件式tollendo推理和立废式用于参数的形式一个∨B;∼一个,因此B,和一个∨B;一个,因此∼B(仅为有效独家分离:“要么一个或B但不是都”)。的规则演绎推理纳入几乎所有吗正式的系统的逻辑。