我正在尝试为 ((p ⇒ q) ⇒ p) ⇒ p 构建一个正式的证明。在惠誉。我知道这是真的，但我如何证明呢？
我只能使用 And Intro、And Elim、Or Inro、Or Elim、Neg Intro、Neg Elim、Impl Intro、Impl Elim、Biconditional Intro 和 Biconditional Elim。
问问题
1495 次
1 回答
0
以下证明使用 Klement 的 Fitch 式证明检查器。符号和规则的说明在forallx中。两者的链接如下。
Philosophy Stack Exchange 上有一个稍微不同的版本：https ://philosophy.stackexchange.com/a/55395/29944 这将是另一个尝试获得此类问题答案的地方。
参考
Kevin Klement 的 JavaScript/PHP Fitch 风格的自然演绎证明编辑器和检查器http://proofs.openlogicproject.org/
PD Magnus、Tim Button 以及 J. Robert Loftis 的添加，由 Aaron Thomas-Bolduc、Richard Zach 重新混合和修订，forallx Calgary Remix: An Introduction to Formal Logic，2018 年冬季。http: //forallx.openlogicproject.org/
于 2018-11-24T02:20:40.263 回答