《形式化方法·经典例题解析》配套题测试

题库共 3 道本次抽 3 道即时判分每次进入随机抽题，可以反复练

全站随机逻辑学统计学哲学启蒙思辨力心理学启蒙 5 题 10 题 20 题 30 题换一批

下面关于「形式化方法」的说法中，正确的是？

A 用人工符号把自然语言中的推理结构翻译出来，以便精确检验其有效性。 B 形式有效指前提真时结论必然真；内容真实指命题与事实相符。二者是不同层面的评价。 C 在同一思维过程中，每一概念或命题必须保持确定的内容，A 就是 A。 D 两个互相矛盾的命题必有一个为真，没有第三种可能。

解析：本题直接考查「形式化方法」的定义。用人工符号把自然语言中的推理结构翻译出来，以便精确检验其有效性。

在学习「形式化方法」时，下列哪一项属于应当避免的错误认识？

来自：形式化方法·经典例题解析单选题

A 理由本身必须真实 B 排中律只适用于矛盾关系，不适用于反对关系 C 同一律管的是思维的确定性 D 以为形式化之后就可以完全不管原话的意思

解析：这是典型的误解。用人工符号把自然语言中的推理结构翻译出来，以便精确检验其有效性。

判断：排中律要求互相矛盾的两个命题必有一个为真，不存在第三种可能。（　）

来自：形式化方法·经典例题解析判断题

A 正确 B 错误

解析：这一表述符合传统形式逻辑导论的基本原理。

换一批