une version de plus

[hdrcouchot.git] / annexesccg.tex

diff --git a/annexesccg.tex b/annexesccg.tex
index bbfc12df24e8bc30cdb84e72cd33040a739c7a87..d6843dcd3f4429fbe33c07e59bd41bad2cd9d87e 100644 (file)
--- 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 
 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}})$; 
 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}})$;