Логика и аргументация: Учебн. пособие для вузов.

Принципиально другой путь образования сложных (составных) высказываний состоит в объединении двух или нескольких простых высказываний с помощью логических операторов или связок, которые выражаются терминами "и", "или", "если, то" и др. Этот способ напоминает грамматический прием образования сложных предложений путем использования сочинительных и подчинительных союзов. Так, в предложении "Заря сияла на востоке, и золотые ряды облаков, казалось, ожидали солнце", тоже употребляется союз "и", связывающий два простых предложения.

Однако логические связки отличаются от грамматических союзов тем, что они объединяют суждения не по их смыслу, а только по значению их истинности. В отличие от этого грамматические союзы соединяют предложения по их смыслу, придавая сложному предложению определенный целостный, единый смысл.

Таким образом, при логическом объединении высказываний абстрагируются от конкретного содержания и смысла высказываний. Поэтому с точки зрения обыденного сознания некоторые логические операции кажутся явно парадоксальными. Именно поэтому начинающие изучать логику здесь сталкиваются с наибольшими трудностями. Чтобы их преодолеть, необходимо с самого начала понять, что логический подход является более общим, и потому он не может учитывать все конкретные особенности употребления союзов в грамматике.

3.4. Основные логические операции над высказываниями

Прежде чем перейти к определению логических операций и связок, посредством которых образуются сложные высказывания из простых, необходимо руководствоваться следующими допущениями.

1. Любое высказывание в классической логике имеет одно и только одно из двух значений истинности - "истину" или "ложь". С этой точки зрения истинностное значение будущих событий остается неопределенным.

2. Значение истинности сложного высказывания зависит исключительно от истинностных значений входящих в него простых высказываний. Поэтому истинностное значение сложного высказывания представляет собой функцию истинности от образующих его простых высказываний.

3. При образовании сложных высказываний учитывается лишь истинностное значение входящих в него простых высказываний, а не их смысл.

Определение логических операций

Простейшей из логических операций является отрицание, с помощью которого из данного высказывания образуется противоречащее ему высказывание. В обычном языке операция выражается словами "неверно, что" или просто "не", в символическом - знаком отрицания, поставленным перед высказыванием. Если дано высказывание х, то его отрицание будет -x. В обычной речи отрицание чаще всего стоит перед глаголом и именной частью сказуемого. Например, отрицанием высказывания "2 есть четное число" будет высказывание "Неверно, что 2 есть четное число", которое ложно. Отрицая его, получим высказывание "Неверно, что 2 не есть четное число", которое равнозначно высказыванию "2 есть четное число". Это означает, что двойное отрицание приводит к первоначальному высказыванию. Обратите внимание, что высказывание, полученное путем отрицания первоначального, является противоречащим ему, т.е. оно отрицает нечто, но не утверждает что-то. Так, когда мы говорим, что "этот лист бумаги не белый", то не утверждаем, что он зеленый, синий или фиолетовый.

Для определения отрицания используется матрица (таблица) истинности, в которой в левой колонке даются два значения истинности ("истина" и "ложь") первоначального высказывания, а в правой колонке - его отрицания (табл.1). Истинность высказывания будет обозначаться буквой "и" или числом 1, ложь - буквой "л" и числом 0.

Если высказывание истинно, то противоречащее ему высказывание будет ложно, и, наоборот, если высказывание ложно, то противоречащее высказывание будет истинно.

Конъюнкция (логическое произведение) двух или нескольких простых высказываний образуется путем их объединения логической связкой "и". Например, если обозначить одно из простых высказываний буквой х, а другое - у, тогда их конъюнкцией будет сложное высказывание "х и у" или "х ∧ у", где знаком ∧ обозначен конъюнктивный оператор (логическая связка). Простые высказывания, входящие в сложное, называются конъюнктивными членами.

Конъюнкция будет считаться истинной, если и только если все ее конъюнктивные члены будут истинными. Наличие хотя бы одного ложного члена превращает всю конъюнкцию в ложное высказывание. Исходя из этого нетрудно построить таблицу истинности для конъюнкции (табл. 2).