logique des propositions Synonym