Задание 1. Построить отрицание предложения с кванторами:
(∃x)(P(x)→(¯(P(x))∨¯((¯(Q(x) )→P(x)))
Задание 2. Построить отрицание предложения с кванторами:
(∀x)(¯(Q(x) )∧P(x)→(P(x)→Q(x))
Задание 3. Построить отрицание предложения с кванторами:
(∀x)(Q(x)→(¯(P(x))∨¯((¯(Q(x) )→P(x)))
Задание 4. Построить отрицание предложения с кванторами:
(∃x)(¯(P(x))→(Q(x)∧P(x)))
Задание 5. Построить отрицание предложения с кванторами:
(∃x)(Q(x)∧P(x)∨(P(x)→Q(x))
Задание 6. Построить отрицание предложения с кванторами:
(∀x)(P(x)∨Q(x)→Q(x))

Lilo111111111    3   20.04.2020 11:51    6