Функция, действующая из некоторого множества значений переменных программы в множество из двух значений {T, F} ( Да и Нет) - это:
(Ответ считается верным, если отмечены все правильные варианты ответов.)
Варианты ответа
предикат (Верный ответ)
предложение
определение
высказывание(Верный ответ)