Отрицание - высказывание
Cтраница 1
 |
Условные обозначения элементов. [1] |
Отрицание высказывания записывается как х А. Знак логической связи читается как НЕ. Такая запись показывает, что сигнал х появляется на выходе логического элемента, выполняющего операцию отрицания, только тогда, когда отсутствует сигнал А на его входе. [2]
 |
Отрицание высказывания. [3] |
Отрицание высказывания А есть сложное высказывание А, которое истинно, когда А ложно, и ложно, когда А истинно. [4]
Отрицание высказывания А обозначается - А и читается не А. Отрицанием высказывания А называется высказывание В, которое истинно, если А ложно, и которое ложно, если А истинно. [5]
Отрицание высказывания можно получить, сказав: утверждение Л места не имеет или Л не выполняется. [6]
 |
Если приходится иметь дело только с форму. [7] |
Отрицанием высказывания А называют высказывание X, которое истинно, когда А ложно, и ложно, когда А истинно. Эта связь означает отрицание исходного высказывания. [8]
 |
Логический элемент НЕ. [9] |
Отрицанием высказывания называется высказывание х, которое истинно, если высказывание х ложно, и ложно, если высказывание х истинно. [10]
Что такое отрицание высказывания и как оно обозначается. [11]
 |
Решетка сред, в которой узлы, имеющие непустые списки ярлыков, заштрихованы. [12] |
В этом случае отрицание высказывания Нет бензина в баке имеет место в среде, в которой сделано допущение Влажные свечи, как показано на рис. 19.5. Эту среду уже имеет смысл включить в список ярлыка. Теперь ярлык интересующего нас высказывания будет содержать список, в котором перечислены два варианты среды, причем каждый из вариантов не содержит противоречий. На рисунке эти варианты среды заштрихованы. Как и ранее, варианты, представляющие несовместимый контекст ( на рисунке они выделены прямоугольниками с утолщенными линиями контура), мы будем игнорировать. [13]
Оценка доверия к отрицанию высказывания должна быть монотонно убывающей функцией от оценки доверия к самому высказыванию. [14]
Высказывание х называется отрицанием высказывания у ( это записывается х - у), если х - истинно, когда у - ложно, и х - ложно, когда у - истинно. В приведенных примерах х х, что есть, по существу, определение нормально открытого контакта. [15]
Страницы: 1 2 3