Как доказать выводимость формул в исчислении высказываний?

Question

[Руслан Пикулин]

Answer 1

[Mercury13]

Любая тождественно истинная формула выводима. Любая выводимая формула тождественно истинна.
Первый курс университета.
Так что — либо вывести из десятка аксиом, либо доказать тождественную истинность.

Comments

[Руслан Пикулин]

В формуле есть дизьюнкции и нет скобок перед тождеством. Может быть это ошибка?

[Mercury13]

Обычно тождество имеет приоритет меньший, чем всё остальное.