- •Предисловие
- •Глава I предмет и значение логики
- •Глава II логика и язык
- •Глава III понятие
- •Приемы образования понятий
- •Содержание и объем понятий
- •Виды понятий
- •Единичные, общие, пустые понятия
- •Конкретные и абстрактные понятия
- •Положительные и отрицательные понятия
- •Безотносительные и соотносительные понятия
- •Отношения между понятиями
- •Логические операции над понятиями
- •Обобщение и ограничение понятий
- •Определение понятий
- •Правила определения
- •Неявные определения Приемы, замещающие определение
- •Деление
- •Правила деления. Возможные ошибки
- •Виды деления
- •Приложение
- •Простые суждения
- •Упражнение 2
- •Суждения об отношениях (реляционные)
- •Суждение существования (экзистенциальные)
- •Распределенность терминов в суждении
- •Выделяющие и исключающие суждения
- •Отношения между суждениями логический квадрат
- •Сложные суждения
- •Построение таблицы истинности
- •Упражнение 11
- •Упражнение 12
- •Логические отношения между сложными суждениями
- •Достаточные и необходимые условия
- •Модальность суждений
- •Логика вопросов и ответов
- •Правила формулирования ответа
- •Практикум 3
- •Дедуктивные умозаключения
- •(Выводы из простых суждений)
- •Умозаключение как форма мышления
- •Виды умозаключений
- •Непосредственные умозаключения
- •Превращение
- •Обращение
- •Противопоставление предикату
- •Противопоставление субъекту
- •Простой категорический силлогизм
- •Способы проверки правильности простого категорического силлогизма
- •Умозаключения из суждений с отношениями
- •Дедуктивные умозаключения
- •Разделительный силлогизм
- •Энтимема
- •Полисиллогизмы, сорит, эпихейрема
- •Индуктивные умозаключения
- •Структура индуктивного умозаключения
- •Виды индуктивных умозаключений
- •Виды неполной индукции
- •Методы установления причинных связей2 (методы индуктивного исследования)
- •Метод сходства
- •Метод различия
- •Соединенный метод сходства и различия
- •Метод сопутствующих изменений
- •Метод остатков
- •Умозаключения по аналогии
- •Структура умозаключения по аналогии
- •Виды умозаключения по аналогии
- •Условия повышения вероятности заключений по аналогии
- •Принципы классической логики (основные законы логики)
- •Закон тождества5
- •Закон непротиворечия6
- •Закон исключенного третьего7
- •Закон достаточного основания8
- •Логические основы аргументации
- •Правила и ошибки в доказательстве и опровержении
- •Непозволительные способы защиты и опровержения
- •Литература
- •111395, Москва, ул. Юности, 5/1
Построение таблицы истинности
Построение таблицы истинности для суждений, в которые входят более двух переменных, строится по определенным правилам.
Пусть вам необходимо построить таблицу истинности для следующего суждения: (А → (В С)).
Для определения количества строк в таблице истинности воспользуемся следующей формулой: 23 = 8 строк, где 2 – логическая константа, так как любое суждение может быть либо истинным, либо ложным, третьего в двухзначной логике не дано.
Алгоритм распределения значений И и Л для переменных таков:
– в столбце для А сначала пишем 4 раза «И» и 4 раза «Л»;
– в столбце для В сначала пишем 2 раза «И» и 2 раза «Л», затем повторяем;
– в столбце для С поочередно, начиная со значения «И» чередуем значения.
Пример таблицы для сложного суждения (А → (В С)).
-
А
В
С
(А →
(В С))
И
И
И
И
И
И
И
Л
Л
Л
И
Л
И
Л
Л
И
Л
Л
Л
Л
Л
И
И
И
И
Л
И
Л
И
Л
Л
Л
И
И
Л
Л
Л
Л
И
Л
Порядок выполнения действий в данной таблице такой же, как и в математике: вначале выполняются действия в скобках, а затем между скобками. В зависимости от распределения значений «истина» и «ложь» в результирующем столбце в логике различаются три вида формул: а) выполнимая формула – та, которая в результирующем столбце может принимать, по крайней мере, одно значение: «истина»; б) тождественно-ложная формула – та, которая соответственно принимает только значение «ложь»; в) тождественно-истинная (или логический закон) формула – та, которая в результирующем столбце принимает только значение «истина». Результирующим является столбец истины, который соответствует последнему выполняемому в ней действию.
Упражнение 11
С помощью простых суждений: а – «Я работаю в офисе», b – «Я люблю свою профессию», с – «Я учусь в университете» составьте высказывания, соответствующие следующим формулам:
a b c.
a b c.
c → (a b).
b → (a b).
(a b) → c.
(a → b) → (c → b).
(a → b) a → c .
(a Ú b) → c.
c→ (a b).
c b a
При решении данной задачи необходимо учитывать, что – логический термин – знак отрицания.
Пример: a b c – Я работаю в офисе, и я люблю свою профессию, и я учусь в университете.
Упражнение 12
Установите, являются ли данные формулы тождественно - истинными (или логическими законами).
a → (a b);
b → (a b);
(a → b) → (b → a);
a b a;
(a b) → b;
(a → b) → (b → a).
((a → b) a )→ b.
((a → b) b) → a.
a a.
((a b) a) → b.
Пример: (а ∩ b) (b ∩ a) – является логическим законом
a |
b |
a∩b |
b∩a |
(а ∩ b) (b ∩ a) |
и |
и |
и |
и |
и |
и |
л |
л |
л |
и |
л |
и |
л |
л |
и |
л |
л |
л |
л |
и |