1. Other
  2. Other
  3. rewrite each of these statements so that negations only appear...

Question: rewrite each of these statements so that negations only appear...

Question details
  1. Rewrite each of these statements so that negations only appear within predicates (that is, so that no negation is outside a quantifier or an expression involving logical connectives). You don’t need to show any work.
    1. ¬∀x∃y ((x> 4) ∨ P(x, y))
    2. ¬(∀x (P(x) → ∃y∃z (|x - y| <z)))
    3. ¬∃p∀w∃(x,y,z)∀i ((|w| < p) ∨ (w ∉ L) ∨ ((w = xyz) ∧ (|y| ≥ 1) ∧ (|xy| ≤ p) ∧ (xyiz ∈ L)))
Solution by an expert tutor
Blurred Solution
This question has been solved
Subscribe to see this solution