Akademik

ДОСТАТОЧНОЕ УСЛОВИЕ

ДОСТАТОЧНОЕ УСЛОВИЕ: — А является таким условием для В, если истинно условное высказывание «Если А, то 5».
Напр., т.к. условное высказывание «Если число делится на 9, то оно делится на 3» истинно, делимость числа на 9 является Д.у. его делимости на 3.
Понятие Д.у. логически связано с понятием необходимого условия: если А является Д.у. для В, то В есть необходимое условие для А, и наоборот. То, что число делится на 3, есть необходимое условие его делимости на 9. Можно, т.о., сказать, что когда одно есть Д.у. для другого, то второе является необходимым условием для первого. К примеру, поскольку высказывание «Если металлический стержень нагреть, он удлинится» истинно, истинность высказывания «Металлический стержень нагрет» есть Д.у истинности высказывания «Металлический стержень удлинился», и, соответственно, истинность высказывания «Металлический стержень удлинился» есть необходимое условие истинности высказывания «Металлический стержень нагрет».