СЛОЖНЫЕ ВЫСКАЗЫВАНИЯ
Понятие о сложном высказывании и логическом союзе
Сложными называются высказывания, которые состоят из двух или более простых, соединенных между собой логическими союзами.
Под логическим союзом мы будем понимать смысловую, содержательную связь между тематически близкими высказываниями, которая в предложении может и не выражаться.
Основными логическими союзами являются следующие:
1). Конъюнкция (соединение) - логическая связь, которая приблизительно соответствует смыслу грамматического союза "и". Сложные высказывания, образованные с помощью этого союза называются конъюнктивными, или соединительными.
2). Дизъюнкция (разделение) - логический союз, который соответствует смыслу грамматического союза "или". Сложное высказывание, образованные с помощью этого союза, называются дизъюнктивным или разделительным.
3). Импликация (извлечение, следование) - логическая связь, которая в естественном языке обычно передается союзом "если, то". Сложные высказывания, образованные с помощью этого союза, называются условными.
В зависимости от смысла, союза "если, то" условные высказывания могут представлять co6oй: импликацию, обратную импликацию или репликацию и двойную импликацию или эквиваленцию.
В теме "сложные высказывания рассматриваются также и такие, которые образованы из простых с помощью логического оператора отрицания ''неверно, что". В отличии от отрицательной связки отрицательных высказываний, которая выражает несовместимость субъекта и предиката и поэтому является внутренним отрицанием, логическим оператор "неверно, что" отрицает первоначальное логическое значению высказывания и поэтому является внешним отрицанием высказывания, суждения, образованные с помощью этого оператора, называются высказываниями отрицания.
Рассмотрим особенности упомянутых логических связей. В этих целях будем использовать следующие символические средства:
1) p, q, r, s….. - логические переменные для обозначения простых высказываний как элементарных, далее не разлагаемых на части единиц смысла, которые имеют логическое значение;
2) знаки логических союзов: Л- знак конъюнкции, V - знак дизъюнкции,— — - знак импликации. - - знак репликации ,-< — > - знак эквиваленции; знак строгой дизъюнкции.
3) знак отрицания обозначается чертой над символом или символический выражением;
4/ технические знаки для выделения смысловых блоков сложного выражения – ( ) левая и правая скобки.
Дата добавления: 2016-11-04; просмотров: 2424;