- •Кафедра менеджмента логика
- •080502 – «Экономика и управление на предприятии (по отраслям)»
- •080507 – «Менеджмент организации»
- •050501 – «Профессиональное обучение (экономика и управление)»
- •Введение
- •1 Краткие теоретические сведения
- •1.1 Понятие
- •Виды понятий
- •1.1.2 Отношения между понятиями
- •1.1.3 Логические действия с понятиями
- •1.2 Суждение
- •1.2.1 Виды суждений
- •1.2.2 Таблицы истинности сложных суждений
- •1.2.3 Определение истинности сложного суждения, содержащего больше одной связки между составляющими его простыми суждениями
- •1.2.4 Логические действия с простыми категорическими суждениями
- •1.2.5 Отношения между сложными суждениями
- •1.2.6 Равносильные формулы сложных суждений
- •1.3 Умозаключение
- •1.3.1 Фигуры, модусы и мнемонические названия модусов
- •1.3.2 Условные и разделительные силлогизмы
- •2 Задания и пример выполнения
- •2.1 Анализ понятия и логические действия с ним Задание 1. Выделить в заданном тексте пять понятий и описать их видовые характеристики
- •Задание 2. Описать отношения между выделенными в задании 1 понятиями и отобразить их с помощью круговых схем Эйлера
- •Задание 3. Осуществить логические действия с теми или иными понятиями (по выбору) из выделенных в задании 1
- •Задание 2. Выделить в заданном тексте три сложных суждения и описать их структуру
- •Задание 4. Выбрать в задании 1 одно из простых суждений и осуществить с ним логические действия отрицание, превращение, обращение и противопоставление
- •В исходном суждении
- •Литература
- •Оглавление
- •1 Краткие теоретические сведения 4
- •Логика Методические указания
- •080502 – «Экономика и управление на предприятии (по отраслям)»
- •080507 – «Менеджмент организации»
- •050501 – «Профессиональное обучение (экономика и управление)»
1.2.2 Таблицы истинности сложных суждений
Истинность сложных суждений детерминируется истинностными характеристиками составляющих их простых суждений. В логике для этого используются таблицы истинности, в которых фиксируются истинностные характеристики составляющих сложное простых суждений и сложного суждения в целом. Если истинность обозначить символом «1», а неистинность – символом «0», то таблица истинности сложных суждений будет выглядеть следующим образом (таблица 1.1).
Таблица 1.1 – Истинность видов сложного суждения
р |
q |
^ |
v V |
V |
→ |
↔ |
1 |
1 |
1 |
0 |
1 |
1 |
1 |
1 |
0 |
0 |
1 |
1 |
0 |
0 |
0 |
1 |
0 |
1 |
1 |
1 |
0 |
0 |
0 |
0 |
0 |
0 |
1 |
1 |
1.2.3 Определение истинности сложного суждения, содержащего больше одной связки между составляющими его простыми суждениями
Используя истинностные таблицы (таблица 1.1), можно определить логические условия истинности сложных суждений, содержащих более чем одну логическую связку. Рассмотрим способ построения истинностной таблицы для таких суждений. Пример определения истинности сложного суждения, содержащего больше одной связки дан во втором разделе «Задание и пример выполнения расчётно-графической работы».
1. Определение числа логически возможных ситуаций. Число m логически возможных ситуаций для формулы с числом n переменных определяется равенством m = 2n. Так, для формулы с тремя переменными логически возможных ситуаций ровно 8, для формулы с 4 переменными их 16, и т. д.
2. Распределение истинностных значений, входящих в формулу переменных. Пусть формула содержит 4 различные переменные, то есть число строк истинностной таблицы, соответствующее числу логически возможных для формулы ситуаций, равно 16. В строках под первой переменной подряд записываем 8 значений «1» и далее 8 значений «0»; для второй переменной чередуется последовательность 4-х значений «1» и 4-х значений «0»; для третьей переменной чередуется последовательность 2-х значений «1» и 2-х значений «0»; для последней, четвертой переменной значения «1» и «0» чередуются через одно.
3. Поочерёдное определение истинности каждой связки сложного суждения с несколькими связками. Определяем с помощью таблиц истинности (таблица 1.1) истинность каждой отдельной связки сложного суждения по каждой отдельной логически возможной ситуации. Порядок рассмотрения связок сложного суждения определяется чтением его формулы слева направо, если иной порядок не предписан скобками. Связки суждения, выделенные скобками, рассматриваются в первую очередь. Наибольшим приоритетом пользуется логическая операция отрицания простого суждения.
4. Вывод относительно истинности сложного суждения с несколькими связками. Истинностные характеристики, полученные в результате анализа последней связки сложного суждения, являются истинностными характеристиками всего сложного суждения с несколькими связками. Делаем вывод относительно истинности всего сложного суждения с несколькими связками в соответствии со следующими положениями.
Высказывание называется логически истинным или общезначимым, если оно истинно в каждой логически возможной ситуации. Высказывание называется логически ложным или противоречием, если оно ложно в каждой логически возможной ситуации. Второй пример иллюстрирует противоречивое высказывание. Высказывание называется случайным, если в различных логически возможных ситуациях оно может быть как истинным, так и ложным. Третий пример иллюстрирует случайное высказывание.