Контрольные задания. 1.Докажите равносильности: 2), 3), 4), 6), 7), 10), 11), 13), 14), 15), 16)

1. Докажите равносильности: 2), 3), 4), 6), 7), 10), 11), 13), 14), 15), 16).

2. Постройте матрицы предикатов на множестве натуральных чисел. Для построенных матриц предикатов, найти значения всевозможных предикатов с квантификациями.

a) P(x, y)= «x – простое число» & «y – чётное число»

b) ;

c) ;

d) ;