Logica

dirkwb

Ik zit vast bij de eerste opgave. Ik kan de definitie van een priemgetal niet opstellen. Ik heb dit:

\( \forall a \forall b (1<a \wedge 1 < b ) (x = a \cdot b) \)

Maar ik mag schijnbaar negatie niet gebruiken, hoe los je dat op?

Jan van de Velde

Iemand die hier een handje kan toesteken?

mathfreak

Helpt het als je weet dat een priemgetal p alleen triviale delers (dus 1 en p) heeft?

dirkwb

Ik denk dat het zo moet:

Predikaat x is priem is:

\( \lnot \exists a \exists b ( x =a*b \wedge 1<a \wedge 1<b ) \)

met

\( \exists \)

equivalent aan:

\( \lnot \forall \lnot \)

Wetenschapsforum