«Implication (logique)» en anglais avec traduction parallèle