Поиск:
А
Б
В
Г
Д
Е
Ж
З
И
Й
К
Л
М
Н
О
П
Р
С
Т
У
Ф
Х
Ц
Ч
Ш
Щ
Э
Ю
Я
Статьи
Импликация:
Импликация - (от лат. implicatio - сплетение, от implico — тесно связываю) - логическая связка, соответствующая грамматической конструкции «если ..., то ...», с помощью которой из двух простых высказываний образуется сложное высказывание. В импликативном высказывании различают антецедент (основание) — высказывание, идущее после слова «если», и консеквент (следствие) - высказывание, идущее за словом «то». Импликативное высказывание пред- ставляет в языке логики условное высказывание обычного языка. Последнее играет особую роль как в повседневных, так и в научных рассуждениях, основной его функцией является обоснование одного путем ссылки на нечто другое. В современной логике имеется большое число И., различающихся своими формальными свойствами. Наиболее известны из них И. материальная, строгая И. и релевантная (уместная) И. Материальная И. обозначается знаком É. Это одна из основных связок логики классической. Определяется она через функции истинности: И. ложна только в случае истинности антецедента и ложности консеквента и истинна во всех остальных случаях. Условное высказывание «Если А, то В» предполагает некоторую реальную связь между тем, о чем говорится в A и В; выражение А ÉВ такой связи не предполагает. Строгая И. определяется через модальное понятие (логической) невозможности: «А строго имплицирует В» означает «Невозможно, чтобы А было истинно, а В ложно». В релевантной логике И. понимается как условный союз в его обычном смысле. В случае релевантной И. нельзя сказать, что истинное высказывание может быть обосновано путем ссылки на любое высказывание и что с помощью ложного высказывания можно обосновать какое угодно высказывание.
Похожие на Импликация слова / понятия:
Импликация Материальная -
Индивид
Индукции Каноны
Индукция
Индукция Математическая, Полная Математическая Индукция
Индукция Неполная
Индукция Полная
Индукция Популярная
Индуктивная Логика
Индуктивное Определение