Formalizálja: Az X páratlan szám, de nem nagyobb 2-nál?

A matematikai logikában a "de" minden esetben helyettesíthető "és"-sel.

Az x páratlan szám, és nem nagyobb 2-nél.

P: Az x szám páratlan szám.

Q: Az x szám nem nagyobb 2-nél.

Ekkor Az x páratlan szám, és nem nagyobb 2-nél = P∧Q

Ha még ennél jobban is formalizálni akarjuk:

P: { x | x=2*k+1, k∈Z }

Q: { x | x≤2 }

És ekkor az állítás P∧Q alakban ugyanúgy felírható.