逻辑、学习推理和论证。推理规则步骤从一个或多个命题,称为前提,另一个命题,称为结论。演绎推理是有效的,在一个有效的推理的结论必须是真的如果前提为真(看到扣除;效度)。所有其他推论被称为感应(看到感应)。在狭义上,逻辑演绎推理的研究。仍然在一个狭窄的意义上说,它是研究推断,取决于所表达的概念“逻辑常量,包括:(1)命题连接词如“,”(象征¬)”和“(象征∧)”或“(象征∨),和“if - then”(象征⊃),(2)存在和通用量词,“(∃x)”和“(∀x)”英文常常呈现为“有一个x这样…”和“对任何(所有)x分别,…。”,(3)身份的概念(“=”表示),和(4)预测的概念。研究的逻辑常量(1)单独被称为命题演算;(1)通过研究(4)被称为一阶谓词演算与身份。一个命题的逻辑形式是实体通过替换所有逻辑概念的命题变量。这样粗略的公式之间的关系的研究称为形式逻辑。另请参阅道义逻辑;模态逻辑。
媒体
更多的
