Помогите доказать в исчислении высказываний (мат.логика)

[kessy]

Добрый день.
Помогите, пожалуйста, доказать в исчислении высказываний:
((A->C)->(B->C)) ≡ (A V(¬B VC))

спасибо..

[creative]

Можно доказать составив таблицу истинности для левой и правой части выражения и сравнив значения $T$ и $F$ в каждой строчке.

А можно привести левую и правую часть к совершенной конъюнктивной или дизъюнктивной нормальной форме путем преобразования по уже данным тавтологиям. И далее получить одинаковые выражения справа и слева.

[Toucan]

Тема перемещена в Карантин.

Чтобы оттуда выбраться

1. Запишите формулы в соответствии с требованиями Правил форума, т.е. в $\TeX$.
Краткие инструкции можно найти здесь: topic8355.html и topic183.html.

2. Приведите свои попытки решения задачи и объясните, что конкретно вызывает затруднения. Если совсем не знаете с чего начать, приведите используемую систему аксиом исчисления высказываний (они бывают разные).

После того как исправите сообщение, сообщите об этом в теме Сообщение в карантине исправлено.