Finished chapter 6.

Maxmawt · Jul 7, 2015 · 091f7fa · 091f7fa
1 parent 4ee0f4e
commit 091f7fa
Show file tree

Hide file tree

Showing 5 changed files with 1,137 additions and 8 deletions.
diff --git a/partie5.tex b/partie5.tex
@@ -48,6 +48,7 @@ \section{Algorithme de preuve}
 qui est basé sur une seule règle d'inférence, la {\em résolution}.
 
 \subsection{Transformation en forme normale conjonctive}
+\label{fnc}
 
 Toute formule peut être transformée en une formule équivalente, la forme normale conjonctive,
 qui a toujours la même forme.