Для сигнатуры аксиомой равенства будет:

Для сигнатуры аксиомой равенства будет:

Для сигнатуры аксиомой равенства будет:

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

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

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

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

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

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

Формула, истинная в любой интерпретации сигнатуры называется:

Если в тавтологию вместо пропозициональных переменных подставить формулы сигнатуры, получим: