Кон'юнкція двох логічних висловлювань - логічне висловлення, щире тільки тоді, коли вони одночасно істинні (від лат. conjunctio - союз, зв'язок), в широкому сенсі - складне висловлювання, утворене за допомогою союзу В«іВ». У принципі можна говорити про кон'юнкції нескінченного числа висловлювань (наприклад, про кон'юнкції всіх істинних пропозицій математики). У логіці кон'юнкція називають логічний зв'язку (операцію, функцію; позначають: &,); утворене з її допомогою складне висловлювання істинно тільки за умови однакової істинності його складових. У класичній логіці висловлювань кон'юнкція разом з запереченням складають функціонально-повну систему пропозиційних зв'язок. Це означає, що через них можна визначити будь-яку іншу Пропозіціональние в'язку. Однією з властивостей кон'юнкції є комутативність (тобто еквівалентність А & В і В & А). Однак, іноді, говорять про некомутативної, тобто впорядкованої кон'юнкції (прикладом висловлювання з такою кон'юнкції може служити: В«Ямщик свиснув, і коні поскакалиВ»). br/>
Диз'юнкція
Диз'юнкція двох логічних висловлювань - логічне висловлення, щире тільки тоді, коли хоча б одна з них істинно
(від лат. disjunctio - роз'єднання, відокремлення), в широкому сенсі - складне висловлювання, утворене з двох або більше пропозицій за допомогою союзу В«абоВ», що висловила альтернативність, або вибір. p> У символічній логіці диз'юнкцією називають логічний зв'язку (операцію, функцію), що утворить з пропозицій А і В складне висловлювання, що позначається звичайно як А V В, яке є істинним при істинності принаймні одного з двох діз'юнктівних членів: < ; # "justify"> Імплікація
Імплікація двох логічних висловлювань A і B - логічне висловлювання, помилкове тільки тоді, коли B помилково, а A істинно (від лат. implicatio - сплетіння, від implico - тісно пов'язую) - логічна зв'язка, відповідна граматичної конструкції В«якщо .., то ...В», за допомогою якої з двох простих висловлювань утворюється складне висловлювання. У імплікатівной висловлюванні розрізняють антецедент (підстава) - висловлювання, що йде після слова В«якщоВ», і консеквент (наслідок) - висловлювання, що йде за словом В«теВ». Імплікатівной висловлювання представляє в мові логіки умовне висловлювання звичайної мови. Остання відіграє особливу роль, як у повсякденних, так і в наукових міркуваннях, основною його функцією є обгрунтування одного шляхом посилання на щось інше. p align="justify"> висловлюємо умовним висловленням зв'язок обгрунтовує і обгрунтовуваного важко охарактеризувати в загальному вигляді, і тільки іноді природа її відносно ясна. Цей зв'язок може бути, зокрема, зв'язком логічного проходження, яка має місце між посилками і укладанням правильного умовиводу (В«Якщо всі живі багатоклітинні істоти смертні і...
