Операция, которая определяет, является ли утверждение истинным или ложным, называется логической операцией. 4

В алгебре логики существуют следующие основные логические операции: 34

• Инверсия. 4 При ней высказыванию ставится в соответствие новое высказывание, значение которого противоположно исходному. 4
• Конъюнкция. 34 Ставит в соответствие двум высказываниям новое высказывание, являющееся истинным тогда и только тогда, когда оба высказывания истинны. 3
• Дизъюнкция. 34 Ставит в соответствие двум высказываниям новое высказывание, являющееся ложным тогда и только тогда, когда оба высказывания ложны. 3
• Импликация. 34 Ставит в соответствие двум высказываниям новое высказывание, являющееся ложным тогда и только тогда, когда первое высказывание (посылка) истинно, а второе (следствие) — ложно. 4
• Эквивалентность. 34 Ставит в соответствие двум высказываниям новое высказывание, являющееся истинным, когда оба исходных высказывания истинны или оба исходных высказывания ложны. 4