Законы логики
Категория реферата: Рефераты по логике
Теги реферата: в контакте сообщения, реферат памятники
Добавил(а) на сайт: Foma.
Предыдущая страница реферата | 1 2 3 4 5 6 7 8 9 | Следующая страница реферата
На Южном полюсе первым был Амундсен или Скотт.
На этом полюсе первым был Амундсен.
Неверно, что там первым был Скотт.
|Отрицающе-утверждающим модусом называется разделительно-категорическое |
|умозаключение: первое или второе; не-первое; значит, второе. Первая |
|посылка — высказывание с «или»; вторая — категорическое высказывание, |
|отрицающее один из членов первого сложного высказывания; заключением |
|является второй член этого высказывания: |
А или В; неверно А - В или
А или В; неверно В - А
Другая форма записи:
А или В. Не-А. Следовательно, В.
А или В. Не-В. Следовательно, А.
Например:
Множество является конечным или оно бесконечною.
Множество не является конечным.
Множество бесконечно.
|Средневековые логики называли утверждающе-отрицающий модус модусом |
|понендо толленс, |
|а отрицающе-утверждающий модус модусом толлендо поненс. |
Конструктивная и деструктивная дилеммы
|Дилеммами называются рассуждения, посылками которых являются по меньшей |
|мере два условных высказывания (высказывания с «если, то») и одно |
|разделительное высказывание (высказывание с «или»). |
Выделяются следующие разновидности дилеммы.
Простая конструктивная (утверждающая) дилемма:
Если А, то С.
Если В, то С.
А или В. - С
Например: «Если прочту детектив Агаты Кристи, то хорошо проведу вечер; если прочту детектив Жоржа Сименона, тоже хорошо проведу вечер; прочту детектив Кристи или прочту детектив Сименона; значит, хорошо проведу вечер».
Рассуждение этого типа в математике принято называть доказательством по случаям. Однако число случаев, перебираемых последовательно в математическом доказательстве, обычно превышает два, так что дилемма приобретает вид:
Если бы было справедливо первое допущение, теорема была бы верна; при справедливости второго допущения теорема также была бы верна; при верном третьем допущении теорема верна; если верно четвертое допущение, теорема верна; справедливо или первое, или второе, или третье, или четвертое допущение.
Значит,-теорема верна.
Сложная конструктивная дилемма:
Если А, то В.
Если С, то Д.
Рекомендуем скачать другие рефераты по теме: оформление курсовой работы, реферат по обже.
Предыдущая страница реферата | 1 2 3 4 5 6 7 8 9 | Следующая страница реферата