. marcin: czy wielkie twierdzenie fermata można przedstawić w takiej postaci? ∀_{n>2 ⋀ n∊N} ∀_{x,y,z ∊N} x²+y² ≠ z²

marcin: oczywiście chodziło mi o xⁿ+yⁿ ≠ zⁿ

Trivial: google much?

memotoshikate: Średnio znam się na tych zapisach, ale według mnie drugi kwantyfikator powinien wyglądać tak ∃. Wtedy by to miało sens.

memotoshikate: Przy czym właściwy zapis powinien być taki (według mnie): ∀n>2 ∧ n∊N ∄x,y,z∊N x²+yⁿ=zⁿ

memotoshikate: przy x miało być n

marcin: no tak ale zaprzeczeniem malego kwantyfikatora jest duzy oprocz tego zmienilem = na ≠

Trivial: Ja bym zapisał tak: ∀x,y,z,n∊N, n>2 xⁿ + yⁿ ≠ zⁿ. Po co komplikować.

marcin: tak Trivial google