Сложные суждения и условия их истинности

ФЕДЕРАЛЬНОЕ ГОСУДАРСТВЕННОЕ ОБРАЗОВАТЕЛЬНОЕ УЧРЕЖДЕНИЕ

ВЫСШЕГО ПРОФЕССИОНАЛЬНОГО ОБРАЗОВАНИЯ

ВСЕРОССИЙСКАЯ ГОСУДАРСТВЕННАЯ НАЛОГОВАЯ АКАДЕМИЯ МИНИСТЕРСТВО ФИНАНСОВ РОССИЙСКОЙ ФЕДЕРАЦИИ

Реферат по дисциплине

«Логика»

на тему:

«Сложные суждения и условия их истинности»

Выполнил: студент группы ЮО-104

Подопригора С.В.

Проверил:

Старченко Н.Н

Москва 2010

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

Логика выделяет четыре логических союза: соединительный союз (конъюнкция), в языке выразимый грамматическими союзами и частицами "и", "а", "но", "да" и т.п.; разделительный союз (дизъюнкция) - "или", "либо" и т.п.; условный союз (импликация) - "если.., то" и союз эквивалентности, тождественности (эквиваленция) - "если и только если.., то", "тогда и только тогда, когда".

Два или более простых суждения могут образовывать сложное с помощью соединительного союза, который символически изображается знаком "/". Например: "Сегодня воскресенье, и мы едем за город". Это конъюнктивное суждение можно записать в виде формулы: (S есть Р) и (S1 есть р1). Если же простые суждения, которые нам хорошо уже известны, обозначать для простоты выражения отдельными символами, то эта формула примет сокращенный вид (В и С), где символ "В" соответствует простому суждению "S есть Р", а символ "С" - другому простому суждению "S1 есть Р1". А если мы и логический союз заменим на символическое его изображение, то получим совсем короткую и удобную для использования формулу: "В/С", которая выражает лишь структурные особенности построения данной формы мысли (что логику-то и интересует) и не отвлекает нас своим содержанием. По формуле легко установить количество составных элементов сложного суждения - левый и правый член конъюнкции, и сам логический союз. Остается выявить лишь закономерности, определяемые главным элементом данной конструкции - логическим союзом.

Поскольку простое суждение в такой виде имеет для нас значение лишь своей главной особенностью - простое суждение по природе своей может быть либо истинным, либо ложным, то основные зависимости сложного конъюнктивного суждения будут определяться его логическим союзом. Эти зависимости легко обнаруживаются в разработанных логикой так называемых "таблицах истинности" для логических союзов. Для конъюнкции таблица истинности такова:

В С В / С

и и и

л и л

и л л

л л л

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

Два или более простых суждения могут образовывать сложное и с помощью разделительного логического союза "/" (дизъюнкция). С его помощью можно образовать, на пример, такое сложное разделительное суждение: "Леса на территории нашей страны являются лиственными или хвойными или смешанными". Это суждение записывается в виде формулы В / С / Д, в которой каждый символ соответствует простому суждению и логическому союзу.

В логике различают два значения разделительного (дизъюнктивного) союза: разделительно-соединительный (слабая дизъюнкция) и строго разделительный союз (строгая, или сильная дизъюнкция). Слабая дизъюнкция не запрещает, не исключает одновременную истинность простых суждений, входящих в это сложное. Так, приведенное выше суждение "Леса бывают лиственными или хвойными или смешанными" являет собой образец слабой дизъюнкции: в данном случае союз "или" не только разъединяет, но и соединяет, допуская наличие перечисленных трех признаков у одного и того же леса. Зато строгая (сильная) дизъюнкция исключает одновременную истинность простых входящих в сложное суждений. Так, в суждении "Данное животное есть волк или медведь" союз "или" выполняет строго разделительную роль; одновременно данное животное тем и другим быть не может. Обычно слабую дизъюнкцию обозначают символом "v", а строгую — "v".

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

В С ВvС

и и и

л и и

и л и

л л л

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

Строго разделительный союз (v), соответственно своей сущности, формирует истинное сложное суждение лишь в том случае, когда только одно из всего количества простых суждений, входящих в сложное, является истинным. Другие случаи сочетани

Внимание, отключите Adblock

Вы посетили наш сайт со включенным блокировщиком рекламы!
Ссылка для скачивания станет доступной сразу после отключения Adblock!

Скачать