Добавил:
Upload
Опубликованный материал нарушает ваши авторские права? Сообщите нам.
Вуз:
Предмет:
Файл:МАТ_ ЛОГИКА / Математическая логика_Лекция 8.ppt
X
- •МАТЕМАТИЧЕСКАЯ ЛОГИКА
- •Виды формул логики предикатов
- •Виды формул логики предикатов
- •Виды формул логики предикатов
- •Основные законы логики предикатов
- •Основные законы логики предикатов
- •Истинность логически общезначимых формул
- •Законы де Моргана (55), (56)
- •Отрицания в исчислении предикатов
- •Интерпретации некоторых логически общезначимых формул
- •Проверка логической общезначимости формул логики предикатов
- •Проверка логической общезначимости формул логики предикатов
- •Проверка логической общезначимости формул логики предикатов
- •Проверка логической общезначимости формул логики предикатов
- •Проверка логической противоречивости формул логики предикатов
- •Логическое следование в логике предикатов
- •Логическое следование в логике предикатов
- •Доказательство логических следований
- •Запишем следование в виде (П1) (П2) G :
- •Доказательство логических следований
- •Схемы суждений
- •Доказательство логических следований
- •Доказательство логических следований Непосредственные умозаключения
- •Непосредственные умозаключения по логическому квадрату
- •Непосредственные умозаключения по логическому квадрату
- •Примеры формализации суждений
- •Спасибо за внимание!!!
- •Правила построения умозаключений по логическому квадрату: из истинности общего суждения следует истинность частного,
- •А: «Все местоимения - сказуемые» (л), но О: «Некоторые местоимения не являются сказуемыми»
- •Суждение «Ни один воспитанный человек не совершает аморальных поступков» является общеотрицательным суждением (Е).
Суждение «Ни один воспитанный человек не совершает аморальных поступков» является общеотрицательным суждением (Е).
«Все воспитанные люди совершают аморальные поступки (А)». Это суждение ложное, значит, истинно исходное Е А (отношение противоположности).
Соответствующее частноотрицательное суждение О: «Некоторые воспитанные люди не совершают аморальных поступков» - истинное, значит, исходное тоже истинное Е → О (отношение подчинения).
Соседние файлы в папке МАТ_ ЛОГИКА