Билет №7 Математические предложения. Отношения следования и равносильности между предложениями Математические предложения

Изучая реальные процессы, математика описывает их, используя как словесный язык, так и свой символический. Описание строится при помощи предложений. Но чтобы математические знания были достоверными, эти предложения должны быть истинными.

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

Высказыванием в математике называют предложение, относительно которого имеет смысл вопрос: истинно оно или ложно.

Каждое высказывание либо ложно, либо истинно, быть одновременно тем и тем оно не может.

Пример:

X+5=8 не является высказыванием, так как о нем нельзя сказать: истинно оно или ложно. Однако при подстановке конкретных значений x оно обращается в высказывание: истинное или ложное. Если x=2 то 2+5=8-ложное высказывание, а при x=3 оно обращается в истинное высказывание 3+5=8.

Предложение x+5=8 называется высказывательной формой. Оно порождает множество высказываний одной и той же формы.

Одноместной высказывательной формой, заданной множестве X, называется предложение с переменной, которое обращается в высказывание при подстановке в него значений переменной из множества X.

Высказывательная форма В (х) следует из высказывательной формы А (х) , если В (х) обращается в истинное высказывание при всех тех значениях Х, при которых А (х) истина

Например: утверждение о том что из предложения « число х кратно 4», следует предложение « число Х кратно 2», можно сформулировать ещё так

• Всякое число, которое кратно 4, кратно и 2.

• Если число кратно 4, то оно кратно и 2.

• Кратность числа 2 есть следствие кратности его 4.

• Кратность числа 4 есть достаточное условие для его кратности 2.

Так как одно и то же утверждение « Из А (х) следует В (х)» можно прочитатать по-разному, надо уметь переходить от одной его формулировки к другой, не меняя смысла.

Предложения А (х) и В(х) равносильны, если из предложения А(х) следует предложение В(х), а из предложения В(х) следует предложение А(х).

Например: Утверждение о том что предложение « число делиться на 3» и « сумма цифр записи числа делиться на 3» равносильны можно сформулировать ещё так:

• Число делиться на 3 тогда и только тогда, когда сумма цифр в его записи делиться на 3.

• Для того чтобы число делилось на 3, необходимо и достаточно чтобы сумма цифр в его записи делилась на 3.

С теоретико-множественной точки зрения высказывании А(х) <-> В(х) означает, что если Та- множество истинностей высказывательной формы А(х), а Тв-множество истинностей высказывательной формы В(х), то Та=Тв