Условие:
1. Если объект болен куриным гриппом и является его источником, то он – птица. 2. Курица и птица – это не одно и то же. Теорема: Если объект болен куриным гриппом и является курицей, то объект – источник куриного гриппа.
Решение:
Для решения задачи методом резолюций, сначала преобразуем данные утверждения и теорему в логическую форму.
- Первое утверждение: "Если объект болен куриным гриппом и является его источником, то он – птица."
Это можно записать как:
B ∧ S → P
где B - объект болен куриным гриппом, S - объект является источником, P - объект является птицей.
В логической форме это будет:
¬(B ∧ S) ∨ P
или
¬B ∨ ¬S ∨ P
- Второе утверждение: "Курица и птица – это не одно и то же."
Эт...
Внутри — полный разбор, аргументация, алгоритм решения, частые ошибки и как отвечать на каверзные вопросы препода, если спросит
Попробуй решить по шагам
Попробуй один шаг и продолжи в режиме обучения или посмотри готовое решение
Что нужно знать по теме:
Что нужно знать по теме
Алгоритм решения
Топ 3 ошибок
Что спросит препод
Похожие задачи