Сложные суждения
Образование сложных суждений. Союз как важнейший элемент в структуре сложного суждения. Установление логического значения при помощи таблиц истинности. Построение таблицы истинности для выражения, а также установление главного логического союза.
| Рубрика | Философия |
| Вид | контрольная работа |
| Язык | русский |
| Дата добавления | 23.10.2013 |
| Размер файла | 94,5 K |
Отправить свою хорошую работу в базу знаний просто. Используйте форму, расположенную ниже
Студенты, аспиранты, молодые ученые, использующие базу знаний в своей учебе и работе, будут вам очень благодарны.
Размещено на http://www.allbest.ru/
1. Образование сложных суждений
Сложное суждение - это суждение, которое состоит из двух и более простых суждений, связанных между собой логическими союзами.
Союз является важнейшим элементом в структуре сложного суждения. По союзу определяют его вид и логические характеристики. От союза зависят условия истинности сложного суждения. Союзы выражают определенный вид связи предметов. К основным логическим союзам относятся:
1. Отрицание.
2. Конъюнкция.
3. Дизъюнкция (слабая, сильная).
4. Импликация.
5. Эквивалентность.
2. Установление логического значения сложных суждений при помощи таблиц истинности
Вид сложного суждения зависит от союза. С помощью союзов устанавливается вид сложных суждений. Определив вид можно построить таблицу истинности. Условия истинности сложных суждений основываются на допущении двузначности и задаются при помощи таблиц истинности.
1. Таблица истинности для конъюнкции
p, q - пропозициональные переменные, обозначающие простые суждения. Буква «И» означает истину, а буква «Л» означает ложь. Каждой строке таблицы соответствует сложное суждение.
Соединительные (конъюнктивные) суждения истинны тогда, когда истинны все входящие в него простые суждения. Конъюнкция ложна, если ложен хотя бы один из ее членов.
2. Таблица истинности для дизъюнкции:
а) слабая дизъюнкция истинна, когда истинен хотя бы один из членов дизъюнкции, и ложна, когда все ее члены - ложны;
б) сильная дизъюнкция истинна только при разных логических значениях членов дизъюнкции и ложна при одинаковых.
3. Таблица истинности для импликации
Импликативное суждение истинно во всех случаях, кроме одного, когда один член импликации истинен, а другой ложен. То есть в случае, когда причина возникла, а следствие не наступает, вся импликация является ложной.
4. Таблица истинности для эквиваленции.
истинность суждение сложный логический
Эквивалентные суждения являются равнозначными. Поэтому они истинны при равных значениях членов эквиваленции и ложны - при разных.
5. Таблица истинности для отрицания.
«Отрицание» - унарный союз. Если исходное суждение истинно, то его отрицание - ложно, и наоборот.
Сложное суждение может не только состоять из нескольких простых суждений, но и включать в себя несколько логических союзов. Чтобы установить истинность такого суждения, необходимо установить главный логический союз, указывающий на вид суждения, и построить соответствующую таблицу истинности
3. Установите вид следующих сложных суждений и определите их истинность при помощи таблиц истинности
Редакция вправе увеличить или уменьшить размер гонорара.
Сильная дизъюнкция.
|
И |
И |
Л |
|
|
И |
Л |
И |
|
|
Л |
И |
И |
|
|
Л |
Л |
Л |
Данное сложное суждение истинно кроме случая, когда оба утверждения ложны либо истины. В данном случае редакция вправе выбрать любой один вариант, либо уменьшить, либо увеличить. Редакция не может выбрать одновременно 2 варианта.
Значит данное суждение истинно при выборе одного варианта.
1.1 Банан - пищевое растение и источник доходов для экспортирующих стран.
Конъюнкция.
Данное суждение истинно, если обе части истинны. В данном суждении обе части верны, следовательно, суждение истинно.
|
И |
И |
И |
|
|
И |
Л |
Л |
|
|
Л |
И |
Л |
|
|
Л |
Л |
Л |
1.2 Он сейчас находится в Минске или в Петербурге.
Сильная дизъюнкция.
|
И |
И |
Л |
|
|
И |
Л |
И |
|
|
Л |
И |
И |
|
|
Л |
Л |
Л |
Данное сложное суждение истинно кроме случая, когда оба утверждения ложны либо истины. В данном случае он не может одновременно находится в двух местах, а значит одно утверждение верно, а другое истинно.
Значит данное суждение истинно при выборе одного варианта.
1.3 Кукушка хвалит петуха за то, что хвалит он кукушку.
|
И |
И |
И |
|
|
И |
Л |
Л |
|
|
Л |
И |
Л |
|
|
Л |
Л |
И |
Данное суждение является истинным, т.к. кукушка хвалит только тогда, когда её хвалят, а значит, если её не будут хвалить, то и она перестанет.
1.4 Если к 2 прибавить 2, то получится 4.
|
И |
И |
И |
|
|
И |
Л |
Л |
|
|
Л |
И |
И |
|
|
Л |
Л |
И |
Данное суждение ложно, только если первая часть истина, а другая ложна. В данном случае оба выражения истинны. Вторая часть является следствием первой, а значит оно верно, если первое верно.
4. Постройте таблицу истинности для выражения ¬(р(рvq))
|
p |
q |
рvq |
р(рvq) |
¬(р(рvq)) |
|
|
И |
И |
И |
И |
Л |
|
|
И |
Л |
И |
И |
Л |
|
|
Л |
И |
И |
И |
Л |
|
|
Л |
Л |
Л |
И |
Л |
Выражение является ложным. Главным логическим союзом данного выражения является (отрицание).
Размещено на Allbest.ru
...Подобные документы
Суждения со сложным субъектом и сложным предикатом, понятие их истинности или ложности. Соединительные и разделительные суждения. Построение логического квадрата. Антецедент и консеквент условных и эквивалентных суждений и их символическая запись.
контрольная работа [18,8 K], добавлен 23.09.2011Понятие простого и сложного суждения. Логические связки, конъюнктивное суждение. Импликативные (условные) суждения. Парадоксы материальной импликации. Основные суждения эквивалентности. Особенности выражения одних логических связок посредством других.
реферат [24,7 K], добавлен 07.05.2010Предмет и цели изучения логики. Понятие и основные концепции истины. Решение задач с помощью "кругов Эйлера". Формализация сложного суждения и построение таблиц истинности. Определение пар суждений, находящихся в отношении противоречия и подчинения.
контрольная работа [116,4 K], добавлен 16.10.2016Характеристика логического определения суждений. Изучение логических связей между суждениями. Истинностное значение сложных суждений. Особенности логических связок, которыми связываются отдельные суждения. Условный (гипотетический) силлогизм и дилеммы.
реферат [30,7 K], добавлен 13.08.2010Предмет логики, ее значение и виды. Особенности определения истинности сложного суждения по таблице истинности. Построение фигуры категорического силлогизма на основании посылки: "Все люди – смертны". Путь формирования логической культуры мышления.
контрольная работа [12,2 K], добавлен 07.12.2009Сущность и значение суждения, его отличительные признаки и структура. Связь между предложениями и суждениями. Значение логического смысла предложений и языковые формы одного суждения. Классификация простых и сложных суждений по характеру предиката.
презентация [344,1 K], добавлен 14.10.2013Классификация суждений, их схем и принятых в логике обозначений. Распределение терминов и изображение их соотношения с помощью круговых схем Эйлера. Установление вида и символическая схема сложного суждения. Формально-логический закон и его нарушение.
контрольная работа [21,9 K], добавлен 20.08.2011Вид отношения между понятиями. Примеры операций обобщения и ограничения понятий, отвечающих условиям правильности. Вид сложного суждения, его изображение в виде символов, непосредственные умозаключения. Конъюнктивные, эквивалентные, условные суждения.
контрольная работа [17,8 K], добавлен 20.08.2009Логическая характеристика некоторых понятий. Круговые схемы логических отношений между понятиями. Объединенная классификация суждений, анализ их истинности при помощи "логического квадрата". Проверка правильности простого категорического силлогизма.
контрольная работа [103,9 K], добавлен 29.11.2010Объединенная классификация суждений, их схемы и принятые в логике обозначения. Составление таблицы истинности, разбор силлогизма. Логический вывод сложной деструктивной дилеммы. Формально-логический закон и его нарушение. Логическая схема умозаключения.
контрольная работа [36,2 K], добавлен 04.08.2013Содержание некоторых понятий, обобщения и ограничения данного понятия. Схема отношений определяемого понятия и определяющей части определения. Отображение отношений между простыми суждениями при помощи таблицы истинности, непосредственное умозаключение.
контрольная работа [27,1 K], добавлен 16.10.2010Поиск кругов Эйлера, соответствующих перечню понятий. Отношения между понятиями по объему при помощи кругов Эйлера. Понятие логического суждения, правила логического квадрата. Противоречия между суждениями. Средний и большой термин в силлогизме.
контрольная работа [40,9 K], добавлен 11.08.2009Изучение конкретных, пустых, абстрактных и общих понятий. Поиск отрицательных предикат в заданных суждениях и преобразование умозаключений в энтимемы. Построение таблиц истинности. Анализ способов аргументации формы обоснования апагогических тезисов.
контрольная работа [40,1 K], добавлен 03.02.2010Определение признаков понятия "безопасность". Принципы деления обязательства на односторонние, альтернативные, долевые и солидарные по правилам соразмерности и непрерывности. Установление отношений между суждениями А и В при помощи таблицы истинности.
контрольная работа [120,8 K], добавлен 05.01.2012Отношения между понятиями. Совместимость и несовместимость. Сложное суждение. Импликация, эквиваленция, отрицание. Таблицы истинности. Умозаключение по аналогии. Виды аналогий. Пересечение (перекрещивание), подчинение (субординация), противоположность.
контрольная работа [114,0 K], добавлен 05.03.2016Логика как раздел философии и наука о мышлении. Высказывание как форма мышления, понятие, структура и виды сложных высказываний. Логические значения сложных высказываний. Предложения, являющиеся сложными высказываниями, их логическая характеристика.
контрольная работа [42,6 K], добавлен 18.02.2013Суждение как отображение действительно существующих существенных связей и отношений между предметами. Общая характеристика суждения, субъект атрибутивного суждения. Причины бессмысленности суждений. Понятие "квантор существования" в современной логике.
реферат [13,5 K], добавлен 11.03.2012Всякое суждение может быть либо истинным, либо ложным, т.е. соответствовать действительности либо не соответствовать ей. Языковой формой выражения суждения является предложение. Структура суждения. Распределенность и значение терминов в суждении.
курсовая работа [27,6 K], добавлен 02.02.2008Суждение как форма мышления. Структура простого категорического суждения в логике. Суждение как логическая форма мышления. Суждение и вопрос. Требование истинности предпосылок при постановке вопроса, логические ошибки. Принципы классификации суждений.
реферат [22,8 K], добавлен 23.09.2010Логическая форма и законы мышления. Содержание и форма мысли. Виды понятий по содержанию. Таблицы истинности тождества и отрицания. Непосредственные умозаключения из сложных суждений. Прямые и косвенные доказательства.
контрольная работа [27,6 K], добавлен 26.01.2007
