Содержание
- 2. Логическое следование формул Из формулы P логически следует формула D (P├─ D), если для любого набора
- 3. Задача №1 «Если в параллелограмме диагонали взаимно перпендикулярны, то параллелограмм – ромб. В данном параллелограмме диагонали
- 4. Шаг 1 Формализация логического рассуждения Необходимо определить количество логических переменных, позволяющих формализовать (записать в виде формулы)
- 5. Р1 - «Если в параллелограмме диагонали взаимно перпендикулярны, то параллелограмм – ромб» Р2 – «В данном
- 6. Шаг 3 Проверка правильности по определению Составляем конъюнкцию формализованных посылок: Проверим по таблице истинности: Так как
- 7. Задача №2 «Если цены высоки, то и зарплата высока. Цены высоки или применяется регулирование цен. Если
- 9. Скачать презентацию