对于有效论证：寝室 5 位室友的每一个都选修过离散数学课程。选修过离散数学课程的每个学生都可以选修算法课程。因此，所有5 位室友都可以选修算法课程。使用的推理规则按顺序应该是（ ）
A: ①全称实例 ②存在实例③假言推理 ④全称引入
B: ①全称实例 ②全称实例③假言推理 ④全称引入
C: ①存在实例 ②存在实例③假言三段论 ④存在引入
D: ①全称实例 ②全称实例③假言三段论 ④全称引入
A: ①全称实例 ②存在实例③假言推理 ④全称引入
B: ①全称实例 ②全称实例③假言推理 ④全称引入
C: ①存在实例 ②存在实例③假言三段论 ④存在引入
D: ①全称实例 ②全称实例③假言三段论 ④全称引入
举一反三
- 对于有效论证：班上某个人喜欢观赏鲸鱼。每个喜欢观赏鲸鱼的人都关心海洋污染。因此，班上有人关心海洋污染。使用的推理规则按顺序应该是（ ） A: ①全称实例 ②化简律 ③存在实例 ④假言推理⑤合取律 ⑥全称引入 B: ①存在实例 ②化简律 ③全称实例④假言推理⑤合取律 ⑥存在引入 C: ①化简律 ②假言推理 ③合取律 ④存在引入 D: ①存在实例 ②化简律 ③假言推理 ④存在引入
- 对于有效论证：John Sayles 制作的所有电影都很好看。John Sayles 制作过关于煤矿工人的电影。因此，有一部很好看的关于煤矿工人的电影。使用的推理规则按顺序应该是（ ） A: ①存在实例 ②化简律 ③存在实例 ④假言推理 ⑤附加律 ⑥取拒式 ⑦全称引入 B: ①存在实例 ②附加律 ③全称实例 ④假言推理 ⑤附加律 ⑥合取律 ⑦存在引入 C: ①存在实例 ②化简律 ③全称实例 ④假言推理 ⑤化简律 ⑥合取律 ⑦存在引入 D: ①全称实例 ②化简律 ③存在实例 ④假言推理 ⑤化简律 ⑥合取律 ⑦全称引入
- 谓词逻辑的推理中,[img=140x25]1803a5da15ef363.png[/img]使用的是( )。 A: 全称量词引入规则 B: 全称量词消去规则 C: 存在量词引入规则 D: 存在量词消去规则
- 在谓词逻辑形式化推理中,如果推理过程中需要消去全称量词和存在量词,应该先使用全称量词指定规则。
- 以“所有选修文学课程的学生也都选修了数学课程”和“所有选修了数学课程的学生都没有选修物理课程”为前提进行三段论推理，其结论是？ A: 所有选修文学课程的学生都没有选修物理 B: 有些选修物理课程的学生选修了文学 C: 有些选修文学课程的学生选修了物理 D: 其它三项都不正确