Формула b есть тождественно истинная формула алгебры высказываний. Будет ли b выводима из аксиом как формула исчисления высказываний?

а) b выводима;

б) b невыводима;

в) может быть и тот, и другой вариант.

Можно ли какую-либо аксиому исчисления высказываний вывести из остальных аксиом?

а) некоторую аксиому можно, некоторую нельзя;

б) все можно;

в) все нельзя.