推理证明：不认识错误的人 也不能改正错误。有些诚实的人改正了错误。所以有些诚实的人是认识了错误
已帮助 人
回答
共1条回复-
答案：设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分）