(Специальные разделы высшей математики. Часть 2)
Какая формула называется выполнимой ?
Выберите один ответ:
a. Формула должна быть ложна для некоторой области М и некоторых предикатов, определенных на этой области.
b. Формула должна быть истинна для любых предикатов, определенных на области М.
c. Формула должна быть истинна для некоторой области допустимых значений М.
d. Формула должна быть истинна для некоторой области М и некоторых предикатов, определенных на этой области.