Языки и исчисления

Секвенция, в обеих частях которой встречаются только переменные, причем хоть одна из них встречается в обеих частях - это:

(Отметьте один правильный вариант ответа.)

Варианты ответа

доказательство

аксиома(Верный ответ)

вывод

Похожие вопросы

Секвенция выводима тогда и только тогда, когда она:

Если секвенция выводима в исчислении секвенций, то представляющая ее формула в исчислении высказываний:

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

Предикат "двоичное слово x состоит только из нулей":

Теория сигнатуры с равенством имеет нормальную модель тогда и только тогда, когда:

Утверждение $\forall x\forall y\exists z\forall u\exists vA(x,y,z,u,v)$ выполнимо только тогда, когда выполнимо:

Итерации A и B элементарно эквивалентны тогда и только тогда, когда в соответствующей игре Эренфойхта:

Формулы A и B эквивалентны тогда и только тогда, когда тавтологией является формула:

Интерпретация М теории Г, в которой все формулы из Г истинны в М - это: