СЛОЖНЫЕ ВЫСКАЗЫВАНИЯ

Понятие о сложном высказывании и логическом союзе

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

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

Основными логическими союзами являются следующие:

1). Конъюнкция (соединение) - логическая связь, которая приблизи­тельно соответствует смыслу грамматического союза "и". Сложные выска­зывания, образованные с помощью этого союза называются конъюнктивными, или соединительными.

2). Дизъюнкция (разделение) - логический союз, который соответст­вует смыслу грамматического союза "или". Сложное высказывание, обра­зованные с помощью этого союза, называются дизъюнктивным или разделительным.

3). Импликация (извлечение, следование) - логическая связь, кото­рая в естественном языке обычно передается союзом "если, то". Сложные высказывания, образованные с помощью этого союза, называются условными.

В зависимости от смысла, союза "если, то" условные высказывания могут представлять co6oй: импликацию, обратную импликацию или репликацию и двойную импликацию или эквиваленцию.

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

Рассмотрим особенности упомянутых логических связей. В этих це­лях будем использовать следующие символические средства:

1) p, q, r, s….. - логические переменные для обозначения простых высказываний как элементарных, далее не разлагаемых на части единиц смысла, которые имеют логическое значение;

2) знаки логических союзов: Л- знак конъюнкции, V - знак дизъ­юнкции,— — - знак импликации. - - знак репликации ,-< — > - знак эквиваленции; знак строгой дизъюнкции.

3) знак отрицания обозначается чертой над символом или символический выражением;

4/ технические знаки для выделения смысловых блоков сложного выражения – ( ) левая и правая скобки.