- #1

Nico

- 2

- 0

- Homework Statement
- [Mathematical logic] convert the following equation into prenex normal form and skolem normal form.

- Relevant Equations
- (a) ~∃x∃y(~p(x) ∧ ∀z q(y, z) )

(b) ∀x ( p(x) ⇔ ∃y q(y, x) )

(c) ~(∀p(x)∧∀y∃zq(y, z)∧∀y∃z q(z, y))

The attached picture below is the note I solved halfway through.

Please tell me the entire process of getting to the correct answer.

Please tell me the entire process of getting to the correct answer.