Elementi di logica matematica

 

Simbolo

Significato

Esiste almeno un x

Esiste un unico x

Per ogni x

Congiunzione

Disgiunzione o alternativa

Implicazione

Doppia implicazione

oppure :

Tale che

Negazione

 

(vedere anche la sezione Elementi di logica matematica)