Я пытаюсь доказать логические выражения, используя Z-нотацию. Но я новичок в языке Z. Помогите, пожалуйста, доказать приведенное выше логическое выражение.
Как доказать (p^q) ^ (q -> r) ‹-> r, используя Z-нотацию?
Ответы (1)
Давайте сделаем это, используя язык нотации Z, который используется в качестве языка формальной спецификации.
1-й шаг: введение союза
(p ∧ q) ∧ ( q⇒r) [ ∧ - elim2]
2-й шаг: у нас будет:
q ⇒ r
3-й шаг: мы хотим, чтобы q было истинным:
p ∧ q [ ∧ - elim2]
------
q
4-й шаг: Используя q и q=›r, мы можем сказать, что r истинно.
Для получения дополнительной информации обратитесь к этой книге с использованием Z.
person
Dhanushka Sandaruwan
schedule
17.07.2020
Спасибо за ответ, будет очень понятно, если будет дерево шагов доказательства.
- person Sajith Madusanka; 17.07.2020