4个回答

罗素说，从一个错误的命题可以推出任何命题，就从1+1=3这个错误的命题，推出1+1不等于三，谁来？

2025-02-09 15:50:37

有问题就对了

2个点赞 👍

$(1)\ 1+1=3\ \ 已知\\ (2)\ 1+1\not=3\ \ 定理$

从任意公式集开始，都能证明定理。

另外，我们还能证明“从1+1=3开始可以证明任意的命题p”

$(1)\ 1+1=3\ \ 已知\\ (2)\ 1+1\not=3\ \ 定理\\ (3)\ 1+1\not=3\to(1+1=3\to p)\ \ 重言式\\ (4)\ p\ \ 由(1)(2)(3)$

2025-02-10 18:26:46

www620

自由评论 (0)