Две формулы логики предикатов А и В называются _ на области М, если они принимают одинаковые логические значения при всех значениях

Question

В математических и других рассуждениях встречаются повествовательные предложения, образованные путем видоизменения некоторого предложения с помощью слова «не» или путем связывания предложений с помощью слов «и», «или», «если..., то» (или «влечет»), «тогда и только тогда», «когда». Эти пять слов или комбинаций слов называются
 (*ответ*) сентенциональными связками
В теореме «Если число x делится на 12, то оно делится на 3» предикат «x делится на 12» является
 (*ответ*) достаточным условием
 необходимым условием
 следствием
 заключением
В теореме «Если число x делится на 12, то оно делится на 3» предикат «x делится на 3» является
 (*ответ*) необходимым условием
 достаточным условием
 заключением
 следствием
Вводя в предикате переменную, замещающую нужный предмет (например, «х есть действительное число»), мы получаем
 (*ответ*) высказывательную функцию
 терм
 постоянную
 высказывание
Впервые аксиоматическое построение математической теории было предпринято _ в построении геометрии
 (*ответ*) Евклидом
 Аристотелем
 Платоном
 Гераклитом
Впервые в истории идеи о построении логики на математической основе были высказаны
 (*ответ*) Лейбницем
 Ньютоном
 Эйлером
 Гауссом
Вхождение переменной в формулу называется _, если оно находится в области действия квантора, использующего эту переменную, или же оно является вхождением в этот квантор
 (*ответ*) связанным
 свободным
 случайным
 необходимым
Выражение xÙ (yx) тождественно равно
 (*ответ*) х
 0
 -1
 1
Выражение xÙ0 тождественно равно
 (*ответ*) 0
 1
 х
 -1
Выражение x0 тождественно равно
 (*ответ*) х
 1
 0
 -1
Выражение x1 тождественно равно
 (*ответ*) 1
 0
 х
 -1
Высказывание есть формула, в которой нет _переменных
 (*ответ*) свободных
 связанных
 случайных
 неопределенных
Две формулы логики предикатов А и В называются _ на области М, если они принимают одинаковые логические значения при всех значениях входящих в них переменных, отнесенных к области М
 (*ответ*) равносильными
Двухместными предикатами являются предикаты
 (*ответ*) «х равно у »
 (*ответ*) « х делится на у »
 (*ответ*) «прямые х и у параллельны»
 «х больше 5»
 «геометрическая фигура х есть квадрат»

Answer 1

Правильные вопросы выделены по тесту
тест уже прошел свою проверку