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