（（p⇒q）⇒p）⇒p的形式证明

时间：2017-03-16 15:51:21

标签： logic implication fitch-proofs

我正在尝试构建（（p⇒q）⇒p）⇒p的形式证明。在惠誉。我知道这是真的，但我该如何证明呢？

我只能使用And Intro，Elim，Or Inro，Elim，Neg Intro，Neg Elim，Impl Intro，Impl Elim，Biconditional Intro和Biconditional Elim。

1 个答案:

答案 0 :(得分：0)

以下证明使用Klement的Fitch样式证明检查器。符号和规则的描述在 forallx 中。两者的链接都在下面。

enter image description here

“哲学堆栈交换”上的版本稍有不同：https://philosophy.stackexchange.com/a/55395/29944这是尝试获取此类问题答案的另一个地方。

参考

Kevin Klement的JavaScript / PHP Fitch风格自然演绎证明编辑器和检查器http://proofs.openlogicproject.org/

P。 D.Magnus，Tim Button和J.Robert Loftis的补充内容由Aaron Thomas-Bolduc，Richard Zach，forallx Calgary Remix混音和修订，2018年冬季。http://forallx.openlogicproject.org/

相关问题
最新问题