推理形式是推理中前提与结论之间的联系方式。是用词项变项或命题变项去代替具体推理中有着各种具体内容的词项或命题的结果。例如:“如果某数能被9除尽,它就能被3除尽;某数能被9除尽;所以,它能被3除尽。”这是一个充分条件的假言推理,其前提和结论都分别是有着不同具体内容的命题,如果我们用命题变项“p”和“q”去分别代替其中具有具体内容的两个命题——“某数能被9除尽”和“它能被3除尽”,那么,我们就可得到充分条件假言推理的~种推理形式:“如果p,那么q;p,所以q。”
The validity of inferential form is the key conception of logic.
推理形式的有效性是逻辑学的核心概念。
参考来源 - 论逻辑的有效性及其判定·2,447,543篇论文数据,部分数据来源于NoteExpress
此外,有时也运用辩证推理形式。
因此,经验逻辑给出了一类更一般而且直观的非单调推理形式。
The experiential logic therefore provides a class of more intuitive and general nonmonotonic formalisms.
科技翻译中常采用的推理形式主要为因果式、上下文式、类比式和隐喻式。
In EST translation the chief forms of inference employed are those of cause and effect, context, metaphor and analogy, etc. and logic inference is of practicability and necessity.
We know machines have limited capacities to engage in mathematical and logical reasoning, to recognize things, to do various forms of computations, and this makes it at least possible that we are such machines.
我们也知道机器,在数学推理与逻辑推理方面,在识别物体方面,在完成各种形式的运算方面,的确是拥有有限的能力的,这至少说明,人类就是这样的机器
应用推荐