МОДУЛЬ 2
Суждение — это мысль, (1) являющаяся истинной или ложной, (2) выражаемая повествовательным предложением, (3) имеющая форму
Структура простого атрибутивного суждения
ПРИМЕРЫ:
ПРИМЕРЫ:
Правила логического квадрата:
Правила логического квадрата:
Примеры:
Сложное суждение: виды логических союзов
2. Дизъюнкция нестрогая (∨)
3. Импликация (→)
4. Эквиваленция (↔)
Примеры:
Алгоритм построения таблицы истинности
7.75M

Презентация МОДУЛЬ 2

1. МОДУЛЬ 2

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

2. Суждение — это мысль, (1) являющаяся истинной или ложной, (2) выражаемая повествовательным предложением, (3) имеющая форму

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

3.

Виды простых суждений:
1) атрибутивное суждение - суждение о наличии (отсутствии) свойств у
предмета. Примеры: «Это яблоко — отравленное», «Некоторые юристы не
являются прокурорами», "Закон это разновидность нормативно-правового
акта".
2) реляционное суждение - суждение об отношении двух и более предметов.
Примеры: «Бологое находится между Ленинградом и Москвой», Немецкий
юрист Савиньи Ф.К. жил раньше российского правоведа Трубецкого Е.Н.
3) экзистенциальное суждение - суждение о существовании (или отрицание
существования). Примеры: «вечного двигателя не существует», "Существуют
разные точки зрения о понятии права."

4.

5. Структура простого атрибутивного суждения

Субъект (S) – это то, о чём
говориться в суждении
(предмет мысли);
Предикат
(P)

это
свойство или признак,
приписываемый субъекту;
S и P – это термины
простого суждения.
Логическая связка – это элемент
простого суждения, с помощью
которого
утверждается
или
отрицается принадлежность признака
предмету.
Слова маркеры: «есть», «является», «не есть»,
«не является».
Квантор (кванторное слово) – это
указание на то, в каком объёме
рассматривается субъект (полностью
или частично).
Слова маркеры: «Все», «некоторые», «каждый»,
«часть».

6. ПРИМЕРЫ:

1.
Семёнов – адвокат;
2.
В некоторых странах существует президентская форма правления;
3.
Граждане РФ имеют право на образование;
4.
В исключительных случаях разбирательство в судах является не открытым;
5.
Дела в судах первой инстанции не рассматриваются коллегией судей;
6.
Подозреваемый может быть подвергнуть личному обыску в порядке,
установленном ст. 184 УПК РФ;
7.
Большая часть вещественных доказательств хранится не в порядке,
предусмотренном постановлениями Правительства РФ;
8.
Лишь немногие участники уголовного судопроизводства не могут быть
подвержены процессуальному принуждению.

7.

Распределеннный термин – это термин, который
полностью
включается или полностью исключается из объема другого термина.
Нераспределенный термин – это термин, который
включается или исключается из объема другого термина.
частично

8. ПРИМЕРЫ:

1.
2.
3.
4.
5.
Степанов имеет высшее юридическое образование;
Права авторов охраняются законом;
Никто не может быть подвергнуть произвольному аресту;
Ни один из судей не праве воздержаться от голосования;
Некоторые споры разрешаются во внеюрисдикционном
порядке;
6. В основном поднадзорные субъекты добровольно исполняют
представление прокурора;
7. Каждый государственный служащий не вправе заниматься
предпринимательской деятельностью;
8. Автором произведения признаётся гражданин, творческим
трудом которого оно создано.

9.

10. Правила логического квадрата:

1. Суждения A-O и E-I находятся в отношении противоречия.
Правило: одно из двух противоречащих друг другу суждений, должно быть
непременное истинным, т.е. если суждение вида A ложно, то О – истинно
и наоборот.
2. Суждения А-Е находятся в отношении противоположности.
Правило: противоположные суждения не могут быть одновременно
истинными, но могут быть одновременно ложными, т.е. истинность
любого из этих суждений необходимо подразумевает ложность другого. В
тоже время, если известно, что одно из противоположных суждений
ложно, то о значении второго суждения ничего определенного сказать
нельзя: оно может быть как истинным, так и ложным (т.е.
неопределенным).

11. Правила логического квадрата:

