Чому дорівнює імплікація?
Логічна зв'язка ІМПЛІКАЦІЯ (від лат. implicatio – тісно пов'язувати). Назва – логічне слідування. Позначення в алгебрі висловлювань: А=>B, де А – умова, У – наслідок.
Коли імплікація є істинною?
Визначення. Імплікацією двох висловлювань x, y називається нове висловлювання, яке вважається хибним, якщо x істинно, а y хибно, і істинним у всіх інших випадках.