Кванторные операции над предикатами

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

Вид работы	Контрольная
Дата	23.03.2017
Вариант	4

Задание  1.
На множестве M заданы предикаты:
а)  P(x): составное число
б)  Q(x): x кратно 4.
в) R(x): x^2-14x+13=0
Используя кванторы, получите все возможные высказывания, расшифруйте и выясните их истинность. 

Задание  2.
На множестве  N  заданы предикаты:
а)   P(x,y): xy