Введение в язык математики - 9 стр.

UptoLike

Составители: 

Рубрика: 

«2 + + =» выражением не является. Это бесмыслица.
Множество выражений языка разбивается на два класса.
1) Элементарные или атомарные выражения, задаваемые одним алфавит-
ным символом.
2) Составные или сложные выражения, задаваемые не одним алфавитным
символом.
Атомарными выражениями считают имена объектов. Знаки отношений
и операций выражениями не являются. Например, «1», «2», «a», «b», «x»,
«y» примеры элементарных выражений. Отдельно взятые знаки «<», «=»
выражений не образуют. Как мы видим, элементарные выражения могут быть
именами единичных предметов, например, «1» или «2» и общими именами,
переменными, например, «x», «y».
Выражения «2 + 3» или «3 2» являются именами конкретных чисел,
5 и 1. Эти выражения являются составными. Выражения «x», «y», «x + y»,
«2x
2
+3x5» не являются именами конкретных чисел. Однако, они преобразу-
ются в имена конкретных чисел, если вместо переменных «x», «y» подставить
константы. Например, представляя «2» в выражение «x +y» вместо «x», и «3»
вместо «y» получаем имя конкретного числа «2 + 3».
Выражение, содержащее переменные и превращающееся в имя объекта из
некоторой предметной области при подстановке вместо переменных имен объ-
ектов из соответствующих предметных областей, называется именной формой.
Имена и именные формы вместе называют термами.
Выражение, которому можно приписать истинность или ложность, назы-
вается высказыванием или предложением. Выражения «2+3 = 5», «2+3 = 6»,
«2 < 3», «3 < 2» являются примерами высказываний.
Выражения «x+1 = 3», «x+y = 1», «x
2
+2x+1 = 0» высказываниями не
являются. Им нельзя приписать истинность или ложность. Однако, если в этих
9