Застосування логiки предикатiв

Тип документу: Реферат

Сторінок: 3

Предмет: Логика

Автор: Олексій

Розмір: 14.3

Скачувань: 2073

Завантажити

1 2 3

(((>0)(((>0)((c((a,b))((x((a,b))((|x-c|<()((|f(c)-f(x)|<()).

Означення основних теоретико-множинних операцiй i вiдношення включення для множин можуть бути записанi так:

(x(A)((x(B),

(x(A)((x(B),

(x(A)((x(B),

(x((x(A)((x(B))

тощо.

1 2 3