Содержание
- 2. 1. ОПРЕДЕЛЕНИЕ ФОРМУЛЫ ИСЧИСЛЕНИЯ ВЫСКАЗЫВАНИЙ Математическая логика стремится к возможно большей точности. Эта цель достигается с
- 3. 1. ОПРЕДЕЛЕНИЕ ФОРМУЛЫ ИСЧИСЛЕНИЯ ВЫСКАЗЫВАНИЙ Будем полагать, что высказывания удовлетворяют закону исключенного третьего и закону непротиворечия,
- 4. 1. ОПРЕДЕЛЕНИЕ ФОРМУЛЫ ИСЧИСЛЕНИЯ ВЫСКАЗЫВАНИЙ С помощью констант (связок) атомарные высказывания соединяются в более сложные высказывания.
- 5. 1. ОПРЕДЕЛЕНИЕ ФОРМУЛЫ ИСЧИСЛЕНИЯ ВЫСКАЗЫВАНИЙ Переменные и сложные высказывания, образованные из них посредствам многократного применения логических
- 6. 1. ОПРЕДЕЛЕНИЕ ФОРМУЛЫ ИСЧИСЛЕНИЯ ВЫСКАЗЫВАНИЙ Для того, чтобы избежать слишком, большое количество скобок принимаются следующее соглашение:
- 7. 2. АЛГЕБРА ВЫСКАЗЫВАНИЙ Любая формула алгебры высказываний рассматривается как сложное высказывание, принимающее значение 0,1. В алгебре
- 8. 2. АЛГЕБРА ВЫСКАЗЫВАНИЙ 3. Для произвольной формулы сначала задаются все комбинации истинностных значений переменных. Затем для
- 9. 2. АЛГЕБРА ВЫСКАЗЫВАНИЙ Так, пользуясь указанным алгоритмом можно легко вычислить истинностное значение формулы: ((p→q)∧(q→r))→(p→r)
- 10. 2. АЛГЕБРА ВЫСКАЗЫВАНИЙ Каждой формуле исчисления высказываний соответствует определенная функция, аргументы которой принимают значение из множества
- 11. 2. АЛГЕБРА ВЫСКАЗЫВАНИЙ Это проблема полностью решается посредствам вычисления значения функции, представленной данной формулой, с помощью
- 12. 2. АЛГЕБРА ВЫСКАЗЫВАНИЙ Аналогичным образом убеждаемся, что функция р∧p тоже выражается логический закон: закон непротиворечия:
- 13. 3. ЗАКОНЫ ЛОГИКИ С помощью таблиц истинности можно убедится, что нижеприведенные функции выражают логические законы. Запишем
- 14. 3. ЗАКОНЫ ЛОГИКИ Закон идемпотентности: для конъюнкции: р∧р ≡ р (3) для дизъюнкции: р∨ р ≡
- 15. 3. ЗАКОНЫ ЛОГИКИ Закон поглощения: для конъюнкции дизъюнкций: р∧( q ∨р) ≡ p (7) для дизъюнкции
- 16. Вопросы Перечислите 8 этапов подготовки и решения задач на ЭВМ Чему следует уделять первостепенное внимание при
- 18. Скачать презентацию