выводимые формулы

[dr.Know]

Для формулы посылки H=(A~B) получить все выводимые формулы.

[arseniiv]

$\sim$ означает эквивалентность или что-то другое?

В чём конкретные проблемы?

[dr.Know]

Да, это эквивалентность. Я знаю только как проверить выводима ли формула, а как вывести все формулы нет.

[arseniiv]

По теореме о дедукции, $A \vdash B$ тогда и только тогда, когда $\vdash (A \to B)$. Кажется, это должно помочь. Ведь есть ещё одна теорема о связи выводимости и [тождественной] истинности…