logique déductive Synonym