3. Суждения I-O находятся в отношении пересечения.
Правило: суждения не могут быть одновременно ложными, но могут быть
одновременно истинными, т.е. если известно, что одно из этих суждений ложно, то
другое будет необходимо истинно. Однако, если известно, что одно из данных
суждений истинно, то о логическом значении другого суждения ничего
определенного сказать нельзя: оно может быть как истинным, так и ложным.
4. Суждения A-I и E-O находятся в отношении подчинения.
Правила:
1. если истинно какое-либо общее суждение (A или E), то необходимо истинным
будет и соответствующее ему частное суждение (I или O), но не наоборот, т.е. из
истинности частного суждения нельзя с определенностью заключить об истинности
или ложности общего суждения;
2.Если ложно какое-либо частное суждение (I или O), то ложными будут и
соответствующие им общие суждения (A или E), но не наоборот, т.е. если известно,
что какое-либо общее суждение ложно, то соответствующее ему частное суждение
может быть как истинным, так и ложным.

12. Примеры:

1. Любой федеральный закон принимается Федеральным Собранием РФ (истина).
Ни один федеральным закон не принимается Федеральным Собранием РФ (???)
2. Всякий, кто поступил в УрГЮУ, будет работать юристом (ложное).
Некоторые из тех, кто поступил в УрГЮУ, не будут работать юристами (???)
3. Каждый прокурор знает УПК РФ (истина).
Некоторые прокуроры знают УПК РФ (???)
4. Часть злаковых является ядовитыми (истина).
Все злаковые являются ядовитыми (???)
5. Большинство законов являются справедливыми (ложь).
Некоторые законы не являются справедливыми (???)
6. Ни один судебный акт не подлежал пересмотру (ложь).
Некоторые судебные акты не подлежали пересмотру (???).

13. Сложное суждение: виды логических союзов

1. Конъюнкция (& или ∧)
Слова маркеры: «и», «а», «но», "да", "также" и их синонимов
1. Пётр и Сергей напишут тест по
логике на отлично;
2. Водитель вышел из машины и
увидел пробитое колесо;
3. Света разлила краски, но швабры
под рукой не было.

14. 2. Дизъюнкция нестрогая (∨)

Слова маркеры: «или» и иные синонимы
данного союза
Дизъюнкция строгая (∨ +
точка)
Слова маркеры: «либо … либо

15. 3. Импликация (→)

Слова маркеры: «если …, то …»,
«следовательно», «значит» и их
синонимов.
*" Условие" (основание) и "следствие"
- это термины, обозначающие две
разные части импликации.
*Формула импликации А → В не равна
формуле В → А.
В импликации условие и следствие
нельзя переставлять местами.

16. 4. Эквиваленция (↔)

Слова маркеры: «если и только
если», «тогда и только тогда»
1. Ученик сможет сдать экзамен на
отлично если и только если не будет
пропускать лекции;
2. Заключение под стражу в качестве
меры пресечения
применяется
только и только тогда, когда
невозможно
назначить
более
мягкие меры пресечения.

17. Примеры:

1. Заинтересованное лицо вправе обратиться в суд за защитой
нарушенных прав, свобод или законных интересов.
2. Судья может рассматривать дело, если он не является родственником
кого-либо из лиц, участвующих в деле, и лично не заинтересован в исходе
дела. Если судья является родственником кого-либо из лиц, то он не
может рассматривать дело.
3. Истец вправе отказаться от иска если и только если это не противоречит
закону и не нарушает права и законные интересы других лиц. В
противном случае суд вправе не принять отказ от иска.
4. Уголовной ответственности подлежит только вменяемое физическое
лицо, достигшее возраста, установленного УК РФ.
5. Если зима начинается в октябре, то Вы живёте в Сибири. Если Вы не
живёте в Сибири, то зима на не начинается в октябре.

18. Алгоритм построения таблицы истинности

1. Представить простые суждения буквенными обозначениями (А, В, С и др. –
переменные);
2. Составить формулу сложного суждения с помощью переменных;
3. Расставить очерёдность решения формулы (1 действие, 2 действие, 3 действие и
т. д.).
4. Записать значения истинности переменных;
5. Подставить значение каждой переменной в формулу, если переменная в
формуле дана с отрицанием, значит подставляем противоположные значения;
6. Пользуясь таблицами истинности, определить значение в первом действии
(первой скобке);
7. Определяем значение во втором действии (не забываем взять значение
истинности из первой скобки);
8. Определяет значение в третьем действии и т. д.
*Если при любых значениях истинности простых суждений, сложное суждение истинно – это логический закон

19.

Успехов на
тесте!!!
Алла
бирса!!!
rinatashirbakiev
English     Русский Rules