如何使用 Z- 符号证明 (p^q) ^ ( q -> r ) <-> r？
How to prove (p^q) ^ ( q -> r ) <-> r using Z- notation?
我正在尝试使用 Z 符号来证明逻辑表达式。但是，我是 Z 语言的新手。请帮我证明上面的逻辑表达式。
让我们使用 Z 表示法语言来完成它，它被用作正式规范的语言。
第一步：连词介绍
(p ∧ q) ∧ ( q⇒r) [ ∧ - elim2]
第二步：我们将有：
q ⇒ r
第三步：我们希望得到 q 为真：
p ∧ q [ ∧ - elim2]
------
q
第 4 步：使用 q 和 q=>r 我们可以说 r 为真。
更多信息请参考this book“使用Z”。
我正在尝试使用 Z 符号来证明逻辑表达式。但是，我是 Z 语言的新手。请帮我证明上面的逻辑表达式。
让我们使用 Z 表示法语言来完成它，它被用作正式规范的语言。
第一步：连词介绍
(p ∧ q) ∧ ( q⇒r) [ ∧ - elim2]
第二步：我们将有：
q ⇒ r
第三步：我们希望得到 q 为真：
p ∧ q [ ∧ - elim2]
------
q
第 4 步：使用 q 和 q=>r 我们可以说 r 为真。
更多信息请参考this book“使用Z”。