Содержание
- 2. 1. Конъюнкция Обозначение: &, ∧ (на выбор) Выражение в естественном языке: и, а, но... Условия истинности:
- 3. 2. Нестрогая дизъюнкция Обозначение: ∨ Выражение в естественном языке: или... Условия истинности: нестрогая дизъюнкция двух высказываний
- 4. 3. Строгая дизъюнкция Обозначение: Выражение в естественном языке: либо, … либо …. Условия истинности: строгая дизъюнкция
- 5. 4. Импликация Обозначение: → Выражение в естественном языке: если … то, следовательно, значит Условия истинности: импликация
- 6. 5. Эквиваленция Обозначение: ↔ Выражение в естественном языке: если и только если Условия истинности: эквиваленция двух
- 7. 6. Отрицание Обозначение: ¬ Выражение в естественном языке: неверно, что Условия истинности: отрицание высказывания истинно если
- 8. ТАБЛИЦ ИСТИННОСТИ
- 9. ТАБЛИЦ ИСТИННОСТИ Таблица истинности — соответствие всех возможных наборов истинностных значений простых суждений истинностным значениям сложного
- 10. Виды сложных суждений (по таблицам истинности) ТАВТОЛОГИЯ (логический закон) — суждение, истинное при любом наборе истинностных
- 11. Пример № 1: Формализовать и проверить правильность рассуждения Если формула ошибочна, то результаты эксперимента не совпадут
- 12. А В ((А →¬ В)∧¬ А)→ В И И Л Л И Л И Л И
- 13. Пример № 2: Формализовать и проверить правильность рассуждения Чарльз Доджсон может быть известен вам как математик
- 14. А В ((А ∨ В)∧¬ А)→ В И И Л Л И Л И Л И
- 15. Таблицы истинности ТЕКСТ: «Нация стремится к войне или коммерции тогда и только тогда, когда потребности нации
- 17. Скачать презентацию