Значение любого константного предиката находится с помощью:
(Ответ считается верным, если отмечены все правильные варианты ответов.)
Варианты ответа
дерева вывода для него(Верный ответ)
таблицы истинности(Верный ответ)
таблицы ложности