Закон суперечності (несуперечності)

Закон суперечності твердить: два несумісні судження не є одночасно істинними; у крайньому разі одне з них неодмінно хибне. Наприклад, не можуть бути одночасно істинними судження: "Петренко є акціонером даного товариства", "Петренко не є акціонером даного товариства ". Одне з цих суджень обов'язково хибне.

Закон виключного третього

Закон виключного третього формується так: із двох суперечних суджень про один і той же предмет, в один і той же час і в одному й тому ж відношенні одне неодмінно істинне, друге хибне, третього бути не може. Наприклад, із двох суджень "Ця людина на момент злиття фірм була директором" та " Ця людина на момент злиття фірм не була директором " — одне неодмінно істинне, а друге хибне. Якщо буде встановлено, що істинним є перше судження, то друге буде обов'язково хибним, а якщо істинним визнане друге судження, то перше буде неодмінно хибним.

Закон достатньої підстави

Закон достатньої підстави формулюється так: будь-яка істинна думка має достатню підставу.

Із закону достатньої підстави випливає така його вимога: будь-яка думка може бути істинною тільки тоді, коли вона обґрунтована. Наприклад: Так, для того, щоб судження "Петренко є засновником даної фірми" було визнане істинним, необхідно привести підстави його істинності, тобто треба висловити ряд суджень, із яких би неодмінно випливало твердження про те, що Петренко справді є засновником даної фірми. Якщо ж таких суджень-наведено не буде, то висловлене положення ("Петренко є засновником даної фірми") не може вважатися істинним.

4.2Тесты на тему закони логіки

1.Під законами логіки в сучасній логіці висловлювань мають на увазі судження, які:

 Виберіть одну правильну відповідь 

            a. завжди істинними (логічні тавтології)    

            b. можуть бути істинними або хибними    

            c. є безпосередньо очевидними      

            d. завжди хибними   

            e. утворюються внаслідок класифікації понять     

2

 Вкажіть, який закон логіки застосований в наведеному нижче твердженні: "Я склав екзамен з математики на відмінно дякуючи акуратному відвідуванню занять, систематичній самостійній роботі над курсом, активній участі у семінарських і практичних заняттях".

 Виберіть одну правильну відповідь          

              a. заборони суперечності  

            b. виключеного третього     

            c. тотожності            

            d. достатньої підстави         

            e. комутативності     

3

 Визначте, вимоги якого логічного закону порушені в наведеному нижче прикладі: "На допиті Х. запитали, де він знаходився в 19.30. (за Київським часом) 14.12.2005 р. Х. відповів, що він вечеряв із друзями в кафе біля кінотеатру “Загреб”. Саме в цей час поблизу місця, де вечеряв Х. було знайдено труп М. На питання, чи чув він якийсь шум, Х. дав заперечну відповідь. Друзі Х. підтвердили, що він перебував у вказаний час біля кінотеатру “Загреб”, проте показали, що чули шум та крики. На повторному допиті Х. теж показав, що, коли він сидів в ресторані, то чув шум та крики, що лунали з того боку, де було знайдено труп М. Після цього він бачив, як з того місця тікав невідомий високий чоловік". Який закон логіки порушував у своїх показаннях Х.?

 Виберіть одну правильну відповідь          

              a. виключеного третього   

            b. достатньої підстави         

            c. закони не порушено         

            d. тотожності            

            e. заборони суперечності    

4

Визначте, вимоги якого формально-логічного закону порушені в наведеному нижче міркуванні:

Ручка – це предмет, завдяки якому пишуть в зошитах.

Ручка – це предмет, за допомогою якого відкривають та закривають двері.

Предметом, завдяки якому пишуть в зошитах, є предмет, завдяки якому відкривають та закривають двері.

 Виберіть одну правильну відповідь 

            a. виключеного третього     

            b. тотожності            

            c. заборони суперечності    

            d. закони не порушено         

            e. достатньої підстави          

5

Вкажіть, якому формально-логічному закону відповідає наступне судження: “Якщо Юпітер є п’ятою планетою від Сонця, то Юпітер є п’ятою планетою від Сонця”.

 Виберіть одну правильну відповідь          

             a. закону тотожності           

            b. закону заборони суперечності    

            c. закону виключеного третього     

            d. другому закону де Моргана        

            e. закону достатньої підстави

6

Вкажіть, якому формально-логічному закону відповідає наступне судження: “Сьогодні середа, або невірно, що сьогодні середа”.

 Виберіть одну правильну відповідь          

              a. закону заборони суперечності  

            b. закону достатньої підстави         

            c. закону виключеного третього     

            d. закону тотожності            

            e. першому закону де Моргана       

7

Вкажіть, який формально-логічний закон представлений наступною формулою: ~( А  ~А).

 Виберіть одну правильну відповідь 

            a. другий закон складної контрапозиції     

            b. перший закон складної контрапозиції    

            c. достатньої підстави          

            d. заборони суперечності    

            e. закон асоціативності для диз'юнкції

8

 Вкажіть, який формально-логічний закон може бути представлений наступними формулами: А→А та А↔А.

 Виберіть одну правильну відповідь          

              a. перший закон простої контрапозиції    

            b. другий закон складної контрапозиції     

            c. закон тотожності  

            d. заборони суперечності    

            e. другий закон де Моргана

9

Вкажіть, який вчений сформулював закон достатньої підстави .

 Виберіть одну правильну відповідь          

              a. Б.Рассел  

            b. Ф.Бекон     

            c. Г.Лейбніц  

            d. Аристотель           

            e. Р.Декарт    

10

 Вкажіть, за допомогою якого логічного методу можна перевірити до якого виду належить те чи інше судження (логічного закону, суперечності чи виконуваних):

 Виберіть одну правильну відповідь          

              a. трансформації суджень

            b. абстрагування       

            c. аналітичного         

            d. класифікації          

            e. таблиць істинності