Импликация

Имплика́ция, логическая операция, соответствующая образованию высказывания «если ${\displaystyle A}$, то ${\displaystyle B}$» из высказываний ${\displaystyle A}$ и ${\displaystyle B}$. В формализованных языках импликация чаще всего обозначается символами ${\displaystyle \supset }$, ${\displaystyle \to }$, ${\displaystyle \implies }$. Высказывание ${\displaystyle A}$ называется посылкой высказывания ${\displaystyle A\supset B}$, а высказывание ${\displaystyle B}$ – его заключением. Точный смысл высказывания ${\displaystyle A\supset B}$ различен при классическом, конструктивном и других подходах к построению семантики языка. В языках с классической семантикой употребление импликации согласовано с истинностной таблицей:

${\displaystyle A}$	${\displaystyle B}$	${\displaystyle A\supset B}$
И	И	И
И	Л	Л
Л	И	И
Л	Л	И

Так понимаемая импликация называется материальной импликацией.