如何使用Z-表示法证明(p^q)^(q -> r )<-> r？

Question

我正在尝试使用Z符号来证明逻辑表达式。但是，我是Z语言的新手。请帮我证明上面的逻辑表达式。

Answer 1

让我们使用Z表示法语言来实现这一点，Z表示法是用于形式指定的语言。

第一步：引入联合

(p ∧ q) ∧ ( q⇒r)  [ ∧ - elim2]   

第二步：我们将有：

q ⇒ r  

第三步：我们想要得到q是真的：

p ∧ q     [ ∧ - elim2]
------
q

第4步：使用q并且q＝>我们可以说r是真的。

欲了解更多信息，请参阅本书"；使用Z"；。