Укажите условное обозначение общезначимой формулы:
(Отметьте один правильный вариант ответа.)
Варианты ответа
A |- B
A |= B
|= F(Верный ответ)
Логическое программирование
Похожие вопросы
Укажите условное обозначение утверждения, что формула B следует из формулы A:
Укажите обозначение логической связки отрицания:
Укажите обозначение логической связки конъюнкции:
Укажите обозначение логической связки дизъюнкции:
Формула F называется общезначимой, если:
Формулы произвольной формальной системы - это ...
Формула B следует из формулы A, если:
Укажите верное утверждение:
Укажите теорему Чёрча:
Укажите логические языки программирования: