Высказывание - это
повествовательное предложение, про
которое можно определенно сказать,
истинно оно (1) или ложно (0)
Логические операции - мыслительные
действия, результатом которых является
изменение содержания или объема понятий, а
также образование новых понятий
Конъюнкция (логическое умножение) - логическая
операция, соединяющая два или более высказывания
при помощи союза "и". Считается истинным только в том случае, когда
оба простых выражения являются истинными. Во всех
остальных случаях выражение является ложным.
Дизъюнкция (логическое сложение) - логическая операция,
соединяющая два или более высказывания с помощью союза "или".
Слабая дизъюнкция - логическая операция, соединяющая
высказывания при помощи союза "или", употребленного
в соединительно-разделительном значении, т.е. когда
входящие в сложное суждение составляющие не
исключают друг друга.
Например, в суждении "Н -
преступник или М. - преступник"
утверждается, что преступником
может быть Н., М. или оба вместе.
Строгая дизъюнкция
Импликация (логическое следование)
Штрих Шефера
Стрелка Пирса
Инверсия (логическое отрицание) - логическая операция, в
результате которой из данного суждения (р) получается
новое суждение (не р), называемое отрицанием исходного
суждения.
Логическое выражение- утверждение, в которое, наряду с
постоянными величинами, входят переменные величины
(объекты). В зависимости от значений этих переменных
величин (объектов) логическое выражение может
принимать значение истина или ложь.
Сложное логическое выражение - логическое выражение,
состоящее из одного или нескольких простых или сложных
логических выражений, соединенных с помощью
логических операций.