Суждение пример

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

Конъюнктивное суждение (конъюнкция) – это сложное суждение с соединительным союзом И, который обозначается в логике условным знаком «∧». С помощью этого знака конъюнктивное суждение, состоящее из двух простых суждений, можно представить в виде формулы: а ∧ b (читается «а и b «), где а и b – это два каких-либо простых суждения. Например, сложное суждение: Сверкнула молния, и загремел гром является конъюнкцией (соединением) двух простых суждений: Сверкнула молния и Загремел гром. Конъюнкция может состоять не только из двух, но и из большего числа простых суждений. Например: Сверкнула молния, и загремел гром, и пошел дождь (а ∧ b ∧ с ).

Дизъюнктивное суждение (дизъюнкция) – это сложное суждение с разделительным союзом ИЛИ. Вспомним, что, говоря о логических операциях сложения и умножения понятий, мы отмечали неоднозначность этого союза – он может использоваться как в нестрогом (неисключающем) значении, так и в строгом (исключающем). Неудивительно поэтому, что дизъюнктивные суждения делятся на два вида: нестрогая и строгая дизъюнкция соответственно.

Нестрогая дизъюнкция – это сложное суждение с разделительным союзом ИЛИ в его нестрогом (неисключающем) значении, который обозначается знаком «∨». С помощью этого знака нестрогое дизъюнктивное суждение, состоящее из двух простых суждений, можно представить в виде формулы: a ∨ b (читается «а или b «), где а и b – это два простых суждения. Например, сложное суждение Он изучает английский, или он изучает немецкий является нестрогой дизъюнкцией (разделением) двух простых суждений: Он изучает английский и Он изучает немецкий. Эти суждения друг друга не исключают, ведь возможно изучать и английский, и немецкий одновременно, поэтому данная дизъюнкция является нестрогой.

Строгая дизъюнкция – это сложное суждение с разделительным союзом ИЛИ в его строгом (исключающем) значении, который обозначается знаком «∨_». С помощью этого знака строгое дизъюнктивное суждение, состоящее из двух простых суждений, можно представить в виде формулы: а ∨_ b (читается «или а, или b «), где а и b – это два простых суждения. Например, сложное суждение: Он учится в 9 классе, или он учится в 11 классе является строгой дизъюнкцией (разделением) двух простых суждений: Он учится в 9 классе, Он учится в 11 классе. Обратим внимание на то, что эти суждения друг друга исключают, ведь невозможно одновременно учиться и в 9, и в 11 классе (если он учится в 9 классе, то точно не учится в 11 классе, и наоборот), в силу чего данная дизъюнкция является строгой.

Как нестрогая, так и строгая дизъюнкции могут состоять не только из двух, но и из большего числа простых суждений. Например: Он изучает английский, или он изучает немецкий, или он изучает французский (a ∨ b ∨ с ); Он учится в 9 классе, или он учится в 10 классе, или он учится в 11 классе (a ∨_ b ∨_ c ).

Импликативное суждение (импликация) – это сложное суждение с условным союзом ЕСЛИ…ТО, который обозначается знаком «=>». С помощью этого знака импликативное суждение, состоящее из двух простых суждений, можно представить в виде формулы: а => в (читается «если а, то b «), где а и b – это два простых суждения. Например, сложное суждение Если вещество является металлом, то оно электропроводно представляет собой импликативное суждение (причинно-следственную связь) двух простых суждений: Вещество является металлом и Вещество электропроводно. В данном случае эти два суждения связаны таким образом, что из первого вытекает второе (если вещество – металл, то оно обязательно электропроводно), однако из второго не вытекает первое (если вещество электропроводно, то это вовсе не означает, что оно является металлом).

Первая часть импликации называется основанием, а вторая – следствием; из основания вытекает следствие, но из следствия не вытекает основание. Формулу импликации: а => b, можно прочитать так: «если а, то обязательно b, но если b, то не обязательно а «.

