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