Equivalenza logica

Nella logica e nella matematica, due proposizioni ${\displaystyle p}$ e ${\displaystyle q}$ si dicono logicamente equivalenti se hanno lo stesso valore di verità in ogni modello.^[1] L'equivalenza logica di ${\displaystyle p}$ e ${\displaystyle q}$ è a volte espressa come ${\displaystyle p\equiv q}$, ${\displaystyle p::q}$, ${\displaystyle {\textsf {E}}pq}$, o anche ${\displaystyle p\iff q}$, a seconda della notazione adottata. Tuttavia, questi simboli sono usati anche per l'equivalenza materiale, motivo per cui la corretta interpretazione dipende dal contesto: l'equivalenza logica è diversa dall'equivalenza materiale, sebbene i due concetti siano intrinsecamente correlati.