Эквивалентное суждение (эквиваленция) – это сложное суждение с союзом ЕСЛИ…ТО не в его условном значении (как в случае с импликацией), а в тождественном (эквивалентном). В данном случае этот союз обозначается знаком «<=>», с помощью которого эквивалентное суждение, состоящее из двух простых суждений, можно представить в виде формулы: а <=> b (читается «если а, то b, и если b, то а «), где а и b – это два простых суждения. Например, сложное суждение Если число является четным, то оно делится без остатка на 2 представляет собой эквивалентное суждение (равенство, тождество) двух простых суждений: Число является четным и Число делится без остатка на 2. Нетрудно заметить, что в данном случае два суждения связаны так, что из первого вытекает второе, а из второго – первое: если число четное, то оно обязательно делится без остатка на 2, а если число делится без остатка на 2, то оно обязательно четное.

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

Отрицательное суждение (отрицание) – это сложное суждение с союзом НЕВЕРНО, ЧТО, который обозначается знаком «». С помощью этого знака отрицательное суждение можно представить в виде формулы: а (читается «неверно, что а «), где а – это простое суждение. Здесь может возникнуть вопрос: где же вторая часть сложного суждения, которую мы обычно обозначали символом b ? В записи а, уже присутствуют два простых суждения: а – это какое-то утверждение, а знак «» – его отрицание. Перед нами как бы два простых суждения – одно утвердительное, другое отрицательное. Пример отрицательного суждения: Неверно, что все мухи являются птицами.

Союзов в естественном языке много, но все они по смыслу сводятся к рассмотренным пяти видам, и любое сложное суждение относится к одному из них. Например, сложное суждение Уж полночь близится, а Германна все нет является конъюнкцией, потому что в нем союз А употребляется в роли соединительного союза И. Сложное суждение Посеешь ветер, пожнешь бурю, в котором вообще нет союза, является импликацией, так как два простых суждения в нем связаны условным союзом ЕСЛИ…ТО.

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

Живое существо является человеком только тогда, когда оно обладает мышлением (эквиваленция).

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

• Вчера он получил двойку не только по математике, но еще и по русскому (конъюнкция).

• Проводник нагревается, когда через него проходит электрический ток (импликация).

• Окружающий нас мир либо познаваем, либо нет (строгая дизъюнкция).

• Либо же он совершенно бездарен, либо же полный лентяй (нестрогая дизъюнкция).

• Когда человек льстит, он лжет (импликация).

• Вода превращается в лед лишь при температуре от нуля градусов по Цельсию и ниже (эквиваленция).

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

Вместо того, чтобы пойти в школу, он пошел гулять (конъюнкция).

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

То ли в мире действует всеобщая закономерность, то ли всеобщая случайность (строгая дизъюнкция).

Он не готовился к занятиям или систематически прогуливал их (нестрогая дизъюнкция).

Чем дальше в лес, тем больше дров (импликация).

Деревья качаются, потому что дует ветер (импликация).

Хотя на море разыгрался шторм, корабль неуклонно двигался своим курсом (конъюнкция).

• Глаза боятся, а руки делают (конъюнкция).

• Бели с утра шел дождь, то к полудню прояснилось (конъюнкция).

• Кончил дело, гуляй смело (импликация).

• Треугольник является равносторонним только тогда, когда все его углы равны (эквиваленция).

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

• оба простых суждения истинные;

• первое суждение истинное, а второе ложное;

• первое суждение ложное, а второе истинное;

• оба суждения ложные.

Таблица

Как видим, конъюнкция (а ∧ b ) истинна только тогда, когда истинны оба простых суждения, входящих в нее. Надо отметить, что конъюнкция, состоящая не из двух, а из большего количества простых суждений, также истинна только в том случае, когда истинны все входящие в нее суждения. Во всех остальных случаях она является ложной.

Нестрогая дизъюнкция (a ∨ b ), наоборот, истинна во всех случаях за исключением того, когда оба входящих в нее простых суждения ложны. Нестрогая дизъюнкция, состоящая не из двух, а из большего количества простых суждений, также ложна только тогда, когда ложны все входящие в нее простые суждения. Строгая дизъюнкция (а ∨_ b ) истинна только тогда, когда одно входящее в нее простое суждение истинно, а другое ложно. Строгая дизъюнкция, состоящая не из двух, а из большего количества простых суждений, истинна только в том случае, если истинно только одно из входящих в нее простых суждений, а все остальные ложны.

