Главная страница | Контакты | Случайная страница Автомобили Астрономия Биология География Дом и сад Другие языки Другое Информатика История Культура Литература Логика Математика Медицина Металлургия Механика Образование Охрана труда Педагогика Политика Право Психология Религия Риторика Социология Спорт Строительство Технология Туризм Физика Философия Финансы Химия Черчение Экология Экономика Электроника

Кон’юнкція – єднальний логічний сполучник, що поєднує два простих судження у складне. У мові він передається словами і, та, а, але, проте.

Кон’юнкція записується у вигляді формули p ^ q. Таким чином, складне судження, що називається кон’юнкцією буде істинним тоді і тільки тоді, коли істинні обидві її складові (прості судження).

Диз’юнкція – це розділовий логічний сполучник, що поєднує два простих судження, і передається у мові словами "або", "чи". У логіці виділяють дві основні форми диз’юнкції – слабка (проста) і сильна (сторога).

Слабка (проста) диз’юнкція - це такий вид зв’язку, який не виключає одночасну істинність обох простих суджень, що входять до складу складного судження. Записується формулою рvq.

Слабка диз’юнкція не є істинною лише в єдиному випадку, коли хибними є всі її складники.

Сильна (сторога) диз’юнкція на відміну від простої виключає одночасну істинність вихідних суджень ("суд повинен або винести звинувачення, або виправдати підсудного").

Імплікація – це умовний логічний сполучник, що поєднує два простих судження, і передається у мові словами "якщо..., то..." Умовне судження має характерну структуру, відмінну від структур інших складних суджень.

Еквіваленція – це логічний сполучник, що поєднує два простих судження, і передається у мові словами "тоді і тільки тоді...., коли...", "якщо і тільки якщо..., то..." Наприклад: "Тільки коли всі дії підприємства на ринку відбуваються у цілковитій відповідності до закону, переслідування підприємства у кримінальному порядку виключається".

Будь-яку мовну конструкцію, що складається із певної множини суджень, можна „перекласти” на символічну мову (мову логіки висловлювань). Для цього необхідно замінити судження логічними змінними, а зв’язок між ними – логічними сполучниками. Висловлювання: "Якщо електростанція припинить подачу струму, то підприємство зупиниться, а якщо воно зупиниться, то понесе значні втрати", - можна виразити формулою: (А В) ^ (В С).

Зведена таблиця істинності для складних суджень усіх видів

р	q	р ^q	р v q	р v q	р q	р q
і	і	і	і	х	і	і
і	х	х	і	і	х	х
х	і	х	і	і	і	х
х	х	х	х	х	і	і