学堂在线清华大学逻辑学概论(2021春)章节作业题答案
- 命题演算的公理系统L与命题演算的自然演绎系统C相比: AL系统的定理集更大 BC 2021-06-17
- “自然演绎系统从假设出发,因此不能得出纯逻辑的定理,只能得到依赖于假设的推 2021-06-17
- “命题演算的公理系统L所生成的定理,与用真值表法所判定的重言式完全一致。 2021-06-17
- “或非、与非都不能作为命题演算公理系统的初始符号。”这一说法是否正确? A 2021-06-17
- “L 系统的初始符号不包括∨和∧,但可以通过定义引入。”这一说法是否正确? A 2021-06-17
- “L 系统是具有可靠性、完全性、公理独立性的唯一可能的命题演算系统。”这 2021-06-17
- 作为公理系统,其必须具备的性质是: A可靠性 B完全性 C公理独立性 2021-06-17
- 同上,在这三个公理系统中,具有公理独立性的是: AL BL和L’ CL和L” DL,L’和L” 2021-06-17
- 同上,在这三个公理系统中,具有完全性的是: AL BL和L’ CL和L” DL,L’和L” 2021-06-17
- 命题演算的公理系统L包含L1、L2、L3、MP 。已知L具有可靠性、完全性、公理 2021-06-17
- 上一讲中出现的有效推理形式,在命题演算公理系统L中: A可以直接应用 B不能直 2021-06-17
- 以下说法是否正确:“按照形成规则,命题演算公理系统L中每使用一次 ¬ 或 → , 2021-06-17
- 逻辑中“合式公式”等处的“公式”是指: A表达式 B恒等式 C蕴涵式 2021-06-17
- 构建公理系统通常需要使用: A日常语言 B自然语言 C人工语言 2021-06-17
- 构建公理系统可用于 A判定有效推理形式 B生成有效推理形式 2021-06-17
- “L中的证明可以看作L中从空集的推演。”这一说法是否正确? A正确 B不正确 2021-06-17
- “L的公理都是L的定理。”这一说法是否正确? A正确 B不正确 2021-06-17
- L的每个证明的第一步一定是:(可多选) AL的合式公式 BL的公理 C通过分离规则得 2021-06-17
- (((¬ p1) →(¬ p2))→(( p1→ p3)→((¬ p1)→(¬ p2))))是: AL中符合L1的 2021-06-17
- 下列各项中那些是命题演算公理系统L的合式公式:(可多选) Ap2 Bp1 → p2 C(¬ ( 2021-06-17
- “每一个析取范式都存在与之等值的合取范式”,这一说法是否正确: A正确 B不正 2021-06-17
- 命题联接词“合取”在数字电路中对应的是: A非门 B与门 C或门 D与非门 2021-06-17
- “单独一个命题变元可作为合取范式的特例”。 这一说法是否正确: A正确 B不 2021-06-17
- 理论上,数字电路中的“或非门”经有限次的重复和组合,可代替“非门”、“与门 2021-06-17
- 可单独作为命题联接词的充足集的是: A否定 B合取 C析取 D蕴涵 E与非 2021-06-17