Добавил:
Опубликованный материал нарушает ваши авторские права? Сообщите нам.
Вуз: Предмет: Файл:
Итоговая контрольная работа по логике.doc
Скачиваний:
83
Добавлен:
16.12.2013
Размер:
93.18 Кб
Скачать

Задание №12. Подберите два тезиса, постройте их прямое и косвенное обоснование. Укажите форму обоснования тезиса. Сделайте символическую запись.

1.Пример первый.

Прямое обоснование.

Дедукция:

(Т) Тезис: алмаз горюч.

Алмаз- углерод.

Все углероды горючие.

Алмаз – горюч.

Косвенное обоснование.

Апагогическое.

(Т) Тезис: Алмаз горюч.

(А) Антитезис: Алмаз не горюч.

А→ (C1(не углерод))

C1≠F1

¬C1 T A

¬A => ¬ A

T

2.Пример второй.

Прямое обоснование.

Индукция.

(Т) Тезис: земля имеет форму шара.

Аргумент: Если отправится в путешествие из одной точки, чтобы дойти до

края земли и двигаться все время прямо, то, в конце концов, вы вернетесь в

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

Косвенное обоснование.

Разделительное.

(Т) Тезис: земля имеет форму шара.

1)При наличии (Т) выявляем:

<T v B (треугольная) v C (плоская)>

2)С помощью аргумента: Если отправится в путешествие из одной точки, чтобы дойти до

края земли и двигаться все время прямо, то, в конце концов, вы вернетесь в

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

Получаем: a1→ ¬B; a2 → ¬C

3)Исключив ложные альтернативы, заключаем истинность тезиса.

<T v B v C>

¬B ^ ¬C

T