Теоремой исчисления высказываний является:

Теоремой исчисления высказываний является:

Теоремой исчисления высказываний является:

Аксиомой исчисления высказываний является:

Аксиомой исчисления высказываний является:

Аксиомой исчисления высказываний является:

Аксиомой исчисления высказываний является:

Аксиомой исчисления высказываний является:

Аксиомой исчисления высказываний является:

Вариант исчисления высказываний - исчисление:

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