Импликация (а => b ) ложна только в одном случае, – когда ее основание является истинным, а следствие ложным. Во всех остальных случаях она истинна.

Эквиваленция (а <=> b ) истинна тогда, когда два составляющих ее простых суждения истинны или же когда они оба являются ложными. Если одна часть эквиваленции истинна, а другая ложна, то эквиваленция ложна.

Обращение – логическая операция, меняющая субъект и предикат местами без изменения качества исходного суждения.

1.Схема обращения для общеутвердительного суждения А:

Все S суть Р → Некоторые Р суть S

Пример: «Все теннисисты – спортсмены» → «Некоторые спортсмены – теннисисты».

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

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

Схема такого обращения: Все S суть Р → Все Р суть S.

Пример: «Любой сонет – это ямбическое четырнадцатистишие из четырех законченных строф» → «Любое ямбическое четырнадцатистишие из четырех законченных строф является сонетом».

2.Схема обращения для общеотрицательного суждения Е:

Ни один S не есть Р → Ни один Р не есть S

Пример: «Ничто великое в мире не совершается без страсти» → «Ничто, совершаемое без страсти, не является великим».

Определите самостоятельно, правильно ли обращено следующее суждение и будет ли оно чистым: «Ни одна собака не рассуждает по силлогизму» → «Никто из рассуждающих по силлогизму не является собакой».

3. Схема обращения для частноутвердительного суждения I:

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

Пример: «Некоторые фильмы Спилберга являются шедеврами кинематографического искусства» → «Некоторые шедевры кинематографического искусства являются фильмами Спилберга». В таблице это пример IV (объемы субъекта и предиката частично пересекаются).

Если суждение А, как мы проанализировали выше, может обращаться или с ограничением, или чисто, то суждение I, помимо чистого обращения, в некоторых ситуациях требует обращения с обобщением.

Схема: Некоторые S суть Р → Все Р суть S

Пример: «Некоторые музыкальные сочинения являются сонатами Моцарта» → «Все сонаты Моцарта являются музыкальными сочинениями». Квантор «некоторые» заменяется квантором «все», поскольку предикат исходного суждения подчинен субъекту (пример V таблицы).

4. Частноотрицательные суждения не обращаются.

Превращение

Превращение – логическая операция с двойным отрицанием, преобразующая исходное суждение в противоположное (А → Е, Е → А, I → О, О → I).

Схема превращения для А и Е:

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

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

Примеры:

«Каждый миг жизни нужно ценить» → «Ни один миг жизни нельзя не ценить».

«Ни одно событие в мире не происходит случайно» → «Все события в жизни происходят неслучайно».

Схема превращения для I и O:

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

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

Примеры:

«Некоторые мысли являются нелегкими для восприятия на слух» → «Некоторые мысли не являются легкими для восприятия на слух».

«Некоторые фильмы не являются безыдейными» → «Некоторые фильмы являются небезыдейными».

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

Практика.

Контрольная работа по теме «Простые суждения»:

1) Дайте определение суждению как логической форме мысли и раскройте его структуру.

2) Найдите субъект, предикат и связку в следующем суждении: «Чувственность часто перегоняет росток любви».

3) Осуществите логический анализ двух суждений: «Некоторые юристы не владеют ораторским искусством»; «Некоторые юристы – отличные софисты».

4) Дайте графическую иллюстрацию данному суждению: «Любовь есть стремление к вечному обладанию благом».

5) Изобразите в кругах Эйлера такое суждение: «Ни один человек не является вещью».

6) Напишите собственные примеры общеутвердительного суждения (А), общеотрицательного суждения (Е), частноутвердительного суждения (I), частноотрицательного суждения (О). Какое из перечисленных суждений не подлежит логическому обращению?

7) Используя логический квадрат, осуществите максимально возможное число логических выводов из следующих условий:

А истинно → …

Е истинно → …

О ложно → …

