Для произвольных формул А, В:
Для произвольных формул А, В:
Если А и В - некоторые конечные множества формул, то секвенция обозначается:
Вопрос о выводимости произвольных формул языка первого порядка:
Если Г - множество формул, то тогда:
Верно правило для некоторых конечных множеств формул А, В, С, Д:
Верно правило для некоторых конечных множеств формул А, В, С, Д:
Для любых формул исчисления высказывания А В, С выводима формула:
Верно правило для некоторых конечных множеств формул А, В, С, Д:
Истинность бескванторных формул из D(A) от присутствия дополнительных элементов: