Содержание
- 2. В качестве особой науки формальная логика (от греч. logos – слово, понятие, рассуждение, разум) существует около
- 3. Для гуманитарной сферы знаний особый интерес представляет раздел логики, предметом которого являются логические схемы (логической формы)
- 4. Под рассуждением понимается связный, последовательный, непротиворечивый переход от одних мыслей к другим при рассмотрении некоторого предмета.
- 5. Фундаментальный и наиболее простой раздел двухзначной логики – логика высказываний. Он получил название от своей коренной
- 6. Вопросы, просьбы, молитвы, приказы, восклицания не являются высказываниями. Например, о вопросе «Существовала ли Атлантида?» можно сказать,
- 7. Логика высказываний, как и любой другой раздел формальной логики, имеет дело не столько с самими высказываниями,
- 8. 2) ¬, ∧, ∨, →, ↔ - символы для обозначения логических союзов, связывающих переменные (в естественном
- 9. На предметном уровне логические схемы построения высказываний (как и сами высказывания) делятся на простые и сложные.
- 10. Каждая из схем состоит из логических переменных и логических постоянных. Последние называются логическими союзами. Важнейшие из
- 11. Отрицанием p называется схема, обычно обозначаемая выражением ¬p (читается: «не-p», «неверно, что p»), которая принимает значение
- 12. Конъюнкция p и q – логическая схема, обычно обозначаемая выражением p∧q, которая принимает значение «истинно», если
- 13. Дизъюнкция слабая p и q – логическая схема, обычно обозначаемая выражением p∨q, которая принимает значение «истинно»,
- 14. Дизъюнкциия сильная p и q - логическая схема, обычно обозначаемая выражением p∨q, которая принимает значение «истинно»,
- 15. Импликация p и q – логическая схема, обычно обозначаемая выражением p→q, которая принимает значение «ложно», если
- 16. Эквиваленция p и q – логическая схема, обычно обозначаемая выражением p↔q, которая принимает значение «истинно», если
- 18. Скачать презентацию