Two sentences are logically equivalent if and only if they logically entail one another.