Tożsamość (logika)