Logika-predykaty Saizou : Dwie proste prostopadłe mają dokładnie jeden punkt wspólny ∃x ∃y (K(x) ⋀ K(y)⋀ x⊥y)→∃z[P(z)⋀L(z,x) ⋀ L(z,y)⋀∀s(P(s)⋀L(s,x) ⋀ L(s,y))→s=z]) to będzie tak ?

g: Ja bym to zaczął ∀x ∀y .... Poza tym chyba ok.

Saizou : też się nad tym zastanawiałem, ale stwierdziłem, że te proste muszą istnieć

Metis: Ciekawe