P e Q sono logicamente equivalenti se e solo se i valori di verità di P e Q coincidono in ogni interpretazione (circonstanza). Quindi se per ogni L-struttura S = (U, I), S è modello di P e S è modello di Q.
$$ P\Leftrightarrow_{FO}Q $$