1.2.2. Логические операции (действия) над высказываниями

Подобно тому, как с числами можно проводить арифметические действия (складывать, умножать и т. д.), к высказываниям тоже применимы свои операции. Существует три базовых логических операции: отрицание, конъюнкция и дизъюнкция.

1.2.3. Отрицание высказывания

Данной операции соответствует логическая связка НЕ (англ. NOT) и символ

Отрицанием высказывания называется высказывание (читаем «не а»), которое ложно, если истинно, и истинно – если ложно:

Так, высказывание – черепахи не летают истинно: , а его отрицание – черепахи летают – ложно: .