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

Вопросы лекции

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

2. Высказывания отрицания. Закон двойного отрицания

3. Виды сложных высказываний

3.1. Соединительные

3.2. Разделительные

3.3. Условные

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

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

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

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

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

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

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

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

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

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

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

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

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

Не нашли, что искали? Воспользуйтесь поиском: