Логика контрольная 5

| Категория реферата: Рефераты по логике
| Теги реферата: виды рефератов, бесплатные шпоры
| Добавил(а) на сайт: Манторов.

«...Тот мерзок, кто ярится, если чужой он доблести свидетель» (Данте
Алигьери).

Умозаключение построено так:
Если человек при виде чужой доблести ярится, то он мерзок.
Этот человек не является мерзким. п
Этот человек при виде чужой доблести не ярится.

Если А, то C

Не – C р

Не - А

(А ( C) ^ ? ( В. Здесь модус отрицающий. в) разделительно-категорического;

«Когда мне стало ясно, что в комнату невозможно проникнуть ни через дверь, ни через окно, … мое внимание сразу привлекли вентилятор и шнур от звонка, висящий над кроватью. Когда обнаружилось, что звонок фальшивый … мне сразу пришла мысль о змее». (рассказ А. Конан Дойла «Пестрая лента»).

Разделительно-категорическое умозаключение было построено Ш. Холмсом таким образом:

Обитателю комнаты грозила опасность проникновения в комнату или через дверь, или через окно, или через вентилятор.

В комнату невозможно проникнуть ни через дверь, ни через окно. л

В комнату можно проникнуть через вентилятор.

((А v В) ^ ?) ( B. Здесь модус отрицающе-утверждающий. г) условно-разделительного умозаключения,

«Я не женюсь на Роберте, иначе меня ждет скучное существование и для меня наступит полный крах. Я этого не хочу». (роман Т. Драйзера
«Американская трагедия»).

Главный герой Клайд рассуждал так:

Если я женюсь на Роберте (А), то меня ждет скучное существование (В) и для меня наступит полный крах (С).

Я не хочу влачить скучное существование (В) или потерпеть полный крах
(?). k

Я не женюсь на Роберте (В).

((А ((В ^ С)) ^ (В v ?) ( В.

4. Подберите четыре тезиса, докажите их, используя каждый из видов двух способов доказательства. Прямое доказательство.

При прямом доказательстве задача состоит в том, чтобы подыскать такие убедительные аргументы, из которых по логическим правилам получается тезис.

Докажем тезис о том, что сумма углов четырехугольника равна 360°.

Отмечаем, что диагональ делит четырехугольник на два треугольника.
Значит, сумма его углов равна сумме углов двух треугольников. Известно, что сумма углов треугольника составляет 180°. Из таких положений выводим, что сумма углов четырехугольника равна 360°.

В построении прямого доказательства можно выделить два связанных между собою этапа: отыскание тех, признанных обоснованными утверждений, которые способны быть убедительными аргументами для доказываемого положения; установление логической связи между найденными аргументами и тезисом.
Нередко первый этап считается подготовительным и под доказательством понимается дедукция, связывающая подобранные аргументы и доказываемый тезис.

Косвенное доказательство (следствия, противоречащие фактам).

Чаще всего ложность антитезиса удается установить простым сопоставлением вытекающих из него следствий с фактами.