• P e Q sono logicamente equivalenti nel contesto C se i valori di verità di P e Q coincidono in tutte le interpretazioni appartenenti al contesto. Quindi se, in ogni circonstanza (L-struttura) del contesto C, P e Q sono la stessa roba come interpretazione.

$$ P\Leftrightarrow_C Q $$