simbolo di appartenenza

simbolo di non appartenenza

insieme degli interi naturali + 0

insieme degli interi relativi

insieme dei numeri razionali

insieme dei numeri reali

insieme dei numeri immaginari

insieme dei numeri complessi

unione fra insiemi

intersezione fra insiemi

differenza fra insiemi

inclusione fra insiemi in senso stretto

inclusione fra insiemi in senso largo

tale che

prodotto cartesiano fra insiemi

insieme vuoto

complementare all'insieme A rispetto all'insieme ambiente

quantificatore esistenziale (esiste)

quantificatore universale (per ogni)

disgiunzione fra proposizioni o predicati (o) (oppure)

congiunzione fra proposizioni o predicati (e) (simultaneamente)

negazione della proposizione q

implicazione materiale fra proposizioni o predicati

coimplicazione materiale fra proposizioni o predicati

implicazione logica

equivalenza logica