медуза є такою істотою, то вона смертнаВ»). Зв'язок може являти собою закон природи (В«Якщо тіло піддати тертю, воно почне нагріватисяВ») або причинний зв'язок (В«Якщо Місяць в молодика знаходиться у вузлі своєї орбіти, настає сонячне затемненняВ»). Розглянута зв'язок може мати також характер соціальної закономірності, правила, традиції тощо (В«Якщо змінюється економіка, змінюється і політика", "Якщо обіцянку дано, воно має бути виконанеВ»). p align="justify"> Зв'язок, висловлюване умовним висловленням, припускає, що консеквент з певною необхідністю В«випливаєВ» з антецедента і що є певний загальний закон, зумівши сформулювати який, ми можемо логічно вивести консеквент з антецедента. Наприклад, умовне висловлювання В«Якщо вісмут-метал, він пластичнийВ» передбачає загальний закон В«Всі метали пластичніВ», який робить консеквент даного висловлювання логічним наслідком його антецедента. p align="justify"> І в звичайній мові, і в мові науки умовне висловлювання, крім функції обгрунтування, може виконувати також цілий ряд інших завдань. Воно може формулювати умова, не пов'язане з до.-л. маються на увазі загальним законом або правилом (В«Якщо захочу, розріжу свій плащВ»), фіксувати якусь послідовність (В«Якщо минуле літо було сухим, то в цьому році воно дощовеВ»), висловлювати у своєрідній формі невіра (В«Якщо ви вирішите задачу, я доведу велику теорему Ферма В»), протиставлення (В« Якщо в городі росте капуста, то в саду росте яблуня В») і т.п. Численність і різнорідність функцій умовного висловлювання істотно ускладнює його аналіз. p align="justify"> У логічних системах абстрагуються від особливостей звичайного вживання умовного висловлювання, що веде до різних імплікації. Найбільш відомі з них імплікація матеріальна, сувора імплікація і релевантна (доречна) імплікація. p align="justify"> Матеріальна імплікація - одна з основних зв'язок класичної логіки. Визначається вона таким чином: імплікація помилкова тільки у випадку істинності антецедента і хибності консеквента і істинна у всіх інших випадках. Умовне висловлювання В«Якщо А, то ВВ» передбачає деяку реальну зв'язок між тим, про що йдеться в А і В; вираз В«А матеріально імпліцірует ВВ» такий зв'язки не передбачає. p align="justify"> Сувора імплікація визначається через модальне поняття (логічної) неможливості: В«А строго імпліцірует ВВ» означає В«Неможливо, щоб А було істинне, а В хибноВ». p align="justify"> У релевантної логіці імплікація розуміється як умовний союз в його звичайному розумінні. У разі релевантної імплікація не можна сказати, що справжнє висловлювання може бути обгрунтовано шляхом посилання на будь-яке висловлювання і що за допомогою помилкового висловлювання можна обгрунтувати яке завгодно висловлювання. br/>
Еквівалентність
Еквівалентність двох логічних висловлювань - логічне висловлення, щире тільки тоді, коли вони одночасно істинними чи хибні (від позднелат. equivalens - рівноц...
