<< Предыдушая Следующая >>

Импликация


- это сложное суждение, принимающее логическое значение ложности тогда и только тогда, когда предшествующее суждение, называемое антецедентом, истинно, а последующее, называемое консеквентом, ложно. В естественном языке импликация выражается союзом «если..., то» в смысле «неверно, чтор
и не-q» (р A q). Например, «если число делится на 9, то оно делится и на 3» (т. е. «неверно, что число делится на 9 и не делится на 3»), Символически импликация записывается p^q (если р, то q). Логическое значение импликации соответствует таблице истинности: р я p^q И И И И Л Л Л И И Л Л И Условная связь «если..., то», будучи средством выражения законов науки, оказывается полезна также и для выяснения таких важных с точки зрения логики понятий, как необходимое и достаточное условие чего-либо. Анализ свойств импликации показывает, что истинность антецедента является достаточным условием истинности консекеента, в то же время истинность консекеента является необходимым условием истинности антецедента. Таким образом, достаточным для некоторого явления считается такое условие, наличие которого непременно вызывает это явление, а необходимым для некоторого явления считается условие, без которого данное явление не имеет места.
<< Предыдушая Следующая >>
= Перейти к содержанию учебника =
Информация, релевантная "Импликация"
  1. 2.6. Выражение одних логических связок посредством других
    Рассмотренные выше логические союзы взаимозаменяемы, т. е. равносильны и выразимы через другие логические союзы. Например: (р Zj q) = (р / q) - импликация через дизъюнкцию; (р Zj q) = (р Л q) - импликация через конъюнкцию; (р Z) ц) = (q Z) р) - импликация через импликацию, так называемый закон простой (слева-направо) и сильной (справа-налево) контрапозиции; (р л q) = (р v q) - конъюнкция через
  2. Парадоксы материальной импликации.
    Так обозначается смысловое расхождение операции материальной импликации с ее символической формулой: АгэВ. Согласно материальной импликации истинность А, для истинности формулы Az>B, необходимо, чтобы и В было истинно. В этом случае речь идет о содержательном понимании ложности и истинности высказывания. Однако формула ADB истинна не только в указанном случае, но и тогда, когда А - ложно, а В -
  3. Теория к 23 заданию: Отношение логического следования.
    Для решения многих логических задач необходимо выяснить: является ли одна формула логическим следствием других. Определение: Из формулы Ф1 логически следует формула Ф2 тогда и только тогда, когда их импликация (Ф1^Ф2) - является логическим законом. Например, пусть формула Ф1: АлВ, а Ф2: АvВ. Определить, следует ли из Ф1 формула Ф2. Составим таблицу истинности для формулы (АлВ) ^ (АvВ): Порядок
  4. Задания 19-23. Тема «Сложные суждения».
    Теория: Сложные суждения - это суждения, в котором можно выделить правильную часть, которая являлась бы самостоятельным суждением. Сложные суждения образуются из простых с помощью так называемых логических союзов (логических операций): «НЕВЕРНО, ЧТО» (отрицание), «И» (конъюнкция), «ИЛИ» (дизъюнкция), «ЛИБО, ЛИБО» (строгая дизъюнкция), «ЕСЛИ, ТО» (Импликация), «ТОГДА И ТОЛЬКО ТОГДА, КОГДА»
  5. Основные прямые правила
    • Правило введения конъюнкции (ВК): А В АлВ • Правило удаления конъюнкции (УК): АлВ АлВ А В • Правило введения дизъюнкции (ВД): т AvB • Правило удаления дизъюнкции (УД): AvB AvB А В В Правило удаления импликации (УИ): А^В А В Правило введения эквивалентности (ВЭ): А^В В^А А^В Правило удаления эквивалентности (УЭ): А^В А^В А^В'В^А Правило введения двойного отрицания (ВО): А А Правило удаления
  6. ЭКЗАМЕНАЦИОННЫЕ ВОПРОСЫ
    Формальная логика как наука. Понятие логической формы и логического закона. Мышление и язык, основные аспекты языка: семантика, синтаксис, прагматика. Основные законы логики. Понятие. Содержание и объем понятия, отношение между ними. Виды понятий. Понятие рода и вида. Операции ограничения и обобщения понятий. Отношения между понятиями. Операции над классами: объединение (сложение), пересечение
  7. 4.1. Чисто-условный и условно-категорический силлогизмы
    1. Чисто-условный силлогизм - это умозаключение, посылками и заключением которого являются условные суждения. Следует отметить, что заключение в данном виде силлогизма может делаться из любого количества посылок, поскольку выводы чисто-условного силлогизма можно охарактеризовать как выводы на основании свой-ства транзитивности импликации. Иначе говоря, вывод в чисто- условном силлогизме
  8. 2.5. Сложные суждения и их виды. Понятие о логическом союзе
    Сложное суждение - это суждение, образованное из простых посредством логических союзов: конъюнкции, дизъюнкции, импликации, эквивалентности и отрицания. Логический союз - это способ соединения простых суждений в сложное, при котором логическое значение последнего устанавливается в соответствии с логическими значениями составляющих его простых суждений. Особенность сложных суждений заключается в
  9. Понятие логической формы
    Логическая форма - это структура мысли или способ связи элементов ее содержания. Логическая форма выражается посредством логических переменных и логических констант. В качестве логической переменной может выступать любая буква латинского алфавита: А, В, С, р, q. Константы, или логические постоянные, выступают способом связи логических переменных и выражаются словами: «все», «некоторые», «суть»,
  10. Глава первая
    * Сформулированы предписания вопрошающему, относящиеся к прсддискуесионпому этапу. — 506. 3 В смысле рассуждающего доказательно (аподиктически), а не диалектически. — 506. 8 Ср. «Первая аналитика», 24 а 30 — Ъ 1; «Вторая аналитика», 71 b 19 — 72 а 8. — 506. 4 См. «Тепика» II — VII. — 506. 6 Добавление произвольных, не необходимых посылок не делает вывод некорректным. Ср.
  11. Синтаксис логики предикатов
    Алфавит логики предикатов Таблица 1 1 Знаки для обозначения предметных констант. а, Ь, с,... 2 Знаки для обозначения предметных переменных. х,У, ... 3 Знаки для обозначения ^-местных предикатов, п > 0. г, 0і 4 Знаки для обозначения л-местных функциональных символов, и > 0. f,g\h\ 5 Знаки для обозначения произвольных термов. 6 Знаки для обозначения кванторов общности и существования. (*), (Ex)
  12. IV. ЛОГИКА ИЛИ МАТЕМАТИКА
    В свете наших предыдущих рассуждений понятно, почему крайне трудно избежать произвольности при проведении границы между логикой и математикой. По мнению некоторых мыслителей, эту границу следует провести между логикой первого порядка и логикоИ второго порядка. Однако, как мы только что видели, это имеет то неудобное следствие, что понятия корректности и импликации 52 оказываются принадлежащими не
  13. 2. Статистическая и логическая вероятность
    Рудольф Карнап сделал попытку определить «вероятность теории или гипотезы» более общим способом, основанным не на традиционном исчислении вероятности. Он отправляется от материала чувственных наблюденией или измерений, который он кратко называет данным эмпирическим свидетельством (е). Затем он делает допущение, что посредством воображения или догадки мы нашли гипотезу Л, из которой выведены
  14. 4.3. Сложные суждения
    Суждения, которые образуются из простых суждений при помощи логических союзов, называются сложными. Основными логическими союзами являются: конъюнкция — логический союз «и» имеет чисто соединительное значение, неисключающая (слабая) дизъюнкция — логический союз «или» имеет соединительно-разделительное значение, исключающая (сильная) дизъюнкция — логический союз «либо... , либо...» имеет чисто
  15. 1. Исключение предметных логик
    Прежде всего мы должны уяснить отличие реальной логики от предметных логик. С развитием логической символики появились специфические логические исчисления, направленные на описание некоторого рода содержательных связей. Такова, к примеру, логика причинности. Поскольку причинное следование обычно выражается суждением «Если а, то 6», то естественно возникает желание определить его как некоторый
Портал "Твой Экзамен" © 2014
info@referati.me

Рейтинг@Mail.ru