- Engineering
- Computer Science
- rewrite the negation of each of the following logical expressions...
Question: rewrite the negation of each of the following logical expressions...
Question details
Rewrite the negation of each of the following logical expressions so that all negations immediately precede predicates.
(a) ¬∀x(¬P(x) → Q(x))
(b) ¬∃x(P(x) → ¬Q(x))
(c) ¬∃x∀y(P(x, y) → Q(x, y))
(d) ¬(∃x∃y¬P(x, y) ∧ ∀x∀yQ(x, y))
Solution by an expert tutor
