《形式化方法·基本概念与定义》配套题测试

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

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

「形式化方法」的正确含义是？

A 用人工符号把自然语言中的推理结构翻译出来，以便精确检验其有效性。 B 形式有效指前提真时结论必然真；内容真实指命题与事实相符。二者是不同层面的评价。 C 任何被断定为真的命题都必须有充足理由，且理由与结论之间有必然联系。 D 两个互相矛盾的命题必有一个为真，没有第三种可能。

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

判断：同一律要求在同一思维过程中，概念与命题必须保持自身的确定性。（　）

来自：形式化方法·基本概念与定义判断题

A 正确 B 错误

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

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

来自：形式化方法·基本概念与定义单选题

A 矛盾律管的是思维的一致性 B 以为形式化之后就可以完全不管原话的意思 C 有效推理可以有假前提，也可以有假结论 D 「所有……都是……」属于逻辑常项

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

换一批