 |
 |
 |
 |
|
 |
 |
39
словами "неверно, что" или просто "не", в символическом – знаком отрицания, поставленным перед
высказыванием. Если дано высказывание х, то его отрицание будет -x. В обычной речи отрицание чаще
всего стоит перед глаголом и именной частью сказуемого. Например, отрицанием высказывания "2 есть
четное число" будет высказывание "Неверно, что 2 есть четное число", которое ложно. Отрицая его,
получим высказывание "Неверно, что 2 не есть четное число", которое равнозначно высказыванию "2
есть четное число". Это означает, что двойное отрицание приводит к первоначальному высказыванию.
Обратите внимание, что высказывание, полученное путем отрицания первоначального, является
противоречащим ему, т.е. оно отрицает нечто, но не утверждает что-то. Так, когда мы говорим, что
"этот лист бумаги не белый", то не утверждаем, что он зеленый, синий или фиолетовый.
Для определения отрицания используется матрица (таблица) истинности, в которой в левой колонке
даются два значения истинности ("истина" и "ложь") первоначального высказывания, а в правой
колонке – его отрицания (табл.1). Истинность высказывания будет обозначаться буквой "и" или числом
1, ложь – буквой "л" и числом 0.
Если высказывание истинно, то противоречащее ему высказывание будет ложно, и, наоборот, если
высказывание ложно, то противоречащее высказывание будет истинно.
Конъюнкция (логическое произведение) двух или нескольких простых высказываний образуется
путем их объединения логической связкой "и". Например, если обозначить одно из простых
высказываний буквой х, а другое – у, тогда их конъюнкцией будет сложное высказывание "х и у" или "х
у", где знаком
обозначен конъюнктивный оператор (логическая связка). Простые высказывания,
входящие в сложное, называются конъюнктивными членами.
Конъюнкция будет считаться истинной, если и только если все ее конъюнктивные члены будут
истинными. Наличие хотя бы одного ложного члена превращает всю конъюнкцию в ложное
высказывание. Исходя из этого нетрудно построить таблицу истинности для конъюнкции (табл. 2).
Дизъюнкция (логическая сумма) двух или нескольких простых высказываний образуется путем
объединения их логической связкой "или". Союз "или" в языке чаще всего употребляется в
исключающем смысле, когда происходит выбор между двумя альтернативами: либо одно, либо другое.
Реже используется этот союз в неисключающем смысле, т.е. выражается словом "а также". В логике и
математике связка "или" употребляется преимущественно в неисключающем смысле. Так, например,
дизъюнкция "2 меньше 3 или 3 меньше 5" понимается в неисключающем смысле, так как не только 2,
но и 3 меньше 5.
Неисключающая дизъюнкция считается ложной в том и только в том случае, когда все ее
дизъюнктивные члены будут ложными. Поэтому достаточно одного истинного члена, чтобы
дизъюнкция была истинной. Исключающая дизъюнкция истинна тогда, когда только один из ее членов
является истинным, а другой – ложным. Она будет ложной, если оба ее члена одновременно истинны
либо ложны. Оператор дизъюнкции обозначается символом
– для неисключающей дизъюнкции и
символом
– для исключающей дизъюнкции.
Учитывая принятые соглашения, мы можем построить таблицы истинности (табл. 3) для
неисключающей (слева) и исключающей (справа) дизъюнкции.