Застосування логiки предикатiв, Детальна інформація

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

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

Сторінок: 3

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

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

Розмір: 14.3

Скачувань: 1823

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

The online video editor trusted by teams to make professional video in minutes