V Пример. Вариант А (с взятыми во второй посылке без отрицания дизъюнктами в качестве антецедентов первой посылки):

Вариант А (с взятыми во второй посылке без отрицания дизъюнктами в качестве антецедентов первой посылки):

Если по металлу пропускать электрический ток, то он нагреется, и если металл расплющивать, то он нагреется.

Известно, что по металлу пропускают электрический ток, или расплющивают металл.

_____________________________________________________________________________________________________________

Металл нагреется.

 

Или «Если будешь переправляться через эту реку вброд, то вымокнешь; если станешь будешь переправляться через эту реку вплавь, то тоже вымокнешь; через эту реку можно переправляться вброд или вплавь, значит, при переправе через эту реку непременно вымокнешь».

Формула приведённых примеров: ((aÉc)Ù(bÉc))Ù(aÚb))Éc, где в первом примере: а — суждение «По металлу пропускают электрический ток», являющееся дизъюнктом второй посылки и одним из антецедентов первой посылки, b — суждение «Металл нагревается», являющееся дизъюнктом второй посылки и одним из антецедентов первой посылки, с — суждение «Металл расплющивают», имплицируемое первым и вторым антецедентами. Докажем методом таблиц истинности, что данная формула является законом классической логики высказываний (рис. 13):

a b c ((a É c) Ù (b É c)) Ù (a Ú b)) É c
и и и и и и и л и  
и и л л л л л и и  
и л и и и и и и и  
и л л л л и л и и  
л и и и и и и и и  
л и л и л л л и и  
л л и л и и л л и  
л л л и и и и л и  

Рис. 13








Дата добавления: 2015-09-07; просмотров: 558;


Поиск по сайту:

При помощи поиска вы сможете найти нужную вам информацию.

Поделитесь с друзьями:

Если вам перенёс пользу информационный материал, или помог в учебе – поделитесь этим сайтом с друзьями и знакомыми.
helpiks.org - Хелпикс.Орг - 2014-2024 год. Материал сайта представляется для ознакомительного и учебного использования. | Поддержка
Генерация страницы за: 0.004 сек.