4. Необходимые и достаточные условия.

Рассмотрим теорему

Множество истинности предиката Р(х)  Q(x) есть множество CIp U Iq . Но тогда множест­вом ложности этого предиката будет C(С1р U Iq )= Iр  CI_Q. Последнее множество будет пустым лишь в случае, когда Iр  Iq .

I_P

Итак, предикат Р(х)  Q(x) является истинным для всех х Е в том и только в том случае, когда множество истинности предиката Р(х) содержится в множестве истинности предиката Q(x). При этом говорят, что предикат Q(x) логически следует из предиката Р(х), и предикат называют необходимым условием для предиката Р(х), а предикат Р(х) - достаточным условием для Q(x). Так, в теореме «Если х - число натуральное, то оно целое» пре­дикат Q(x):«х - число целое» логически следует из пре­диката Р(х): «х – число натуральное», а предикат «х - число натуральное» является достаточным условием для предиката «х - число целое».

Часто встречается ситуация, при которой истинные взаимно обратные теоремы:

Это возможно при условии, что Ip = Iq , т.к. одновременно выполняются два условия: I_PI_Q и I_QI_P . В таком случае из теоремы (1) следует, что условие Р(х) является достаточным для Q(x), а из теоремы (2) следует, что условие Р(х) является необходимым для Q(x).

Таким образом, если истинны теоремы (1) и (2), то условие Р(х) является и необходимым, и достаточным для Q(x). Аналогично в этом случае условие Q(x) явля­ется необходимым и достаточным для Р(х).

Иногда вместо логической связки «необходимо и до­статочно» употребляют логическую связку «тогда и толь­ко тогда».

Так как здесь истинны высказывания (1) и (2), то истинно высказывание:

Рассмотрим примеры.

1) Теорема «Если число l делится на 12, то оно делится на 3» истинна. Поэтому здесь делимость числа l на 12 является достаточным условием для дели­мости числа l на 3, а делимость числа l на 3 является необходимым условием для делимости числа l на 12. В то же время обратная теорема «Если число l делится на 3, то оно делится на 12» не верна. Поэтому делимость числа l на 3 не является достаточным условием делимо­сти числа l на 12, а делимость числа l на 12 не явля­ется необходимым условием делимости числа l на 3.

2) Теоремы «В описанном четырехугольнике суммы длин противоположных сторон равны между со­бой» и «Если в четырехугольнике суммы длин противо­положных сторон равны между собой, то в этот четыреху­гольник можно вписать окружность» взаимно обратны. Обе они истинны, и, следовательно, здесь можно употре­бить логическую связку «необходимо и достаточно»:

«Для того, чтобы в четырехугольник можно было вписать окружность, необходимо и достаточно, чтобы суммы длин его противоположных сторон были равны между собой».

3) Для каждого из условий выясните, является ли оно необходимым и является ли оно достаточным, чтобы выполнялось неравенство х² – 2х – 8  0: а) х=0, б) -1 х 3, в) х -3, г) х> -2, д) -1 х  10, е) –2  х  4.

Неравенство перепишем в виде (х+2)(х-4) 0, его решением являются х[-2, 4].

а) х=0 – достаточное условие для выполнения неравенства, т.к. 0[-2, 4].

б) [-1, 3] [-2, 4]. Значит -1 х 3 – достаточное условие .

в) [-3, +)[-2, 4], следовательно, является необходимым условием.

г) (-2, +)[-2, 4] и [-2, 4](2, +), значит, не является ни необходимым, ни достаточным условием.

д) [-1, 10] [-2, 4] и [-2, 4] [-1, 10], значит, не является ни необходимым, ни достаточным условием.

е) [-2, 4]=[-2, 4] , следовательно, является и необходимым и достаточным условием.