Tidak ada wanita yang telah mengambil penerbangan di setiap maskapai di dunia.

¬∃w∀a∃f (P(w,f ) ∧ Q(f,a)) ≡ ∀w¬∀a∃f (P(w, f ) ∧ Q(f, a))

                            ≡ ∀w∃a¬∃f (P(w, f ) ∧ Q(f, a))

                            ≡ ∀w∃a∀f¬(P (w, f ) ∧ Q(f, a))

                            ≡ ∀w∃a∀f (¬P(w, f )∨¬Q(f, a))
stacklord