Ekvivalence (logika) – Další jazyky