implication

如何使用 Fitch 系统证明 ((p ⇒ q) ⇒ p) ⇒ p

仅供参考我使用的逻辑程序无法进行矛盾引入这一点很可能是无关紧要的因为我非常怀疑我是否需要使用任何形式的矛盾来证明这一点在尝试解决这个问题时我首先假设 p q p 它是否正确如果是这样接下来怎么办如果解决方案看起来如此明显请

Logic implication fitchproofs
Isabelle/HOL 中的对象级含义

我发现 Isabelle HOL 中的许多定理更喜欢元级蕴涵 gt 代替 gt 对象逻辑级别即高阶逻辑含义伊莎贝尔维基说粗略地说应该使用元级别含义将规则语句中的假设与结论分开除此之外关于对象和元级别含义的使用我应该了解什么我发现

isabelle implication

如何使用 Fitch 系统证明 ((p ⇒ q) ⇒ p) ⇒ p