Логические операции над предикартами

Дисциплина Математическая логика и теория алгоритмов

Заказчик	strenghellon1 ☆ 3 ✍ 10 ♥ 0
Вид работы	Контрольная
Срок	23.03.2017
Вариант	1
Бюджет	250 ₽

Задание  1.
На множестве  M  заданы предикаты 
P(x): четное число, Q(x): простое число, R(x): -x^2+10x-21=0
Выяснить, равносильны ли предикаты на множестве: 
a) J={2,3,4,5,6,7,8}
б) J={2,3,4,5,6,7,8,9}
в) J={1,2,3,4,5,6,7,8}
г) Ip

Задание  4.
Составить конъюнкцию, дизъюнкции, отрицание обоих, импликацию следующих предикатов   на множестве:
P(x): нечетное число, Q(x): кратно 5.

Задание  6.
Изобразить на координатной плоскости область истинности предиката.