4) Логічне наслідування або імплікація: Імплікація – це складний логічний вираз, що є істинним у всіх випадках, окрім як з істини випливає неправда. Тобто ця логічна операція пов’язує два простих логічних вирази, з яких перший є умовою (А), а другий (В) є наслідком.
Визначення. Імплікацією двох висловлювань x, y називається нове висловлювання, яке вважається хибним, якщо x є істинним, а y хибним, і істинним у всіх інших випадках.
Кон’юнкція (логічне множення). Кон’юнкція двох висловлювань істинна тоді й тільки тоді, коли обидва висловлювання істинні .
Імплікація – це логічна операція, прийнята у формалізованих мовах для утворення складних висловлювань із простих і за змістом рівнозначна нестрогій умові “якщо…, то…”, прийнятій у природній мові.