Интуиционистское исчисление высказываний получается:
Аксиомой исчисления высказываний является:
Аксиомой исчисления высказываний является:
Аксиомой исчисления высказываний является:
Теоремой исчисления высказываний является:
Аксиомой исчисления высказываний является:
Аксиомой исчисления высказываний является:
Теоремой исчисления высказываний является:
Аксиомой исчисления высказываний является:
Теоремой исчисления высказываний является: