Матлогика

[Педусаар]

Всем привет !
Задание в прикрепленном изображении доказать в исчислении высказываний.
Подскажите с чего начать. Перелопатил кучу литературы.

[tig81]

Прочитать определения логических операция и для левой и правой частей равенства построить таблицу истинности.

[Nikgamer]

Всем привет !
Задание в прикрепленном изображении доказать в исчислении высказываний.
Подскажите с чего начать. Перелопатил кучу литературы.

вам как доказать надо? в секвенциональном исчислении высказываний?

[Педусаар]

Да, с помощью секвенций

[Nikgamer]

Непростая задачка. Прямо так в упор только в правую сторону более менее поглядывается решение. А до какого момента сами дошли?

[Педусаар]

Я вообще не понял как такие делать методом секвенций.
В алгебре высказываний легко доказал.

[Nikgamer]

Ну в смысле как. Есть набор правил, штук 15 вроде и аксиома равенства. Честно, я не знаю где подробно могут быть разобраны решения, такое обычно объясняется вербально преподавателем.
Ну попробую начать. Вы знаете как строится док-во в СИВ? Ну там фразу дерево вывода слыхали? Оно так строится. В корне стоит секвенция, которую нужно доказать, а в листах либо доказуемые секвенции, либо аксиомы. Насчет правил - они описаны в книжке Лавров Максимова в параграфе про ИВ (3-й кажется). там же есть всякие помогающие штуки, типа правила контрапозиции, сечения, посылок и т.д., которые не являются как бы правилами, но которые легко доказать и все ими короче пользуются.