а) b выводима;
б) b невыводима;
в) может быть и тот, и другой вариант.
Можно ли какую-либо аксиому исчисления высказываний вывести из остальных аксиом?
а) некоторую аксиому можно, некоторую нельзя;
б) все можно;
в) все нельзя.
|
а) b выводима;
б) b невыводима;
в) может быть и тот, и другой вариант.
Можно ли какую-либо аксиому исчисления высказываний вывести из остальных аксиом?
а) некоторую аксиому можно, некоторую нельзя;
б) все можно;
в) все нельзя.
Понравилась статья? Добавь ее в закладку (CTRL+D) и не забудь поделиться с друзьями:
|
Это важно знать: Типовые технологические процессы обработки валов Несмотря на большое разнообразие размеров и конструктивных форм, валы подвергаются одинаковым процессам обработки... |