Шпаргалка: Дедуктивное умозаключение

А не есть С

Небесные тела светятся собственным либо отраженным светом.

Луна светится отраженным светом.

Луна не излучает собственного света.

2. Отрицание - утверждающий модус. (modus tollens ponendo).

В нем категорическое суждение отрицает один из членов разделительного суждения, и поэтому заключение утверждает истинность другого члена разделительного суждения.

Схематично:

А либо В либо С

А не есть В

А есть С

Птицы пользуются для передвижения крыльями либо лапами.

Данный страус не пользуется крыльями.

Данный страус пользуется лапами.

Условно-разделительные умозаключения (дилеммы). Это правильные умозаключения с двумя импликативными посылками и одной дизъюнктивной посылкой.

1. Простая конструктивная дилемма.

Если N. поедет летом на море, то он хорошо отдохнет. Если он летом поедет в круиз вокруг Европы, он хорошо отдохнет. Известно, что N. либо поедет на море, либо в круиз. Следовательно, он хорошо отдохнет.

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

(Если А, то С, если В, то Д, и так как либо А либо В, то следовательно, С либо Д).

Если N. заплатит штраф за превышение скорости, то он потеряет деньги. Если он откажется платить, то у него отберут права. Известно, что N. либо будет платить. либо нет. Следовательно, он потеряет деньги или же у него отберут права.

3. Простая деструктивная дилемма.

(Если С, то А, если С, то В, и так как не А или В, то не С).

Если N. хорошо водит машину, то у него должно быть хорошее зрение.

Если N. хорошо водит машину, то у него должна быть быстрая реакция.

У N. нет ни хорошего зрения, ни быстрой реакции.

Следовательно, N. не водит машину хорошо.

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

(Если С, то А, если Д, то В, либо не А, либо не В и поэтому не С или Д).

Если N. ходит во сне, то он лунатик.

Если N. боится ездить в лифте, то у него клаустрофобия.