double arrow

Язык классической логики высказываний

Напомним, что любой язык, как знаковая система, включает в себя синтаксис и семантику. Синтаксис включает в себя алфавит, то есть набор символов, и правила образования выражений из этих символов. Семантика представляет собой правила приписывания значений выражениям.

Алфавит:

1. Пропозициональные переменные: p, q, r, s, p1, q1,...;

2. Логические константы: Ø, &, Ú, É, º, º;

3. Служебные знаки: (,).

Определение формулы:

1. Пропозициональная переменная есть формула.

2. Если А — формула, то выражение ØА есть формула.

3. Если А — формула и В — формула, то выражение

(А & В) [чит.: “А и В”] есть формула;

(А Ú В) [чит.: “А или В”] есть формула;

(А º В) [чит.: “Либо А, либо В”] есть формула;

(А É В) [чит.: “Если А, то В”] есть формула;

(А º В) [чит.: “Если и только если А, то В”] есть формула.

Семантика:

Каждая формула выражает суждение: простое (пропозициональная переменная), сложное (формула, определяемая пунктом (3) определения формулы), суждение с внешним отрицанием (пункт (2) определения формулы). Каждая формула может принимать одно из значений: “истина” (И) или “ложь” (Л) в соответствии с тем, истинно или ложно суждение, которое она выражает.

Значение логических констант задаётся следующей таблицей:

А В ØА (А & В) (А Ú В) (А º В) (А → В) (А º В)
И И Л И И Л И И
И Л Л Л И И Л Л
Л И И Л И И И Л
Л Л И Л Л Л И И

(5а) Соединительные (конъюнктивные) суждения.

Соединительным (конъюнктивным) называется суждение, выражаемое формулой вида (А & В). Например: “Кража и мошенничество относятся к умышленным преступлениям.” [Кража является умышленным преступлением, и мошенничество является умышленным преступлением]. Простые суждения “Кража является умышленным преступлением.” и ”Мошенничество является умышленным преступлением.” называются конъюнктами данного соединительного высказывания.

Конъюнкция имеет следующие важные свойства:

(а) коммутативность: (А & В) равносильно (В & А) (равносильными называются суждения, принимающие одинаковые значения (И или Л) при одинаковых значениях простых суждений, входящих в их состав);

(б) ассоциативность: ((А & В) & С) равносильно (А & (В & С)).

В связи с ассоциативностью конъюнкции высказывание, содержащее более двух конъюнктов записывается обычно без внутренних скобок: (А & В & С &D).

В естественном языке конъюнктивная связка выражается не только союзом “и”, но и некоторыми другими: “а”, ”да”, “но”, ”также”, ”как..., так и...”, ”хотя”, ”однако”, “несмотря на”, ”вместе с тем”, “не только.., но и..” и другими. Например:

Платон был не только известным философом, но и отличным спортсменом.

(5б) Разделительные (дизъюнктивные) суждения.

Разделительным (дизъюнктивным) называется суждение, выражаемое формулой вида (А Ú В) (нестрогая дизъюнкция) или (А º В) (строгая дизъюнкция).

В нестрого разделительном суждении утверждается об истинности по крайней мере одного из дизъюнктов. Например: “Кражу совершили N. или М..” [Кражу совершили N. или М., а возможно они совершили её вместе].

В строго разделительном суждении утверждается об истинности только одного из дизъюнктов. Например: “Подозреваемый является либо организатором, либо исполнителем преступления.” [Подозреваемый является организатором преступления, либо подозреваемый является исполнителем преступления, но никак не тем и другим].

Простые суждения “Подозреваемый является организатором преступления.” и ”Подозреваемый является исполнителем преступления.” называются дизъюнктами данного разделительного высказывания.

Дизъюнкция (как и конъюнкция) имеет свойства:

(а) коммутативность: (А Ú В) равносильно (В Ú А);

(б) ассоциативность: ((А Ú В) Ú С) равносильно (А Ú (В Ú С)).

Кроме того, дизъюнкция и конъюнкция обладают свойством дистрибутивности относительно друг друга, то есть:

((А Ú В) & С) равносильно ((А & С) Ú (В & С));

((А & В) Ú С) равносильно ((А Ú С) & (В Ú С)).

В естественном языке нестрогая дизъюнкция выражается, как правило, союзом “или”, а строгая дизъюнкция — союзами “либо..., либо...”, ”или..., или...”.

