《形式化方法·判定规则与步骤》配套题测试

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

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

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

来自：形式化方法·判定规则与步骤单选题

A 既不有效也不真实的推理毫无价值 B 同一律不否认事物变化，只要求同一过程内含义稳定 C 以为形式化之后就可以完全不管原话的意思 D 含糊回避、两不可的说法违反排中律

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

关于「形式化方法」的判定规则与步骤，下列表述正确的是？

来自：形式化方法·判定规则与步骤单选题

A 矛盾律管的是思维的一致性 B 形式语言消除了自然语言的歧义 C 理由与结论之间必须存在逻辑联系 D 「所有……都是……」属于逻辑常项

解析：这一步是形式化方法判定过程的关键环节：形式语言消除了自然语言的歧义。

判断：矛盾律要求互相矛盾的两个命题不能同时为真，其中必有一假。（　）

来自：形式化方法·判定规则与步骤判断题

A 正确 B 错误

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

换一批