Na
lógica e na
matemática, a
implicação, ou
condicional é a indicação do tipo "SE...ENTÃO", indicando que uma condição deve ser satisfeita necessariamente para que a outra seja verdadeira. Por exemplo, a expressão: "Se João esquia, Maria nada" é uma implicação.