18 Вопрос (Дилемма)

Дедуктивное умозаключение в котором большая посылка состоит из нескольких импликаций, если их 2 ,то дилемма, если из 3 Трилемма если 4 и больше то Полилемма. Дилемма - лемматический силлогизм, в котором большая посылка содержит 2 иммпликации.

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

1. Конструктивная дилемма - рассуждения идет от утверждения истинности антицидента к утверждению истинности консеквента. КС делиться на простую и сложную.

1.1 ПКД ( простая конструктивная дилемма ) - в ПКД обе импликации имеют одинаковый консеквент a->b; c->b Если Пьер пойдет по правой дороге, то он будет убит из пистолета маркиза де Пьера Если Пьер пойдет по левой дороге, то он будет убит из пистолета маркиза де Пьер ЕСЛИ поедет по правой и по левой дороге -> он будет убит из пистолета маркиза де Пьера

1.2 СКД ( сложная конструктивная дилемма ) обе импликации имеют разные консеквенты.

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

2. Деструктивная дилемма - рассуждение идет от отрицания истинности консеквентов к отрицанию истинности антицидента. Деструктивная дилемма делиться на простую и сложную.

2.1ПДД(Проста деструктивная дилемма): обе импликации имеют одинаковый антицидент.

Если студент получит 10000руб он устроит вечеринку с друзьями , если студент получит 10000руб он пригласит девушку в кино

Не верно , что студент устроил вечеринку и не верно что пригласил девушку -> не верно , что он вообще получил 10000руб

2.2 СДД (Сложная деструктивная дилемма) - обе импликации имеют одинаковый антицидент

20 Вопрос (Доказательство и его структура)

Доказательство - это совокупность логических приемов обоснования истинности какого-либо суждения с помощью связанных с ним суждений, истинность которых уже установлена.        Различают два способа установления истинности суждения: непосредственный и опосредованный.        Непосредственный способ (эмпирическое доказательство) основан на эмпирических процедурах (наблюдение, эксперимент, измерение и т.д.)        Опосредованный (логическое доказательство) основан на логических формах. Состоит в установлении необходимой логической связи доказываемого утверждения с положениями, истинность которых считается установленной.        В структуру доказательства входят следующие основные элементы:        1)тезис - доказываемое положение,        2)аргументы(основания) - утверждения, при помощи которых обосновывается истинность тезиса ,        3)демонстрация (форма) - логическая связь тезиса с аргументами

22 Вопрос (Косвенное докозательство от противного)

ДОКАЗАТЕЛЬСТВО ОТ ПРОТИВНОГО

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