Prevesti formulu u prenex normalnu formu: ∀x(P(x) → ∃yQ(x, y ))
1.eliminacija implikacije: A → B ≡ ¬A ∨ B
∀x( ¬P(x) ∨ ∃yQ(x,y) )
2 izvlačenje kvantifikatora:
∀x∃y ( ¬P(x) ∨ Q(x,y) )
ovde možemo da razmišljamo i ovako: imamo međukorak, gde idemo "unazad", razbijamo izraz, pa vidimo da levi deo može da uđe pod desni
∀x( ¬P(x) ∨ ∃yQ(x,y) ) ≡ ∀x(¬P(x)) ∨ ∀x∃y( Q(x,y) ) ≡ ∀x∃y ( ¬P(x) ∨ Q(x,y) )