8) Каким является суждение «Любой опыт восприятия прекрасного обостряет в нас общее чувство жизни» по качеству и количеству? Приведите суждение, находящееся с данным в отношении противоречия.

9) Зарисуйте нижеследующее суждение в кругах Эйлера и определите, распределен ли в этом суждении предикат: «Некоторые музыкальные произведения Чайковского хорошо известны во всем мире».

10) Осуществите логическую операцию обращения и превращения со следующим утверждением: «Ни один просвещенный человек не мыслит абстрактно».

11) Какое суждение противоположно данному, а какое – противоречит исходному утверждению: «Все люди от природы стремятся к знанию»?

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

ФГБОУ ВПО «Уральский государственный экономический университет»

Центр дистанционного образования

Контрольная работа

по дисциплине: Логика

Вариант № 14

Выполнил: студент

группы ЮР-17 Ом

Екатеринбург

1. Подберите понятия, находящиеся в соответствующем отношении к указанным и изобразите эти отношения графическими схемами:

а) равнозначности (тождественности) – к понятиям: «М.В.Ломоносов»,

«коммерсант»;

А – М.В. Ломоносов

В — первый русский учёный-естествоиспытатель мирового значения

В первом и во втором случае мы говорим об одном человеке, поэтому понятия равнозначные

А – коммерсант;

B – специалист в сфере торговли

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

Отношения равнозначности

б) пересечения (перекрещивания) – к понятиям: «студент», «браконьер»;

А – студент

В – отличник

Объем понятий частично совпадают.

Так как студент может быть отличником, но не все студенты могут быть отличниками.

А – Браконьер

В – Мужчина (охотник)

Браконьером может быть мужчина, но не всегда браконьером может быть мужчина, может быть и женщина.

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

Несравнимыми среди простых являются суждения, имеющие:

    1. различные субъекты или
    2. различные предикаты.

Таковы, например, два суждения:

«Среди космонавтов есть летчики»; «Среди космонавтов есть женщины».

Сравнимыми являются суждения с одинаковыми субъектами и предикатами и различающиеся связкой или квантором (суждения одинаковой материи):

«Все американские индейцы живут в резервациях»; «Некоторые американские индейцы не живут в резервациях».

Среди сравнимых различают совместимые и несовместимые суждения.

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

Логический квадрат

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

Вершины логического квадрата символизируют простые категорические суждения — А, Е, I, О; стороны и диагонали — отношения между суждениями:

  • Противоположность ( контрарность)
  • Противоречие (контрадикторность)
  • Частичная совместимость (субконтрарность)

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

К совместимым относятся суждения, которые одновременно могут быть истинными.

Виды совместимости:

    1. эквивалентность (полная совместимость);
    2. частичная совместимость (субконтрарность);
    3. подчинение.

Эквивалентные суждения имеют одинаковые логические характеристики:

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

С помощью логического квадрата отношения между простыми эквивалентными суждениями не иллюстрируются.

Подробнее

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

Например, различными словами могут быть выражены кванторы: «некоторые», «иногда», «как правило» и т.п.; использованы синонимы для выражения субъекта или предиката; суждения могут быть сформулированы на различных национальных языках: «Это стол», «It is a table».

Эту особенность эквивалентных суждений надо учитывать при анализе правовых контекстов, при переводах с одного языка на другой, при сравнении словесно различных утверждений в процессе дискуссии.

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

При ложности одного из них другое будет истинным. Например, при ложности суждения «Некоторые злаки ядовиты» будет истинным суждение «Некоторые злаки не являются ядовитыми».

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

Подчинение имеет место между суждениями А и I, E и О. Для них характерны следующие две зависимости:

1) При истинности общего сyждения частное всегда будет иcтинным: А→1, Е→0.

Например, при истинности общего суждения «Всякое правоотношение регулируется нормами права» истинным будет и частное — «Некоторые правоотношения регулируются нормами права».

При истинности суждения «Ни один кооператив не относится к государственным организациям» будет истинным и суждение «Некоторые кооперативы не относятся к государственным организациям».

2) При ложности частного сyждения общее сyждение также будет ложным

