$$\large{\begin{gather*}\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}\end{gather*}}$$
Импликация
Из истины нельзя получить ложь
- Бинарная логическая операция, которая даёт ложь только для комбинации: посылка (1) $\rightarrow$ следствие (0)
- $$p \to q, \quad p \leqslant q$$
- $$(x<2) \to (x<4)$$
- Порядок суждений имеет значение
- Импликация может быть выражена через логическое отрицание и дизъюнкцию
- $$\neg p \lor q$$
