Задание 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))

Polinochka570    1   23.04.2020 14:21    6