liczba pierwsza

wrocekyo · Post autor: **wrocekyo** » 1 lut 2009, o 22:40

Napisz formułę z jedną zmienną wolną n, która (interpretowana w zbiorze liczb naturalnych) mówi, że n jest liczbą pierwszą.

servus · Post autor: **servus** » 1 lut 2009, o 22:53

\(\displaystyle{ (n-1)!+1 \equiv 0 (mod n )}\)

Coś w tym stylu?

wrocekyo · Post autor: **wrocekyo** » 1 lut 2009, o 23:03

ooj wydaje mi się, że to chyba coś prostszego..

Post autor: **Jan Kraszewski** » 2 lut 2009, o 00:24

Na przykład:
\(\displaystyle{ n\ge 2\land(\forall x)(x|n \Rightarrow x=1 \lor x=n)}\).

Oczywiście, pytanie może wymagać bardziej wyrafinowanej odpowiedzi. Ale wtedy trzeba wiedzieć np. w jakim języku powinna być napisana ta formuła.

JK

wrocekyo · Post autor: **wrocekyo** » 2 lut 2009, o 01:35

o to chodziło