logique symbolique Synonym