(5в) Условные (импликативные) суждения.

Условным (импликативным) называется суждение, выражаемое формулой вида (А → В). Например: “Если судья является родственником потерпевшего, то он не может участвовать в рассмотрении дела.” Суждение “Судья является родственником потерпевшего.” называется основанием (антецедентом), а суждение ”Он не может участвовать в рассмотрении дела.” — следствием (консеквентом) данного условного суждения. Как видно из таблицы истинности, условное суждение ложно только в одном случае: когда основание истинно, а следствие ложно.

Импликация, в отличие от конъюнкции и дизъюнкции, не обладает свойством коммутативности, то есть:

(А → В) НЕравносильно (В → А);

Импликация обладает свойством транзитивности, то есть:

((А → В) & (В → С))

(А → С)

В естественном языке импликация выражается союзами “Если..., то...”, “..., потому что...”, ”..., так как...”, “В случае... имеет место...” и другими. Например:

У меня по логике одни пятёрки, так как логика — мой любимый предмет.

(5г) Суждения об эквивалентности.

Суждением эквивалентности называется суждение, выражаемое формулой вида (А º В). Например: “Если и только если обучаемый стремится к знаниям, он овладевает ими.” [Стремление к знаниям является не только достаточным, но и необходимым условием для овладения ими]. В этом случае говорят, что суждения “Обучаемый стремится к знаниям.” и “Обучаемый овладевает знаниями.” находятся в отношении эквивалентности (или тождественности).

Эквивалентность обладает свойствами симметричности, то есть:

(А º В) равносильно (В º А).

Эквивалентность связана с импликацией следующим образом:

(А º В) равносильно ((А → В) & (В → А))

В естественном языке эквивалентность выражается, как правило, союзами “Если и только если..., то...”, “... тогда и только тогда, когда...”. Например:

Если и только если курсант хорошо отвечает, преподаватель ставит оценку “отлично”.

(5д) Суждения с внешним отрицанием.

Суждением с внешним знаком отрицания называется суждение, выражаемое формулой вида Ø А. Например: “Неверно, что некоторые курсанты нашего взвода являются неуспевающими”. Отрицание, в отличие от конъюнкции, дизъюнкции, импликации и эквивалентности, является одноместной операцией, для которой характерно следующее свойство (в классической логике).

В естественном языке отрицание выражается, как правило, словами “Неверно, что....”, “Нельзя сказать, что....”, “В действительности не имеет место....”. Например:

Нельзя сказать, что сегодня хорошая погода.

(5е) Взаимосвязь логических союзов.

ØØА равносильно А.

Ø(А & В) равносильно (ØА Ú ØВ)

Ø(А Ú В) равносильно (ØА & ØВ)

(А → В) равносильно (ØА Ú В)

(А → В) равносильно Ø (А & ØВ)

Ø(А → В) равносильно (А & ØВ)

(А → В) равносильно (ØВ → ØА)

(А º В) равносильно ((А → В) & (ØА → ØВ))

(5ж) Отношения между сложными суждениями.

Между двумя сложными суждениями В и С возможны следующие отношения:

(1) Л огическое следование (подчинение): С логически следует из В (В |= С), то есть всегда, когда В истинно, С — также истинно.

В С
И И
Л И
И Л
Л Л

(2) Противоположность (контрарность): С и В находятся в отношении противоположности, если они не могут быть оба истинными, но могут быть оба ложными.

В С
И И
Л И
И Л
Л Л

(3) Субконтрарность: С и В находятся в отношении субконтрарности, если они не могут быть оба ложными, но могут быть оба истинными.

В С
И И
Л И
И Л
Л Л

(4) Противоречие (контрадикторность): С и В находятся в отношении противоречия, если они не могут быть оба ни истинными, ни ложными.

В С
И И
Л И
И Л
Л Л

(5) Эквивалентность (равнозначность): С и В находятся в отношении эквивалентности, если их истинностные значения совпадают, то есть они либо оба истинные, либо оба ложные.

В С
И И
Л И
И Л
Л Л

(6) Логическая независимость: С и В находятся в отношении логической независимости, если возможны любые сочетания их истинностных значений.

В С
И И
Л И
И Л
Л Л

Понравилась статья? Добавь ее в закладку (CTRL+D) и не забудь поделиться с друзьями:  



Сейчас читают про: