Предыдущая страница реферата | 1  2  3  4  5  6  7  8  9 | Следующая страница реферата

На Южном полюсе первым был Амундсен или Скотт.

На этом полюсе первым был Амундсен.

Неверно, что там первым был Скотт.
|Отрицающе-утверждающим модусом называется разделительно-категорическое |
|умозаключение: первое или второе; не-первое; значит, второе. Первая |
|посылка — высказывание с «или»; вторая — категорическое высказывание, |
|отрицающее один из членов первого сложного высказывания; заключением |
|является второй член этого высказывания: |

А или В; неверно А - В или

А или В; неверно В - А

Другая форма записи:

А или В. Не-А. Следовательно, В.

А или В. Не-В. Следовательно, А.

Например:

Множество является конечным или оно бесконечною.

Множество не является конечным.

Множество бесконечно.
|Средневековые логики называли утверждающе-отрицающий модус модусом |
|понендо толленс, |
|а отрицающе-утверждающий модус модусом толлендо поненс. |

Конструктивная и деструктивная дилеммы
|Дилеммами называются рассуждения, посылками которых являются по меньшей |
|мере два условных высказывания (высказывания с «если, то») и одно |
|разделительное высказывание (высказывание с «или»). |

Выделяются следующие разновидности дилеммы.

Простая конструктивная (утверждающая) дилемма:

Если А, то С.

Если В, то С.

А или В. - С

Например: «Если прочту детектив Агаты Кристи, то хорошо проведу вечер; если прочту детектив Жоржа Сименона, тоже хорошо проведу вечер; прочту детектив Кристи или прочту детектив Сименона; значит, хорошо проведу вечер».

Рассуждение этого типа в математике принято называть доказательством по случаям. Однако число случаев, перебираемых последовательно в математическом доказательстве, обычно превышает два, так что дилемма приобретает вид:

Если бы было справедливо первое допущение, теорема была бы верна; при справедливости второго допущения теорема также была бы верна; при верном третьем допущении теорема верна; если верно четвертое допущение, теорема верна; справедливо или первое, или второе, или третье, или четвертое допущение.

Значит,-теорема верна.

Сложная конструктивная дилемма:

Если А, то В.

Если С, то Д.

Рекомендуем скачать другие рефераты по теме: оформление курсовой работы, реферат по обже.





Предыдущая страница реферата | 1  2  3  4  5  6  7  8  9 | Следующая страница реферата