Если из предложения А следует предложение В, то говорят: А – достаточное условие для В, а В – необходимое условие для А.

А В

(истинность предложения А является подмножеством истинности предложения В)

Если у предложения А следует предложение В, а из предложения В следует предложение А, то говорят, что они равносильные.

А В: А тогда и только тогда, когда В.

А в том и только том случае, когда В.

А равносильно В.

А ВЕсли предложения А и В равносильны, то А – достаточное и необходимое условие для В, В – необходимое и достаточное условие для А.

– 6 –