Интуиционистское исчисление высказываний получается:
(Отметьте один правильный вариант ответа.)
Варианты ответа
исключением аксиомы МР
включением аксиомы "исключенного третьего"
исключением аксиомы "исключенного третьего"(Верный ответ)
