Simbologia: “ -> “

Definição:

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. Na lógica booleana, as implicações retornam FALSO se, e somente se, o antecedente é VERDADEIRO e o consequente é FALSO.{1}

Exemplos em linguagem natural:

P = Maria for ao cinema;

Q = Ficará feliz;

P -> Q = H : Se Maria for ao cinema, então ela ficará feliz.

P = Chove;

Q = Rua molha;

P -> Q = H : Se chove, então a rua fica molhada.

P = Chove;

Q = Faz frio;

P -> Q = S : Se chove, então faz frio.

Equivalência Semântica

Podemos dizer que duas fórmulas são equivalentes semanticamente, se o resultado de ambas as tabelas-verdade forem iguais. A seguir temos alguns exemplos de algumas fórmulas que equivalem semanticamente à conjunção entre "P" e "Q" (P -> Q).

Fórmulas que equivalem semanticamente:

(¬P) v Q; (¬Q) -> (¬P)

Tabela Verdade:

P	Q	H
false	false	true
false	true	true
true	false	false
true	true	true

Referências:
https://pt.wikipedia.org/wiki/Implicação#:~:text=Na%20lógica%20e%20na%20matemática,Maria%20nada"%20é%20uma%20implicação.