Теоремой исчисления высказываний является:
Теоремой исчисления высказываний является:
Аксиомой исчисления высказываний является:
Аксиомой исчисления высказываний является:
Аксиомой исчисления высказываний является:
Аксиомой исчисления высказываний является:
Аксиомой исчисления высказываний является:
Аксиомой исчисления высказываний является:
Вариант исчисления высказываний - исчисление:
Для любых формул исчисления высказывания А В, С выводима формула: