Задача по Исчислению Высказываний

[DdK]

Докажите, что любoй вывод формулы ((а->b)->a)->a содeржит аксиому из третей схемы аксиом.

(-B -> -A) -> (( -B -> A) -> B) (АЗ)

Вопрос состоит в том что пример вывода этой формулы есть, но как доказать что любой вывод содержит аксиомы схемы (А3)

[arseniiv]

1. Попробуйте доказать от противного.
2. Оформите формулы правильно. Где об этом прочитать, вы найти сможете. Хотя бы слева от поля ввода сообщения.

[DdK]

Нашёл доказательство через шкалу Крипке, но не могу понять каким образом вычисляется истинность функций в каждом из миров.

PS оформлять А3 уже не имеет смысла, фактически формула там не используется