Matematické Fórum

↑ Richard Tuček:
Za 3) asi ne, může být k*l=1

za 3) a za 4) to není určitě. Mně ta dvojka dává smysl proto, že tam je u l existenční kvantifikátor, tudíž platí, že dané l je z množiny N, ale nejsou to všechny čísla  z množiny N, takže by tam nemuselo platit n=1.

↑ IQuestionI:
2) má platit pro každé k, tedy i pro k=1. Jistě existuje přirozeně číslo l=4, pro které k.l=1.4=4, což ovšem není prvočíslo

Nemůže se stát, že by u řešení číslo 1) se stalo, že k=n a tím pádem, když k může být jakékoliv z množiny N, tak může být i k=1 a n by se rovnalo 1, tím pádem by to neodpovídalo zadání.

↑ IQuestionI:

Má být n>1, proto by se místo

1)(∀k∈N)(∀l∈N)((n=k⋅l)⇒(k=n∨k=1))

asi mohlo napsat přesněji

1)(∀k∈N)(∀l∈N)((n=k⋅l and k.l>1)⇒(k=n∨k=1))

a odpadnou potíže s jedničkou