Визначення.
Імплікацією
Імплікація (від лат. implicatio «зв'язок; сплетення») – Бінарна логічна зв'язка, по своєму застосуванню наближена до спілок «якщо …, то …». слідство; застосовуються також стрілки іншої форми та спрямовані в інший бік, але завжди вказують на слідство.
https://ua.wikipedia.org › wiki › Імплікація
двох висловлювань x, y називається нове висловлювання, яке вважається хибним, якщо x істинно, а y хибноі справжнім у всіх інших випадках.
Коли вислів істинний А коли хибно?
Запереченням висловлювання називається висловлювання, яке істинне лише тоді, коли висловлювання хибне.
Коли диз'юнкція хибна?
Диз'юнкція двох висловлювань хибна тоді і тільки тоді, коли обидва висловлювання помилкові.