Алгебра в широком смысле этого слова — наука об общих операциях, аналогичных сложению и умножению, которые могут выполняться над разнообразными математическими объектами.
ВЫСКАЗЫВАНИЕ
Высказывание — это предложение на любом языке, содержание которого можно однозначно определить как истинное или ложное.
КОНЪЮНКЦИЯ
логическая операция, ставящая в соответствие каждым двум высказываниям новое высказывание, являющееся истинным тогда и только тогда, когда оба исходных высказывания истинны.
ДИЗЪЮНКЦИЯ
логическая операция, которая каждым двум высказываниям ставит в соответствие новое высказывание, являющееся ложным тогда и только тогда, когда оба исходных высказывания ложны.
ИНВЕРСИЯ
логическая операция, которая каждому высказыванию ставит в соответствие новое высказывание, значение которого противоположно исходному.