Истинность бескванторных формул из D(A) от присутствия дополнительных элементов:

Множество истинных бескванторных формул сигнатуры с равенством и константами для всех элементов интерпретации - это:

Если А и В - некоторые конечные множества формул, то секвенция обозначается:

Если Г - множество формул, то тогда:

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

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

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

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

Если Г - множество формул, то:

Если Г - множество формул, то:

Для произвольных формул А, В: