• Гідрологія і Гідрометрія
• Господарське право
• Економіка будівництва
• Економіка природокористування
• Економічна теорія
• Земельне право
• Історія України
• Кримінально виконавче право
• Медична радіологія
• Методи аналізу
• Міжнародне приватне право
• Міжнародний маркетинг
• Основи екології
• Предмет Політологія
• Соціальне страхування
• Технічні засоби організації дорожнього руху
• Товарознавство продовольчих товарів

Необхідна та достатня умови

В ®`А – обернене до протилежного або протилежне до оберненого

А ®`В – протилежне твердження

В ® А – обернене твердження

А ® В – пряме твердження

Розглянемо кілька тверджень, що одержуються з простих тверджень А та В за допомогою операцій імплікації та заперечення.

Обернене та протилежне твердження

IV. Застосування математичної логіки

Твердженнями такої логічної форми ми багато раз користувались при вивченні математики. Виникає питання: які з цих тверджень між собою логічно еквівалентні? На жаль, тільки не велика кількість тих, хто почав вивчати математичну логіку, мають розвинену логічну інтуїцію і правильно відповідають на це питання. Більшість вважають, що логічно еквівалентні твердження 1-2, 1-3 або 2-4. Кілька хвилин достатньо, щоб скласти таблицю істинності і правильно відповісти на поставлене питання.

Бачимо, що А ® В =`В ®`А та В ® А =`А ®`В тобто, логічно еквівалентні пряме твердження і обернене до протилежного та обернене і протилежне твердження. Як легко побачити, тут немає двох видів зв’язку між логічними формами, тут тільки один вид зв’язку, бо з першого твердження одержується четверте точно так же, як з другого одержується трете твердження.

Більшість логічних помилок при вивченні математики пов’язана з нерозумінням того, що перше і друге твердження (А ® В, В ® А ) не є логічно еквівалентними, їх не можна підміняти одне одним. Такі помилки не випадкові, бо логічний аналіз шкільного підручника геометрії [5] говорить про те, що цим питанням не приділено достатньо уваги.

Введемо позначення: D – достатня умова, Т – твердження, N – необхідна умова.

Означення. Достатньою умовою по відношенню до деякого твердження називають таку умову, з якої це твердження випливає.

Цьому означенню відповідає формула D®T

Означення. Необхідною умовою по відношенню до деякого твердження називають таку умову, яка з цього твердження випливає.

Цьому означенню відповідає формула T®N

Пригадуючи зв’язок між прямим твердженням та оберненим до протилежного маємо:

Саме в формі заперечення використовують практично означення необхідної умови, і в такій же формі воно зустрічається в математичній літературі.

Означення. Необхідною умовою по відношенню до деякого твердження називають таку умову, при невиконанні якої твердження не виконується)

Проаналізуємо форму теорем з необхідною і достатньою умовами.

Теорема. Для А необхідно і досить В.

В цій теоремі А є твердженням по відношенню до якого В є як необхідною, так і достатньою умовами. За означенням, з твердження випливає необхідна умова. Тому маємо:

Необхідність. А ® В.

За означенням достатньої умови, з достатньої умови випливає твердження. Тому маємо:

Достатність. В ® А.

В шкільній математиці поняття необхідної і достатньої умов використовуються так, що вони завжди виражаються одним і тим самим твердженням. Створюється помилкове враження, що необхідна умова завжди є достатньою і навпаки. Тому корисними є приклади в яких необхідна умова не є достатньою і достатня не є необхідною.

Достатня умова	Твердження	Необхідна умова
Сума цифр числа 3 Число 9 Число =15 Число = 10 × 10 -1	Число 3 Число 3 Число 3 Число 3	Сума цифр числа 3 Число > 2 Число ≠ 7 Число не є простим

Тотожність (D ® T)(T ® N) ® (D ® N) º 1 (ДС) виражає те, що для фіксованого твердження з любої достатньої умови випливають всі необхідні умови.

Поняття необхідної і достатньої умови є відносними, вони визначаються по відношенню до деякого твердження. Якщо потрібно визначити яка умова використовується в змістовній формі, то спочатку знаходимо твердження, а потім визначаємо яка це умова. Наприклад, в теоремі А → В, якщо Т = А, то В = N, а якщо Т = В, то А = D.

DTN – ключ для пригадування означень D®T та T®N.

Читайте також:

1. Аналогія як умовивід
2. Блок 4. Умови та охорона праці.
3. Блок перевірки умови
4. БУДОВА ТА УМОВИ ФОРМУВАННЯ ШАРУВАТИХ ТОВЩ
5. Види аудиторських висновків та умови їх надання
6. Види і типи організаційних структур та умови їх ефективного застосування
7. Види й типи організаційних структур та умови їх ефективного застосування
8. Винесення внутрішніх, розумових дій назовні називають ексте­ріоризацією.
9. Вирішення суперечок між суб'єктами страхування. Умови припинення дії договору.
10. Відносно невисокий економічний потенціал Франції, пасивність буржуазії, зумовили відставання країни у завоюванні колоній та зовнішній торгівлі.
11. Вплив ресурсних обмежень на умови розвитку міст
12. Всебічний розвиток особистості людини як необхідна умова соціального розвитку персоналу організації

Переглядів: 2865