Какая формула называется выполнимой ?
Варианты ответов
- Формула должна быть ложна для некоторой области М и некоторых предикатов, определенных на этой области.
- Формула должна быть истинна для некоторой области М и некоторых предикатов, определенных на этой области.
- Формула должна быть истинна для некоторой области допустимых значений М.
- Формула должна быть истинна для любых предикатов, определенных на области М.
Правильный ответ
Закрой сессию без стресса!
Студенты, которые обращаются за помощью вовремя, сдают сессию спокойно и без проблем. C нашей помощью ты закроешь все курсовые и сдашь сессию вовремя. Начни уже сегодня!