Скачать презентацию 4 2 Основные схемы логически правильных рассуждений Наряду Скачать презентацию 4 2 Основные схемы логически правильных рассуждений Наряду

Тема 4-2 - Логика Высказываний.pptx

  • Количество слайдов: 8

4. 2. Основные схемы логически правильных рассуждений. Наряду с алфавитом и правилами построение логических 4. 2. Основные схемы логически правильных рассуждений. Наряду с алфавитом и правилами построение логических формул, язык логики высказываний содержит правила преобразования логических формул. В алгебре логики – это эквивалентные соотношения, а так же правило подстановки и правило замены; в исчислении высказываний – это общелогические аксиомы и правила подстановки и заключения называемые правилами вывода. С помощью допустимых преобразований появляется возможность получения новых знаний из имеющихся. Процесс получения новых знаний – рассуждение. Исходное высказывание – посылка (гипотеза, условие). Получаемое высказывание – заключение (следование).

• •

3. Правило утверждения – отрицания. «Если справедливо или A, или B и истинно одно 3. Правило утверждения – отрицания. «Если справедливо или A, или B и истинно одно из них, то другое ложно» . 4. Правило отрицания – утверждения. «Если истинно или A или B и неверно одно из них, то истинно другое» . «Если истинно A или B и неверно одно из них, то истинно другое» .

5. Правило транзитивности: «Если из A следует B, а из B следует C, то 5. Правило транзитивности: «Если из A следует B, а из B следует C, то из A следует C» . 6. Закон противоречия: «Если из A следует B и B, то A – неверно» . 7. Правило контрапозиции: «Если из A следует B, то из того, что неверно B, следует, что неверно A» .

8. Правило сложной контрапозиции: «Если из A и B следует C, то из A 8. Правило сложной контрапозиции: «Если из A и B следует C, то из A и C следует B» . 9. Правило сечения: «Если из A следует B, а из B и C следует D, то из A и C следует D» . 10. Правило импортации (объединения посылок): .

11. Правило экспортации (разъединения посылок): 12. Правила дилемм: 11. Правило экспортации (разъединения посылок): 12. Правила дилемм:

Пример 1. К каким схемам относятся следующие рассуждения: 1. «Если студент отсутствовал на контрольной Пример 1. К каким схемам относятся следующие рассуждения: 1. «Если студент отсутствовал на контрольной работе, то он не выполнил задания. Он не выполнил заданий. Следовательно, он отсутствовал на контрольной» . 2. «Этот человек студент и двоечник. Он студент. Следовательно, не двоечник» . 3. «Этот человек живет в Москве или СПб. Он живет в Москве. Следовательно, он не живет в СПб» . 4. «сегодня понедельник или вторник. Сегодня вторник. Следовательно сегодня не понедельник» . Являются ли данные рассуждения логически правильными?

1. – неверно 2. – неверно 3. – верно (правило 4, а) 4. – 1. – неверно 2. – неверно 3. – верно (правило 4, а) 4. – верно (правило 3)