X-Git-Url: https://bilbo.iut-bm.univ-fcomte.fr/and/gitweb/hdrcouchot.git/blobdiff_plain/d81b15b2024adaf639e9d4a85934a5b5722c1bf1..fcbc9202a51285ff17060f4d330eca0d57b2a3c1:/annexesccg.tex?ds=inline

diff --git a/annexesccg.tex b/annexesccg.tex
index bbfc12d..d6843dc 100644
--- a/annexesccg.tex
+++ b/annexesccg.tex
@@ -94,7 +94,7 @@ En d'autres mots, il suffit de prouver que:
 On suppose tout d'abord que ${\mathsf{N}}$ a une boucle 
 négative.
 Alors, d'après la définition de 
-$G(f)$, il existe $x\in\Bool^{\mathsf{N}}$ tel que $f_{{\mathsf{N}}{\mathsf{N}}}(x)<0$. 
+$G(f)$, il existe $x\in\Bool^{\mathsf{N}}$ tel que $f_{{\mathsf{N}}}(x)<0$. 
 Ainsi si $x_{\mathsf{N}}=0$, on a  $f_{\mathsf{N}}(x)>f_{\mathsf{N}}(\overline{x}^{\mathsf{N}})$, et donc 
 $x_{\mathsf{N}}=0\neq f_{\mathsf{N}}(x)$ et
 $\overline{x}^{\mathsf{N}}_{\mathsf{N}}=1\neq f_{\mathsf{N}}(\overline{x}^{\mathsf{N}})$;