Например, если неверно утверждение, что «Некоторые хищения совершаются по неосторожности», то тем более будет неверным утверждение «Всякое хищение совершается по неосторожности».

При подчинении остаются неопределенными следующие зависимости:

    1. при ложности общего суждения подчиненное частное может быть как истинным, так и ложным;
    2. при истинности подчиненного частного общее может быть как истинным, так и ложным.

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

Несовместимыми являются суждения

    1. А и E,
    2. А и О,
    3. Е и I,

которые одновременно не могут быть истинными.

Виды несовместимости:

    1. противоположность;
    2. противоречие.

Противоположными (контрарными) являются суждения А и Е, которые одновременно

  • не могут быть истинными, но
  • могут быть одновременно ложными.

Истинность одного из противоположных суждений определяет ложность другого. Например, истинность суждения «Все офицеры — военнослужащие» определяет ложность суждения «Ни один офицер не является военнослужащим».

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

Противоречащими (контрадикторными) являются суждения А и О, Е и I, которые одновременно не могут быть ни истинными, ни ложными.

Для противоречия характерна строгая, или альтернативная несовместимость:

    • при истинности одного из суждений другое всегда будет ложным;
    • при ложности первого второе будет истинным.

Отношения между такими суждениями регулируются законом исключенного третьего.

Например, если признается истинным суждение «Все принципиальные люди признают свои ошибки», то ложным будет ему альтернативное: «Некоторые принципиальные люди не признают своих ошибок».

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

Например, суждения «Суд вынес обвинительный приговор по делу Л.» и «Суд не вынес обвинительного приговора по делу Л.» находятся в отношении противоречия: если первое суждение истинно, то признается ложность второго, и наоборот.

