• 2021-04-14
    推理证明:不认识错误的人,也不能改正错误。有些诚实的人改正了错误。所以有些诚实的人是认识了错误的人。
  • 答案:设A(x):x是认识错误的人。B(x):x改正了错误。C(x):x是诚实的人。 符号化为:"x(ØA(x)®ØB(x)),$x(C(x)∧B(x))Þ$x(C(x)∧A(x)) 证明: ⑴ $x(C(x)∧B(x)) P ⑵ C(c)∧B(c) ES ⑴ (1分) ⑶ C(c) T ⑵ (1分) ⑷ B(c) T ⑵ (1分) ⑸ "x(ØA(x)®ØB(x)) P ⑹ ØA(c)®ØB(c) US⑸ (1分) ⑺ ØØA(c) T ⑷⑹ (2分) ⑻ A(c) T ⑺ (1分) ⑼ C(c)∧A(c) T ⑶⑻ (2分) ⑽ $x(C(x)∧A(x)) EG ⑼ (1分)

    举一反三

    内容

    • 0

      有人说:“只有认识错误,才能改正错误。”如果以上判断是真的,可能出现的情况是()。I.某人认识了错误,没有能改正错误II.某人没有认识错误,改正了错误III.某人没有去认识错误,没能改正错误IV.某人认识了错误,改正了错误 A: I B: C: II和III D: II E: IV F: G: III和IV

    • 1

      “只有认识错误,才能改正错误。某人认识了错误,所以某人改正了错误。”这个推理是假言推理的是( )。 A: 否定肯定式 B: 否定前件式 C: 肯定否定式 D: 肯定前件式

    • 2

      “只有认识错误,才能改正错误。某人认识了错误,所以某人改正了错误。”这个推理是必要条件假言推理的( ) A: 肯定否定式 B: 肯定肯定式 C: 肯定前件式 D: 否定前件式

    • 3

      “只有认识错误,才能改正错误。” A: 除非认识错误,否则不能改正错误。 B: 如果不认识错误,那么不能改正错误。 C: 如果改正错误,说明已经认识了错误。 D: 认识错误,是改正错误的必不可少的条件。 E: 只要认识错误,就一定能改正错误。

    • 4

      “只有认识错误,才能改正错误。”以下诸项都准确表达了上述断定的含义,除了: A: 除非认识错误,否则不能改正错误 B: 如果不认识错误,那么不能改正错误 C: 如果改正错误,说明已经认识了错误 D: 认识错误,是改正错误的必不可少的条件 E: 只要认识错误,就一定改正错误