logique inductive Synonym