Skip to main content

Section 3.2 定律练习

Exercises Exercises

1.

请指出下面推理所用的定律：

  • 如果甲是小偷，那么甲偷了计算机

  • 甲的确是小偷

  • 结论：甲偷了计算机

  1. 假言推理
  2. 假言三段论
  3. 拒取式
  4. 析取三段论
Hint
\(A \)
\(A \imp B\)
\(B\)
\(\text{假言推理}\)
Solution
假言推理
2.

请指出下面推理所用的定律：

  • 如果甲被拘留过，那么甲留有案底

  • 甲没有案底

  • 结论：甲没被拘留过

  1. 假言推理
  2. 假言三段论
  3. 拒取式
  4. 析取三段论
Hint
\(\neg B \)
\(A \imp B\)
\(\neg A \)
\(\text{拒取式}\)
Solution
拒取式
3.

请指出下面推理所用的定律：

  • 如果甲酒驾被抓，那么甲被拘留过

  • 如果甲被拘留过，那么甲有案底

  • 结论：如果甲酒驾被抓，那么甲有案底

  1. 假言推理
  2. 假言三段论
  3. 拒取式
  4. 析取三段论
Hint
\(A \imp B \)
\(B \imp C\)
\(A \imp C \)
\(\text{假言三段论}\)
Solution
假言三段论
4.

请指出下面推理所用的定律：

  • 案件是甲或乙做的

  • 甲没有做案时间

  • 结论：案件是乙做的

  1. 假言推理
  2. 假言三段论
  3. 拒取式
  4. 析取三段论
Hint
\(A \vee B \)
\(\neg B\)
\(A\)
\(\text{析取三段论}\)
Solution
析取三段论