Логика (шпаргалка)

S1 и S2 есть P1 и Р2. Например: «С полицмейстером и прокуро¬ром Ноздрев тоже был на «ты» и обращался по-дружески» (Н.В. Го¬голь).

р q Р^ q

и И И

и Л л

л И л

л Л л

Соединительное суждение истинно при истинности всех состав¬ляющих его конъюнктов и ложно при ложности хотя бы одного из них. Условия истинности суждения р ^ q показаны в таблице (рис. 31), где истинность обозначена И, а ложность — Л. В первых двух столбцах таблицы р и q берутся как независимые и принимают поэ¬тому все возможные сочетания зна¬чений И и Л: ИИ, ИЛ, ЛИ, ЛЛ. В третьем столбце показано значение суждение р л q. Из четырех построч¬ных вариантов истинным оно явля¬ется лишь в 1-й строке, когда истин¬ны оба конъюнкта: и р, и q. Во всех остальных случаях оно ложно: во 2-й и 3-й строках в силу ложности одного из членов, а в 4-й в силу ложности обоих членов.

В – 19

Условные (импликативные) суждения.

Условным, или импликативным, называют суждение, состоя¬щее из двух простых, связанных логической связкой «если.., то...». Например: «Если предохранитель плавится, то электролампа гас¬нет». Первое суждение — «Предохранитель плавится» называют ан¬тецедентом, второе — «Электролампа гас¬нет» — консеквентом (последующим). Если антецедент обозначить р, консеквент — q, а связку «если..., то...» знаком «—>», то имплика-тивное суждение символически можно выразить как p—>q.

Условия истинности импликативного суждения показаны в таб¬лице. Импликация истинна во всех случаях, кроме одного:

Р q p-»q

и И И

и Л Л

л И И

л Л И

при истинности антецедента и ложности консеквента (2-я строка) импликация всегда будет ложной. Сочетание истинного антецедента, например «Предохранитель плавит¬ся», и ложного консеквента — «Электролампа не гаснет» — являет¬ся показателем ложности имплика¬ции.

Истинность импликации объяс¬няется следующим образом. В 1-й строке истинность р имплицирует

истинность q, или другими словами. если предохранитель плавится, то электролампа обязательно гаснет в силу их последовательного включения в электрическую цепь.

В 3-й строке при ложном антецеденте — «Предохранитель не плавится» консеквент является истинным — «Электролампа гас¬нет». Ситуация вполне допустимая, ибо предохранитель может не плавиться, а электролампа может погаснуть в силу других причин — отсутствия тока в цепи, перегорания нити в лампе и т.д. Таким образом, истинность q при ложности р не опровергает идею о наличии условной зависимости между ними, поскольку при истинности р всегда будет истинным и q.

В 4-й строке при ложном антецеденте — «Предохранитель не плавится» ложным является и консеквент — «Электролампа не гас¬нет». Такая ситуация возможна, но она не ставит под сомнение факт условной зависимости р и q, ибо при истинности р всегда будет истинным q.

4. Эквивалентные суждения (двойная импликация). Эквивалентным называют суждение, включающее в качестве составных два суждения, связанных двойной (прямой и обратной) условной зависимостью, выражаемой логической связкой «если и только если..., то...».

В-20

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

Сложные суждения также могут быть сравнимыми и несравни¬мыми.

Несравнимые — это суждения, которые не имеют общих пропо¬зициональных переменных. Например, р ^ q и m ^ n.

Сравнимые — это суждения, которые имеют одинаковые пропозиционные переменные (составляющие) и различаются логически¬ми связками, включая отрицание.

Сложные сравнимые суждения могут быть совместимыми и не¬совместимыми.

Отношение совместимости.

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

эквивалентность, частичная совместимость и подчинение.

1. Эквивалентные — это суждения, которые принимают одни и те значения, т.е. одновременно являются либо истинными, либо ложными.

2. Частичная совместимость характерна для суждений, кото¬рые могут быть одновременно истинными, но не могут быть одно¬временно ложными.

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

Отношение несовместимости.

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

Противоположность — отношение между суждениями, кото¬рые одновременно не могут быть истинными, но могут быть одно¬временно ложными.

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

В – 21

большую часть знаний мы получаем путем выведения новых знаний из знаний уже имеющихся. Эти знания называются опосредствованными, или выводными.

Логической формой получения выводных знаний является умо¬заключение.

Умозаключение — это форма мышления, посредством кото¬рой из одного или нескольких суждений выводится новое суждение.

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

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

Умозаключения делятся на следующие виды.

1. В зависимости от строгости правил вывода различают демон¬стративные (необходимые) и недемонстративные (правдоподоб¬ные) умозаключения. Демонстративные умозаключения характери¬зуются тем, что заключение в них с необходимостью следует из посылок, т.е. логическое следование в такого рода выводах представ¬ляет собой логический закон. В недемонстративных умозаключени¬ях правила вывода обеспечивают лишь вероятностное следование заключения из посылок.

2. Важное значение имеет классификация умозаключений по на¬правленности логического следования. С этой точки зрения различают три вида умозаключений: дедуктивные (от общего знания к частному), индук¬тивные (от частного знания к общему), умозаключения по аналогии (от частного знания к частному).

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

В – 22

§ 2. Непосредственные умозаключения

1. Превращение.

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

Превращать можно общеутвердительные, общеотрицательные, частноутвердительные и частноотрицательные суждения.

Общеутвердительное суждение (А) превращается в общеотри¬цательное (Е).

Схема превращения суждения А:

Все S суть Р Ни одно S не есть не-Р

Общеотрицательное суждение (Е) превращается в общеутвер¬дительное (А).

Схема превращения суждения Е:

Ни одно S не есть Р Все S суть не-Р

Частноутвердительное суждение (I) превращается в частно-отрицательное (О).

Схема превращения суждения I:

Некоторые S суть Р Некоторые S не суть не-Р

Частноотрицательное суждение (О) превращается в частно-утвердительное (I).

Схема превращения суждения О:

Некоторые S не суть Р Некоторые S суть не-Р

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

2. Обращение.

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

3. Противопоставление предикату.

Преобразование суждения, в результате которого субъектом становится понятие, противоречащее предикату, а предика¬том — субъект исходного суждения, называется противопостав¬лением предикату.

Значение умозаключений посредством противопоставления пре¬дикату состоит в том, что в них выясняется отношение предметов, не входящих в объём предиката, к предметам, отражённым субъектом исходного суждения. Устанавливая отношения между этими предметами, мы уточняем наши знания, высказываем нечто новое, что не было в явной форме выражено в исходном суждении.

В – 23

§ 4. Умозаключения из суждений с отношениями

Умозаключение, посылки и заключение которого являются суж¬дениями с отношениями, называется умозаключением с отноше¬ниями.

Посылки и заключение в приведенном примере — суждения с отношениями, имеющие логическую структуру xRy.

Логическим основанием умозаключений из суждений с отноше¬ниями являются свойства отношений, важнейшие из которых — 1) симметричность, 2) рефлексивность и 3) транзитивность.

1.Отношение называется симметричным, если перестанов¬ка членов отношения не ведет к изменению вида отношения. Отношение симметричности символически