Определяемое понятие – покой; определяющее понятие – отсутствие беспокойства. В данном определении нарушено правило, согласно которому определяющее понятие по возможности не должно содержать в себе отрицательных признаков.3.2. Истина — дочь разума, мать мудрости.Определяемое понятие – истина; определяющее понятие – дочь разума, мать мудрости.В данном определении нарушено правило ясности: определяющее понятие не содержит существенных признаков определяемого понятия. 3.3. Объявление ребенка, достигшего 16 лет, полностью дееспособным называется эмансипацией. Определяемое понятие – эмансипация; определяющее понятие – объявление ребенка, достигшего 16 лет, полностью дееспособным.В данном определении нарушено правило соразмерности (ошибка – слишком узкое определение): определяющее понятие уже определяемого понятия (А > Вс), поскольку эмансипация – это не только объявление ребенка, достигшего 16 лет, полностью дееспособным.Задание 4. Определите вид суждения. В атрибутивных суждениях найдите субъект, предикат, связку. Определите качество и количество суждения, укажите кванторное слово. Установите распределенность терминов: 4.1. Ни один человек не должен страдать за правду.Суждение атрибутивное (суждение о качествах). Субъект (S) – человек; предикат (Р) – тот, кто должен страдать за правду; связка – отрицательная (не есть). Кванторное слово – ни один. Суждение по качеству отрицательное, по количеству общее, по объединенной классификации общеотрицательное (Е). Формула суждения: Ни один S+ не есть Р+. Субъект и предикат распределены (взяты в полном объеме). 4.2. В здоровом теле здоровый дух. Суждение экзистенциальное (суждение о существовании). 4.3. некоторые лекарства опаснее самих болезней (Сенека). Суждение релятивное (суждение об отношениях). Задание 5. Установите вид сложного суждения, укажите его составные части (простые суждения). Запишите сложные суждения в символической форме: 5.1. Лучше скажи мало, но хорошо. Простые суждения в составе сложного:р – лучше скажи мало; q – лучше скажи хорошо.Вид суждения – соединительное (конъюнкция). В символической форме: р ^ q.5.2. Худо когда в дивизии недостает провизии (Прутков). Простые суждения в составе сложного:р – в дивизии недостает провизии; q – худо.Вид суждения – условное (импликация). В символической форме: р → q.5.3. Волков бояться — в лес не ходить. Простые суждения в составе сложного:р – волков бояться; q – в лес ходить.Вид суждения – условное (импликация); следствие представляет собой отрицание. В символической форме: р → ⌐q.Задание 6. Формализовать рассуждения и проверить его корректность с помощью таблиц истинности: 6.1. Я сдам экзамен по логике, если и только если не буду пропускать занятия и научусь решать задачи. Я сдал экзамен по логике. Следовательно, я не пропускал занятия и научился решать задачи. Простые суждения в составе сложного:р – я сдам экзамен по логике; q – я не буду пропускать занятия; r – я научусь решать задачи.Формула рассуждения:((р ↔ (q ^ r)) ^ p) → (q ^ r)Проверим корректность рассуждения табличным методом:pqr((р ↔ (q^r)) ^ p) → (q ^ r)ИИИИИИИИИИИИЛИЛЛЛИИЛИЛИИЛЛЛИИЛИЛЛИЛЛЛИИЛЛИИЛЛИЛЛИИЛИЛЛИЛЛЛИЛЛЛИЛИЛЛЛИЛЛЛЛЛИЛЛЛИЛДанная формула является тождественно-истинной (она истинна при любых значениях переменных), а рассуждение, таким образом, является корректным.Задание 7. Сделайте вывод (если это возможно) путем превращения: 7.1. Судьи несменяемы.В правильной форме: Все судьи суть несменяемы. Превращение:Все судьи суть несменяемы.Ни один судья не есть сменяем.Схема превращения:А: Все S+ суть Р-.Е: Ни один S+ не есть не-Р+. Правило распределения терминов соблюдено.7.2. Труд закаляет. В правильной форме: Всякий труд есть то, что закаляет. Превращение:Всякий труд есть то, что закаляет.Ни один труд не есть то, что не закаляет.Схема превращения:А: Все S+ суть Р-.Е: Ни один S+ не есть не-Р+.Правило распределения терминов соблюдено.7.3. Цыплят по осени считают. В правильной форме: Все цыплята суть то, что по осени считают. Превращение:Все цыплята суть то, что по осени считают.Ни один цыпленок не есть то, что по осени не считают.Схема превращения:А: Все S+ суть Р-.Е: Ни один S+ не есть не-Р+.Правило распределения терминов соблюдено.Задание 8. Сделайте вывод (если это возможно) путем обращения: 8.1. Все студенты юридических вузов изучают логику. В правильной форме: Все студенты юридических вузов суть изучающие логику. Обращение:Все студенты юридических вузов суть изучающие логику.Некоторые изучающие логику – студенты юридических вузов.Схема обращения:А: Все S+ суть Р-.I: Некоторые Р- суть S-.Данное суждение обращается с ограничением (общеутвердительное – в частноутвердительное). Правило распределения терминов соблюдено.8.2. Некоторые космонавты – женщины. Обращение:Некоторые космонавты суть женщины.Некоторые женщины суть космонавты.Схема обращения:I: Некоторые S- суть Р-.I: Некоторые Р- суть S-.Правило распределения терминов соблюдено.8.3. Некоторые преступления не являются умышленными. Данное суждение является частноотрицательным (О) и обращению не подлежит. Задание 9. Сделайте вывод (если это возможно) путем противопоставления предикату: 9.1. Некоторые юристы не являются следователями. Противопоставление предикату:Некоторые юристы не являются следователями.Некоторые не-следователи являются юристами.Схема противопоставления предикату:О: Некоторые S- не суть Р+.I: Некоторые не-Р- суть S-.Правило распределения терминов соблюдено.9.2. Некоторые сделки являются односторонними. Данное суждение является частноутвердительным (I) и противопоставлению предикату не подлежит (операция противопоставления предикату есть последовательное применение операций превращения и обращения, в результате превращения получается частноотрицательное суждение (О), которое обращению не подлежит).Задание 10. Сделайте вывод из посылок; с помощью общих правил силлогизма установите, следует ли заключение с необходимостью: 10.1. Некоторые юристы – адвокаты. Семенов – юрист.

Добавить комментарий

Ваш адрес email не будет опубликован. Обязательные поля помечены *