Determină valoarea de adevăr a propozițiilor matematice.
Folosește proprietățile operațiilor cu mulțimi