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

Импликация


- это сложное суждение, принимающее логическое значение ложности тогда и только тогда, когда предшествующее суждение, называемое антецедентом, истинно, а последующее, называемое консеквентом, ложно. В естественном языке импликация выражается союзом «если..., то» в смысле «неверно, чтор
и не-q» (р A q). Например, «если число делится на 9, то оно делится и на 3» (т. е. «неверно, что число делится на 9 и не делится на 3»), Символически импликация записывается p^q (если р, то q). Логическое значение импликации соответствует таблице истинности: р я p^q И И И И Л Л Л И И Л Л И Условная связь «если..., то», будучи средством выражения законов науки, оказывается полезна также и для выяснения таких важных с точки зрения логики понятий, как необходимое и достаточное условие чего-либо. Анализ свойств импликации показывает, что истинность антецедента является достаточным условием истинности консекеента, в то же время истинность консекеента является необходимым условием истинности антецедента. Таким образом, достаточным для некоторого явления считается такое условие, наличие которого непременно вызывает это явление, а необходимым для некоторого явления считается условие, без которого данное явление не имеет места.
<< Предыдушая Следующая >>
= Перейти к содержанию учебника =
Информация, релевантная "Импликация"
  1. 4.3. Сложные суждения
    Суждения, которые образуются из простых суждений при помощи логических союзов, называются сложными. Основными логическими союзами являются: конъюнкция — логический союз «и» имеет чисто соединительное значение, неисключающая (слабая) дизъюнкция — логический союз «или» имеет соединительно-разделительное значение, исключающая (сильная) дизъюнкция — логический союз «либо... , либо...» имеет чисто
  2. Понятие логической формы
    Логическая форма - это структура мысли или способ связи элементов ее содержания. Логическая форма выражается посредством логических переменных и логических констант. В качестве логической переменной может выступать любая буква латинского алфавита: А, В, С, р, q. Константы, или логические постоянные, выступают способом связи логических переменных и выражаются словами: «все», «некоторые», «суть»,
  3. 2.5. Сложные суждения и их виды. Понятие о логическом союзе
    Сложное суждение - это суждение, образованное из простых посредством логических союзов: конъюнкции, дизъюнкции, импликации, эквивалентности и отрицания. Логический союз - это способ соединения простых суждений в сложное, при котором логическое значение последнего устанавливается в соответствии с логическими значениями составляющих его простых суждений. Особенность сложных суждений заключается в
  4. Парадоксы материальной импликации.
    Так обозначается смысловое расхождение операции материальной импликации с ее символической формулой: АгэВ. Согласно материальной импликации истинность А, для истинности формулы Az>B, необходимо, чтобы и В было истинно. В этом случае речь идет о содержательном понимании ложности и истинности высказывания. Однако формула ADB истинна не только в указанном случае, но и тогда, когда А - ложно, а В -
  5. 2.6. Выражение одних логических связок посредством других
    Рассмотренные выше логические союзы взаимозаменяемы, т. е. равносильны и выразимы через другие логические союзы. Например: (р Zj q) = (р / q) - импликация через дизъюнкцию; (р Zj q) = (р Л q) - импликация через конъюнкцию; (р Z) ц) = (q Z) р) - импликация через импликацию, так называемый закон простой (слева-направо) и сильной (справа-налево) контрапозиции; (р л q) = (р v q) - конъюнкция через
  6. 4.1. Чисто-условный и условно-категорический силлогизмы
    1. Чисто-условный силлогизм - это умозаключение, посылками и заключением которого являются условные суждения. Следует отметить, что заключение в данном виде силлогизма может делаться из любого количества посылок, поскольку выводы чисто-условного силлогизма можно охарактеризовать как выводы на основании свой-ства транзитивности импликации. Иначе говоря, вывод в чисто- условном силлогизме
  7. Основные прямые правила
    • Правило введения конъюнкции (ВК): А В АлВ • Правило удаления конъюнкции (УК): АлВ АлВ А В • Правило введения дизъюнкции (ВД): т AvB • Правило удаления дизъюнкции (УД): AvB AvB А В В Правило удаления импликации (УИ): А^В А В Правило введения эквивалентности (ВЭ): А^В В^А А^В Правило удаления эквивалентности (УЭ): А^В А^В А^В'В^А Правило введения двойного отрицания (ВО): А А Правило удаления
  8. ЭКЗАМЕНАЦИОННЫЕ ВОПРОСЫ
    Формальная логика как наука. Понятие логической формы и логического закона. Мышление и язык, основные аспекты языка: семантика, синтаксис, прагматика. Основные законы логики. Понятие. Содержание и объем понятия, отношение между ними. Виды понятий. Понятие рода и вида. Операции ограничения и обобщения понятий. Отношения между понятиями. Операции над классами: объединение (сложение), пересечение
Портал "Твой Экзамен" © 2014
info@referati.me

Рейтинг@Mail.ru