Помогите доказать теорему в логике L

Use truth tables, Luke!

Было бы разрешено - не было бы треда. Только логика L, только хардкор (т.е., доказывать только через стандартные 3 аксиомы, теорему дедукции и ее следствия, также можно использовать 10 классических теорем).

Роман может зря ты пошел учиться в КПИ, если здесь решаешь теоремы с аксиомами. И уже не первый раз
Сам тоже в математике не силен

Что за факультет? )

Не нужно уже, осилил таки.

ФИОТ

Не?

Я и сам их знаю. Нельзя, ибо логика L.

Она даже слабо нагугливается

Значит вдоль не за горами.

В первый.

Удали хоть тему чтобы не позориться.

Список в студию/

Ну я просто подумал что она мне известна под другим названием

Я к тому, что занятия с неклассическими логиками (да и классической тоже) ведут к особому состоянию рассудка :)

Без логики проще жить? )

Эту теорему нам доказывал (именно доказывал) преподаватель ХНУРЭ на первой лекции по высшей математике в далёком 1997 году.

Что такое «логика L» и зачем оно надо?

Есть много програмок по доказательству теорем вроде E http://www4.informatik.tu-muenchen.de/~schulz/E/E.html, но они в нагрузку еще обычно используют более сложные правила с целью оптимизации. Для простого набора правил и простой формулы думаю можно самому попробовать написать, думаю строк 100 кода получится.

Тоже хотелось бы узнать.

http://ru.wikipedia.org/wiki/Законы_де_Моргана

Помогите доказать теорему в логике L (комментарий)