Discussion:Règle de résolution

	Tâches à accomplir pour Règle de résolution	aide
	Votre aide est la bienvenue pour corriger les liens, présents dans l'article, vers les pages d'homonymie Inférence ⇒ Quelques explications pour effectuer ces corrections. -- 8 mai 2022 à 10:54 (CEST)

Un peu de pédagogie

Bonjour, je me suis permis de rendre l'article (tout au moins j'ai commencé) à rendre l'article plus pédagogique. Pour un lecteur qui ne connaît rien, voir ː

• $C_{i}=L_{1}\lor L_{2}\lor ...$ est une clause est incompréhensible. Est-ce qu'une clause est une égalité ? C'est rude.
• Dire que $L_{i}>$ et $M_{k}$ partagent le même atome, c'est rude ! On ne le voit pas visuellement ǃ (certes, syntaxiquement, on pourrait croire que p et non p sont toujours écrit au début. Mais c'est évident que c'est à permutation près dans une clause (je vais le rajouter d'ailleurs).

Je continue le travail pour alléger tout ça. ː) --Fschwarzentruber (discuter) 17 mai 2016 à 18:21 (CEST)