Ezekben a matematika ill. logikai szimbólumokban illetve kvantorokban valaki otthon van?

Az első mondatot méég át kell fogalmazni az átalakításhoz:

Minden páros szám és minden páros szám összeszorozva páros szám.

Ezután a minden és a van szavakat a megfelelő kvantorokkal helyettesítjük:

A páros szám és A páratlan szám szorzata páros szám.

Ezután a többi szövegrészt formalizáljuk:

A {2k: k eleme Z} * A {2l+1: l eleme Z} = {2m: m eleme Z}.

\forall k,m\in\mathbb{Z}:2|(2k)(2m+1)

\forall q\in\mathbb{Q}:\exists m,n\in\mathbb{Z}:q=\frac{m}{n}