$$\large{\displaylines{\begin{array}{c|c|c} \color{#ff7800}p & \color{#ff7800}\to & \color{#ff7800}q \\ \hline 0 & 1 & 0 \\ \hline 0 & 1 & 1 \\ \hline 1 & 0 & 0 \\ \hline 1 & 1 & 1\end{array}}}$$

Импликация

Из истины нельзя получить ложь

Бинарная операция, которая даёт ложь только для комбинации: посылка (1) $\rightarrow$ следствие (0)
$$p \to q, \quad p \leqslant q$$
$$(x<2) \to (x<4)$$
Порядок суждений имеет значение
Может быть выражена через логическое отрицание и дизъюнкцию
$$\neg p \lor q$$

. . . логические операции импликация