Use the laws for negating universal and existential statements to derive the following rules:
a. ~(∀x ∈ D(∀y ∈ E(P(x, y)))) = ∃x ∈ D(∃y ∈ E(~P(x, y)))
b. ~(3x ∈ D(3y ∈ E(P(x, y)))) = ∀x ∈ D(∀y ∈ E(~P(x, y)))
We need at least 10 more requests to produce the solution.
0 / 10 have requested this problem solution
The more requests, the faster the answer.