Студопедия

КАТЕГОРИИ:

АстрономияБиологияГеографияДругие языкиДругоеИнформатикаИсторияКультураЛитератураЛогикаМатематикаМедицинаМеханикаОбразованиеОхрана трудаПедагогикаПолитикаПравоПсихологияРиторикаСоциологияСпортСтроительствоТехнологияФизикаФилософияФинансыХимияЧерчениеЭкологияЭкономикаЭлектроника


Определение. (Интуитивный принцип абстракции).




Говорят, что всякий предикат P(x)задает некоторое множество A (быть может пустое), посредством условия, согласно которому в А входят те и только те элементы а, которые обращают P(а)в истинное высказывание.

Так как всякое множество однозначно определяется своими элементами, любой предикат определяет в точности одно множество А, обозначение: .

Читается: множество таких элементов а, что P(а) – истинное высказывание. Возможны некоторые модификации записи , смысл которых легко понять из контекста.

Пример 1. А = - это множество точек окружности радиуса 1 с центром в начале координат.

Пример 2. А = и x не имеет отличных от 1 делителей меньших или равных - это множество простых чисел.

Пример 3. А = - пустое множество.

Замечание. В формулировках принципов объемности а абстракции используются два интуитивных понятия – множества и принадлежности элемента множеству. Неограниченное употребление этих понятий при построении характеристических предикатов приводит к парадоксам.


Поделиться:

Дата добавления: 2015-07-26; просмотров: 96; Мы поможем в написании вашей работы!; Нарушение авторских прав





lektsii.com - Лекции.Ком - 2014-2024 год. (0.006 сек.) Все материалы представленные на сайте исключительно с целью ознакомления читателями и не преследуют коммерческих целей или нарушение авторских прав
Главная страница Случайная страница Контакты