Логічне наслідування
В математиці, логічний наслідок є логічною зв'язкою, через який, починаючи з двох висловлювань А і В, утворює нову пропозицію за назвою А слід В і написано, що істинно, якщо і тільки якщо воно перевіряється наступним умова: якщо істинним, то це також вірно Б., зокрема, означає, в істинно, якщо помилково то, що справжнє значення B. це визначення може бути підсумовані наступною таблицею істинності: логічний висновок може також розглядатися як звіт, дві пари пропозицій перебувають у відношенні логічного слідування, якщо результат оператора є TRUE, то цей аспект особливо очевидно на спільній мові, де мається на увазі виражається у вигляді «якщо то в", так, наприклад, існує природний розуміння: «якщо йде дощ, то є хмари в небі», і єдиний спосіб, що це твердження є хибним, щоб гарантувати, що в будь-який момент часу дощ, але НЕ є хмари в небі ,