Формулу A называют _ формулой, если она принимает значение «истина» хотя бы на одном наборе значений входящих в нее переменных

Question

Проблема _ заключается в доказательстве существования алгоритма, который позволил бы для любой заданной формулы исчисления высказываний определить, является ли она доказуемой или не является.
 (*ответ*) разрешимости исчисления высказываний
 непротиворечивости
 полноты
 независимости
Процесс получения доказуемых формул называется _.
 (*ответ*) доказательством
 подтверждением
 убеждением
 согласованностью
Символы p, q, r, ... – _, принимающие два значения: 1 – истина, 0 – ложь.
 (*ответ*) переменные высказывания
 предметные переменные
 одноместные предикатные переменные
 символы постоянных предикатов
То, что утверждается о субъекте, - это _.
 (*ответ*) предикат
 заключение
 высказывание
 объект
Формула xyyx означает _.
 (*ответ*) коммутативность дизъюнкции
 ассоциативность дизъюнкции
 ассоциативность конъюнкции
 коммутативность конъюнкции
Формула А называется _, если она принимает значение 1 при всех значениях входящих в нее переменных.
 (*ответ*) тождественно истинной
 тождественно ложной формулой
 равносильной формул алгебры логики
 формулой алгебры логики
Формула А называется _, если она принимает значение 0 при всех значениях входящих в нее переменных.
 (*ответ*) тождественно ложной формулой
 равносильной формул алгебры логики
 формулой алгебры логики
 тождественно истинной
Формула х&уу&х означает _.
 (*ответ*) коммутативность конъюнкции
 коммутативность дизъюнкции
 ассоциативность дизъюнкции
 ассоциативность конъюнкции
Формула х(уz)  (xy) z означает _.
 (*ответ*) ассоциативность дизъюнкции
 ассоциативность конъюнкции
 коммутативность конъюнкции
 коммутативность дизъюнкции
Формула _ является функцией трех переменных f(х,у,z).
 (*ответ*) (х&у)z
 x*(у*z) = (х*у)*z
 х(уz)  (xy) z
 x (у&z)  (ху) & (xz)
Формула, получаемая из аксиом с помощью правил вывода – это _.
 (*ответ*) доказуемая формула
 недоказуемая формула
 формула исчисления высказываний
 формула алгебры логики
Формулой x&(у&z)  (x&у)&z обозначается _.
 (*ответ*) ассоциативность конъюнкции
 ассоциативность дизъюнкции
 коммутативность конъюнкции
 коммутативность дизъюнкции
Формулу A называют _ формулой, если она принимает значение «истина» хотя бы на одном наборе значений входящих в нее переменных и не является тождественно истинной
 (*ответ*) выполнимой
 невыполнимой
 постоянной
 равнозначной
Формулы х + у = у + х, x*у = у*х – это _.
 (*ответ*) коммутативные законы сложения и умножения
 ассоциативные законы
 закон идемпотентности
 законы поглощения

Answer 1

Правильные ответы к тесту выделены
Тест  прошел проверку
ставим +1 к ответу)