Cтраница 1
Знак конъюнкции А опущен; в данной работе ab означает конъюнкцию а Л ft, где а и b - булевы функции, переменные, или константы. [1]
Знак конъюнкции опускается там, где это не приводит к неоднозначности понимания. [2]
Далее часто знак конъюнкции & в формулах мы будем опускать. [3]
Для повышения наглядности знаки конъюнкции Д опущены. События Ui и щ являются независимыми и случайными. [4]
Пусть секвенция () не содержит знака конъюнкции. Тогда она имеет вид НФо... [5]
Они носят следующие названия: первый - знак конъюнкции или логического умножения, второй - знак дизъюнкции или логического сложения, третий - знак импликации или логического следования и последний - знак отрицания. [6]
Условимся, наконец, что если в качестве знака конъюнкции используется точка, то конъюнкция связывает более тесно, чем дизъюнкция. [7]
Множество всех связок содержит только знак дизъюнкции U, знак конъюнкции С ] и знак импликации гф. [8]
В правой части ( J П обозначают знак дизъюнкции и знак конъюнкции. [9]
В правой части и, П обозначают знак дизъюнкции и знак конъюнкции. [10]
Операция логического умножения называется конъюнкцией, а символ Л - знаком конъюнкции. [11]
Символы ( Г) называются, соответственно, знаком дизъюнкции, знаком конъюнкции, знаком импликации и знаком отрицания. Все они называются пропозициональными связками, а именно У, П, Ф являются бинарными пропозициональными связками, а - является унарной пропозициональной связкой. Символы ( 1 и I 4) называются квантором существования и квантором общности соответственно. [12]
Если же при переходе к конъюнктивной нормальной форме не предполагается, что знак конъюнкции связывает менее тесно, чем знак дизъюнкции, то скобки остаются, но в скобках должны быть только элементарные дизъюнкции. [13]
А &-А э В ( из противоречия следует любое предложение, & - знак конъюнкции и) или - А: э з ( Л: э В) - к интуиционистской логике высказываний, а дальнейшее присоединение закона снятия двойного отрицания - пЛ: э А или закона исключенного третьего А V - А ( где V - знак дизъюнкции или) - к классич. АУ-А) доказуемо в интуиционистском, а фактически даже в минимальном исчислении высказываний, поэтому присоединение к последнему закона - - А: э А дает и A Vi / 4H, как легко доказать, также A & - iA В п тем самым классич. AV - iA к минимальному исчислению приводит к более слабой системе сильного отрицания ( термин Фитча), не содержащей законов - - А z А и А &-А В. Закон А э - г А имеет место в минимальном - и подавно в интуиционистском и в классич. Коль скоро нек-рое предложение считается истинным, О. [14]
Заметим, что фигурная скобка в записи системы уравнений ( см. ( 1)) заменяет собой знак конъюнкции. В самом деле, при решении системы мы ищем такие пары чисел ( хо Уо) ПРИ подстановке которых в систему и первое и второе уравнения превращаются в верные числовые равенства. [15]