х суджень хибне, то інше істинно. Якщо помилково судження В«У деяких селах нашого району є палаци культуриВ», то істинно судження В«У деяких селах нашого району немає палаців культуриВ».
. Обидва подпротівних суджень не можуть бути одночасно хибними, одне з них обов'язково істинно.
2. Безпосередній умовивід
Безпосередніми висновками є такі умовиводи, в яких висновок робиться з однієї посилки. Таким буде, наприклад висновок. В«Всі прості числа діляться на себе і на одиницю. Отже, жодне просте число не ділиться на два В». Безпосередні умовиводи схематично можна записати так: C SP? Y ав , де Х і У можуть мати значення A, E, I, O , а а і в - значення або S або P . Судження C SP називається умовою (або антецедентом), а Y ав називається висновком чи наслідком (або консеквентом). Мається чотири способи вибору Х , чотири способи вибору У і два способи вибору а і в . значить число модусів (фігур) безпосередніх умовиводів дорівнює 4х4х2 = 32. Однак не всі з них істинні. Деякі з них помилкові. Під істинним значенням модусу слід розуміти В«завжди правдивийВ», а під хибністю В«не завжди правдивийВ».
Істинність кожного модусу може бути встановлена ​​за допомогою логічного квадрата і таблиці істинності імплікації. Наприклад, модус ASP? ESP хибна. Справді, якщо судження ASP істинно, то за правилом логічного квадрата судження ESP помилково і імплікація помилкова.
Істинність модусу може бути встановлена ​​і за допомогою діаграм Ейлера. Модус істинний, якщо діаграма Ейлера, що зображає зв'язок предиката і суб'єкта умови, збігається з діаграмою, яка зображує зв'язок суб'єкта і предиката слідства. Так для модусу ASP? ESP діаграма умови має вигляд:...
