Практическая информатика



         

Основы логики высказываний - часть 2


Древние философы назвали этот принцип "законом исключенного третьего". Существуют другие логики, правила которых отличаются от правил исчисления высказываний, например, трехзначная логика со значениями "Да", "Нет", "Не знаю" или так называемая нечеткая логика, где можно оперировать утверждениями типа "С вероятностью 90% величина А больше 3".

В таблице приводятся обозначения, используемые для логических связок в различной литературе. Мы в дальнейшем изложении будем использовать обозначения, принятые в большинстве языков программирования. Истинное значение далее будем обозначать символом T (от True - истина), а ложное - F (от False - ложь).

СвязкаНазваниеБулева алгебраЛогикаПрограммирование
Иконъюнкция-
&&
ИЛИдизъюнкция+
||
НЕотрицани嬬!




Содержание  Назад  Вперед