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

Структура теореми

Теорема – це твердження, істинність якого доводять. Теорема містить умову і висновок.

А В

А – умова, В – висновок.

Можна сказати, що теорема – це висловлення про те, що з властивості А слідує властивість В. Істинність цього висловлення встановлюється шляхом доведення.

Не кожна ознака А, необхідна для В, є і достатньою, так само як і не кожна достатня ознака є необхідною. Наприклад, щоб число ділилось на 3, достатньо, щоб воно ділилось на 9, але це не є необхідною умовою, наприклад 6 3, але 6 не 9 (знак « » – знак подільності). Щоб число ділилось на 6, необхідно, щоб воно ділилось на 2, але цього не достатньо, необхідно також щоб воно ділилось і на 3. Отже, щоб число ділилось на 6, необхідно і достатньо, щоб воно ділилось і на 2, і на 3. За допомогою складеного висловлення символічно це можна записати так:

а 6 (а 2) (а 3).

Інакше а ділиться на 6 тоді і тільки тоді, коли а 2 і а 3.

Якщо і умова теореми, і її висновок є простими висловленнями, то теорема називається простою.

Якщо умова або висновок теореми, або і те, і друге – складені висловлення, то теорему називають складеною. Попередня теорема, що виражає ознаку подільності на 6, є складеною. Її можна записати у вигляді А В С. Тут умова є кон’юнкцією двох висловлень А і В, а висновок – висловлення С.

Приклад аналогічної структури теореми: «Якщо дві прямі площини перпендикулярні до третьої прямої, то вони паралельні між собою»

або (а с) ( в с) а ║в.

Приклад теореми, в якій і умова, і висновок є кон’юнкціями: «В паралелограмі протилежні сторони попарно рівні». Інакше: «Якщо чотирикутник – паралелограм (тобто протилежні сторони попарно паралельні), то його протилежні сторони попарно рівні».

Тобто (а║с) (b║d) ( a = c) (b = d)

До сталих компонентів структури теореми належать такі:

1 2 3

5 4

Квантори загальності та існування -

6

Структурна сталість компонентів 1, 2, 3 зумовлена тим, що питання про істинність теореми всіма розв’язується однозначно, набір же логічних операцій (4), послідовності їх використання можуть бути різними. Тут великі можливості для творчої розумової діяльності, для формування інтелектуальних умінь в процесі доведення теорем.

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

1. B. Тип, структура, зміст уроку і методика його проведення.
2. III. Географічна структура світового ринку позичкового капіталу
3. ISO 15504. Призначення і структура стандарту
4. ISO 15504.Структура еталонної моделі
5. IY.3. Общество и его структура.
6. VІ. План та організаційна структура заняття
7. А) Структура економічних відносин.
8. Аграрна структура та її елементи
9. Агропромисловий комплекс та його структура
10. Адміністративно – територіальний устрій і соціальна структура Слобожанщини у половині XVII – кінці XVIII століття
11. Аксіоми. Теореми. Ознаки.
12. Акти з охорони праці, що діють в організації, їх склад і структура.

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