Символика математической логики. Для сокращения записи в дальнейшем будем употреблять некоторые основные логические символы, или кванторы. Пусть и некоторые предложения.
Запись означает: «из следует », «» символ импликации.
Запись означает « и эквивалентны» т.е. что, из и из . «»– символ эквивалентности.
Любую теорему в математике можно записать в виде или в виде , – условия теоремы, а – ее утверждение.
3) Знак «» означает: «каждый, любой, для каждого» и т. д. – квантор общности. Например, означает: «для всякого элемента истинно утверждение ».
4) Знак «» означает «существует, найдется, имеется». «»– квантор существования. - перевернутая - начальная буква слова «Existenz» - «существует». Например, означает: существует элемент такой, что для него истинно утверждение . Если элемент из , для которого истинно утверждение , не только существует, но и единствен, то пишут: .
Достарыңызбен бөлісу: |
