15. Импликация. Отношение логического следования. Modus tollens.
Импликация — бинарная логическая связка, по своему применению приближенная к союзам «если… то…».
Импликация записывается как посылка - следствие.
Импликация ложна только в одном случае: когда первое суждение истинно, но второе ложно.
Логическое следование – это отношение, существующее между посылками и обоснованно выводимыми из них заключениями.
Из высказывания логически следует высказывание В, когда импликация "если А, то В" является частным случаем закона логики.
Например, из высказывания "Если натрий металл, он пластичен" логически вытекает высказывание "Если натрий не пластичен, он не металл", поскольку импликация, основанием которой является первое высказывание, а следствием второе, представляет собой частный случай логического закона контрапозиции
Modus tollens - рассуждение от противного.
От отрицания следствия кк отрицанию основания
АàВ
не В
Не А.
|
|
|
