П. 5.2. Формулировка математических теорий

Большинство математических теорий формулируются так: на некотором множестве М из предиката А(х) следует В(х). Также теорема состоит из трех частей: описание множества М, к элементам которого эта теорема относится, условия теоремы А(х) и В(х) - заключение теоремы.

Примеры:

1) В теореме: «Если диагонали параллелограмма равны, то он является прямоугольником», М – множество всех параллелограммов А(х) – «Диагонали параллелограмма х равны» и В(х) – «Параллелограмм х является прямо-угольником».

2) В теореме: «Если последняя цифра натурального числа х равно 0 или 5, то это число делится на 5».

М – множество натуральных чисел,

: «Последняя цифра числа х равно 5»,

: «Последняя цифра числа х равно 0»,

В(х): «Число х делится на 5».

Развернутая запись такова

П. 5.3. Построение противоположных утверждений

Дата добавления: 2014-01-07