Практическое занятие №14

Тема: Операции над предикатами

Продолжительность 2 часа

Цель: усвоить понятие n -местного предиката, множества истинности предиката, логических операций над предикатами.

Задачи. 1. Упражнение 9.1 (а)-(д) на стр. 168 книги [2].

2. Упражнение 9.6 (а)-(д) на стр. 164 книги [2].

3. Упражнение 9.15 (а)-(д) на стр. 164 книги [2].

Указания к решению задач.

3. (а) Обозначим через A, B, C множества истинности предикатов P (x), Q (x), P (x) соответствено. Тогда множество истинности предиката

есть множество , отсюда, применяя дистрибутивность пересечения относительно объединения, находим множество

.

Самостоятельно. 1. Упражнение 9.1 (е)-(з) на стр. 168 книги [2].

2. Упражнение 9.6 (е)-(з) на стр. 164 книги [2].

3. Упражнение 9.15 (е)-(з) на стр. 164 книги [2].