|
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
|