harald91 schriebofftopic
iconfly schriebm | n m \ne n \wedge m \ne 1
Du meinst wohl:
n ist prim \Longleftrightarrow \nexists m : m | n mit m \ne n \wedge m \ne 1 ?
Das wäre aber keine korrekte Definition von prim.
ontopic
Ast
Eigentlich: n ist prim :\Longleftrightarrow ((\nexists m : m | n mit m \ne n \wedge m \ne 1) \wedge n > 1 )
Sollte auch nicht die Definition einer Primzahl werden, ist mir nur so eingefallen.