Смотреть все термины
Импликация
Логическая операция «следование», связывающая два логических выражения, из которых первое является условием (посылкой), а второе — следствием из этого условия, заключением.
Импликация является бинарной операцией и выражает условную зависимость между двумя высказываниями, Импликация обозначается стрелкой, в естественном языке соответствует речевому обороту «если ..., то ...». Импликация ставит в соответствие двум высказываниям новое, являющееся ложным тогда и только тогда, когда первое высказывание (условие) истинно, а второе (следствие) — ложно.
