Cтраница 3
Приведенной формулой называется формула, не содержащая знака - и такая, что знаки отрицания в ней относятся только к элементарным частям. Это определение распространяется и на формулы арифметики. При этом распространяется и основное положение, что для каждой формулы существует эквивалентная ей приведенная формула. Доказательство этого в арифметике остается тем же, что и в исчислении предикатов. [31]
Очевидно, что в результате выполнения этого шага получается формула, у которой знаки отрицания - i могут стоять лишь перед атомами. [32]
Затем ( по правилу 3) ф-ла приводится к такому виду, когда знаки отрицания относятся к отдельным дизъюнктивным или конъюнктивным членам; наконец ( применяя правила 1 и 2), производится раскрытие скобок и устранение диухкратдых знаков отрицания. [33]
В сложном выражении лучше начинать с внешних знаков отрицания, так как тогда внутренние знаки отрицания могут сократиться и можно сэкономить на их перенесении внутрь. [34]
Стигма значит по-гречески точка, стигматический - точечный, частица а впереди слова - знак отрицания. [35]
Стигма значит по-гречески точка, стигматический - точечный, частица а впереди слова - знак отрицания. [36]
Для получения СДНФ над переменными, принимающими в соответствующем наборе значения О, ставится знак отрицания. [37]
Отрицательная гиперрезолюция-это частный случай Р / - резолюции, в котором интерпретация / не содержит знака отрицания. Она называется отрицательной гиперрезолюцией, поскольку все электроны и Р / - резольвенты в этом случае отрицательны. [38]
Я, так как знаки отрицания стоят только над символами Л, символы же Я входят без знака отрицания. [39]
Символы ( Г) называются, соответственно, знаком дизъюнкции, знаком конъюнкции, знаком импликации и знаком отрицания. Все они называются пропозициональными связками, а именно У, П, Ф являются бинарными пропозициональными связками, а - является унарной пропозициональной связкой. Символы ( 1 и I 4) называются квантором существования и квантором общности соответственно. [40]
Формулы, в которых из операций алгебры высказываний имеются только операции &, V и -, а знаки отрицания относятся только к элементарным предикатам а высказываниям, будем называть приведенными формулами. [41]
При этом элемент а ввиду конечной непротиворечивости может входить в различные формулы, причем либо во все без знака отрицания, либо во все со знаком отрицания. [42]
С т и г м а значит по-гречески точка, стигматический - точечный, частица а впереди слова - знак отрицания. [43]
Но Л - Л есть И, И - И также есть Я; поэтому высказывание, стоящее под знаком отрицания, имеет значение И. [44]
Грубо говоря, изучение позитивного пропозиционального исчисления можно свести к исследованию части интуиционистского пропозиционального исчисления, состоящей из формул без знака отрицания. [45]