Содержание
- 2. Математические предложения
- 3. Введение Понятие высказывания Виды высказываний Понятие высказывательной формы Высказывания с кванторами Операции над высказываниями Операции над
- 4. Понятие высказывания Высказывание (А,В,…) – предложение, относительно которого имеет смысл вопрос: истинно оно или ложно. «Истина»
- 5. Виды высказываний Предложения, образованные из других предложений с помощью логических связок, называют составными. Предложения, не являющиеся
- 6. «Если углы вертикальные, то они равны». Из каких элементарных предложений образованно составное предложение? С помощью каких
- 7. Понятие высказывательной формы (предиката) Высказывательная форма (А(х), А(х;у), …) – предложение с переменной, которое обращается в
- 8. Множество, из которого выбираются значения переменной (переменных), входящей в высказывательную форму, называется областью определения высказывательной формы
- 9. Высказывания с кванторами Выражение «для всякого х » в логике называется квантором общности по переменной х
- 11. Операции над высказываниями Конъюнкция Дизъюнкция Отрицание
- 12. Конъюнкция Конъюнкцией высказываний А и В называется высказывание вида («А и В»), которое истинно, когда оба
- 13. Дизъюнкция Дизъюнкцией высказываний А и В называется высказывание вида («А или В»), которое истинно, когда истинно
- 14. Отрицание Отрицанием высказывания А называется высказывание, истинное тогда и только тогда, когда А ложно, и ложное,
- 15. Операции над высказывательными формами Конъюнкция Дизъюнкция Отрицание
- 16. Конъюнкция Конъюнкцию высказывательных форм А(х) и В(Х), заданных на множестве Х, обозначают . Это предложение будет
- 17. Дизъюнкция Дизъюнкцию высказывательных форм А(х) и В(Х), заданных на множестве Х, обозначают . Это предложение будет
- 18. Отрицание Множество истинности отрицания предиката А(х), заданного на множестве Х, есть дополнение к множеству истинности предиката
- 20. Скачать презентацию