规则替换的等价物
逻辑
反馈
谢谢你的反馈
我们的编辑器将检查你提交并决定是否修改这篇文章。
外部网站
了解这个话题在这些文章中:
操纵LPC的公式
-
在正式的逻辑:在LPC的逻辑操作
因为类似的替换规则可以显示在LPC,由此可见,(∃x)可能被替换在wff∼(∀x)∼或(∀x)由∼(∃x)∼,结果wff将相当于原来的。同样的,因为法律的双…
阅读更多
格式良好的公式的有效性
-
在形式逻辑:有效性在电脑
…更重要的原则是法治替换的等价物。两个wffs,α和β,据说等价物当α≡β是有效的。(wffsα和β等价物当且仅当他们有相同的真值表)。按照这样的规则,如果任何部分的…
阅读更多