|
DdK |
|
|
|
Докажите, что любoй вывод формулы ((а->b)->a)->a содeржит аксиому из третей схемы аксиом.
(-B -> -A) -> (( -B -> A) -> B) (АЗ)
Вопрос состоит в том что пример вывода этой формулы есть, но как доказать что любой вывод содержит аксиомы схемы (А3)
|
|
|
|
 |
|
arseniiv |
|
|
|
1. Попробуйте доказать от противного.
2. Оформите формулы правильно. Где об этом прочитать, вы найти сможете. Хотя бы слева от поля ввода сообщения.
|
|
|
|
|
|
DdK |
|
|
|
Нашёл доказательство через шкалу Крипке, но не могу понять каким образом вычисляется истинность функций в каждом из миров.
PS оформлять А3 уже не имеет смысла, фактически формула там не используется
|
|
|
|
|
