Implicazione logica - Altre lingue