Необходимое и достаточное условия
Материал из Википедии — свободной encyclopedia
Необходимое условие и достаточное условие — виды условий, логически связанных с некоторым суждением. Различие этих условий используется в логике и математике для обозначения видов связи суждений.
В другом языковом разделе есть более полная статья Necessity and sufficiency (англ.). |
Вкратце:
Необходимое — условие, без которого утверждение X заведомо не может быть верным. Достаточное — условие, при выполнении которого утверждение X заведомо верно. |