Matematické Fórum

Opět si nevím rady s příkladem z matematické/výrokové logiky. Budu vděčný za jakkoukoliv pomoc.

Které z následujících formulí odpovídají tvrzení o přirozeném číslu n, n>1: "n je prvočíslo."?
[mathjax](\forall k \in  \mathbb{N})(\exists  l\in  \mathbb{N})((n=k\cdot l)\Rightarrow (k=1))[/mathjax]
[mathjax](\forall k \in  \mathbb{N})(\forall l\in  \mathbb{N})((n=k\cdot l)\Rightarrow (k=1 \vee l=1))[/mathjax]
[mathjax](\forall k \in  \mathbb{N})(\forall l\in  \mathbb{N})((n=k\cdot l)\Rightarrow (k=n \vee l=1))[/mathjax]
[mathjax](\forall k \in  \mathbb{N})(\forall l\in  \mathbb{N})((n=k\cdot l)\wedge  (k=1 \vee l=1))[/mathjax]