Qual è il simbolo per 'e' in matematica?

Nella logica si indica "e" con [math]\wedge[/math] (che puoi digitare \and o \wedge in [math]\LaTeX[/math], a condizione che siano caricati i pacchetti giusti). Come puoi vedere, questo è abbastanza simile a [math]\cap[/math] poiché l'intersezione di due insiemi è definita come:

[math]A \cap B = \{ x : (x \in A) \wedge (x \in B) \}[/math]

Questo è lo stesso per `o` [math]\vee[/math] e [math]\cup[/math] rispettivamente:

[math]A \cup B = \{ x : (x \in A) \vee (x \in B)\}[/math]

[math]\wedge[/math] e [math]\vee[/math] sono gli operatori doppi:

[math]\neg(\varphi_1 \wedge \varphi_2) \equiv \neg\varphi_1 \vee \neg\varphi_2[/math]

e viceversa. Queste equivalenze sono chiamate leggi di Moore. Il simbolo [math]\vee[/math] deriva dalla prima lettera della parola latina vel che significa o. Dato che sono duali, capovolgiamo il simbolo e otteniamo [math]\wedge[/math].

In un testo normale si dovrebbe scrivere `e`. Il simbolo è conservato per le formule logiche, che sono parole con alcune restrizioni sintattiche. Anche i simboli stessi non hanno il significato, ma la funzione di valutazione glielo assegna. Distrarrebbe o confonderebbe il lettore e la matematica è già abbastanza difficile.