Главная /
Логическое программирование /
Если для формул A и B, в любой интерпретации, для которой истинно A, оказывается истинным и B, то:
Если для формул A и B, в любой интерпретации, для которой истинно A, оказывается истинным и B, то:
вопрос
Правильный ответ:
формула
А следует из формулы В
формула
B следует из формулы A
формулы
A и B противоречивы Сложность вопроса
24
Сложность курса: Логическое программирование
29
Оценить вопрос
Комментарии:
Аноним
Гранд мерси за решебник по интуиту.
24 июл 2019
Аноним
Я помощник профессора! Незамедлительно уничтожьте ответы intuit. Я буду жаловаться!
30 май 2018
Другие ответы на вопросы из темы программирование интуит.