Математические предложения

Формой связи понятий друг с другом является суждение. Если суждения правильно отображают объективно существующие зависимости между вещами, то такие суждения называют истинными; в противном случае суждения будут ложными. Процесс получения нового суждения-вывода из одного или нескольких данных суждений называется умозаключением. Важнейшими видами сложных суждений являются теоремы и аксиомы (постулаты).

Аксиома (греч. - авторитетное предложение “то, что приемлемо”) - предложение, принимаемое без доказательства. Аксиомы и первичные (неопределяемые) понятия составляют основной фундамент математической теории.

К системе аксиом, характеризующих некоторую научную теорию, предъявляются требования независимости, непротиворечивости, полноты.

Постулат (лат. - требование) - предложение, в котором выражается некоторое требование (условие), которому должно удовлетворять некоторое понятие или некоторое отношение между понятиями.

При изучении свойств различных математических объектов приходится делать те или иные заключения, то есть на основе понятий и суждений того или иного раздела математики строить предложения, истинность которых необходимо обосновать. Математическое предложение, истинность которого устанавливается посредством доказательства (рассуждения), называется теоремой. Существует два вида формулирования теоремы: условная, категорическая. Всегда можно из одного вида формулирования теоремы перейти в другому. Если теорема сформулирована в условной форме, то в ней должно быть ясно указано: при каких условиях рассматривается в ней тот или иной объект (условие теоремы) и что в этом объекте утверждается

Доказательство теоремы состоит в том, чтобы показать, что если выполняется условие, то из него логически следует заключение, т. е., приняв, что P истинно, в соответствии с правилами вывода показать, что G истинно, и тем самым получить возможность утвердить, что данное высказывание (теорема) истинно в целом. Доказательство включает в себя три основных элемента:

1. Тезис (главная цель доказательства - установить истинность тезиса). Форма выражения тезиса - суждение.

2. Аргументы (основания) доказательства - положения, на которые опирается доказательство и из которых при условии их истинности необходимо следует истинность доказываемого тезиса. Форма выражения аргументов - суждения. Связывая аргументы, приходим к умозаключению, которые строятся по определенным правилам. Аргументы, на которые можно опереться при доказательстве: аксиомы, определения, ранее доказанные теоремы.

3. Демонстрация - логический процесс взаимосвязи суждений, в результате которого осуществляется переход от аргументов к тезису.