Помогите с задачей по мат. логике

[chrisnov]

Доказать в теории L4 теорему B->]]B

[Xaositect]

L4 - это какая-то модальная логика? Напишите, пожалуйста, ее аксиомы и правила вывода, потому что гугл по запроосу "L4 modal logic" выдает что-то нерелевантное.
Формулы на форуме нужно записывать в TeX. $A \to B$, $\square A$ и $\lozenge B$ записываются как $A\to B$, $\square A$ и $\lozenge B$ соответственно.

[chrisnov]

правило модус поненс
а аксиомы в картинке, как отправить?

-- 13.06.2013, 13:51 --

http://www.ict.edu.ru/ft/002292/math_logic.pdf
аксиомы здесь, стр. 28

[Deggial]

Тема перемещена из форума «Математика (общие вопросы)» в форум «Карантин»
Причина переноса: формулы не оформлены $\TeX$ом, не приведены попытки решения

chrisnov, приведите попытки решения, укажите конкретные затруднения.
Желательно указать систему аксиом, поскольку наименование теории $L_4$ не распространненое и непонятно, что имеется виду. В приведенной ссылке также неясно, где там находится $L_4$.
Наберите формулы $\TeX$ом. Инструкции по оформлению формул здесь или здесь (или в этом видеоролике).
Логические символы набираются так:

$\vdash, \neg, \to$

: $\vdash, \neg, \to$
После исправлений сообщите в теме Сообщение в карантине исправлено, и тогда тема будет возвращена.