suppression exo 6

diff --git a/partiels/130311S2/main.tex b/partiels/130311S2/main.tex
index d23e8fb635c3ff759c13e326ccfb76f157a3a0d7..68070334d3c40b1264f57a0c2570da7bbce015ef 100644 (file)
--- a/partiels/130311S2/main.tex
+++ b/partiels/130311S2/main.tex
@@ -145,25 +145,25 @@ en  logique propositionnelle.
 
 
 
 
 
 

-\subsection*{Exercice 6:}
+%\subsection*{Exercice 6:}

 %\subsection*{Conséquences logiques}
 %\subsection*{Conséquences logiques}

-Dire si chacune des deux propositions suivantes est vraie en justifiant:
-\begin{enumerate}
-\item $\{B \Rightarrow C\lor D, 
-  C \Rightarrow \neg A \land \neg B,
-  \} \models
-  B \Rightarrow \neg C \land  D.$
-\item $\{A \Rightarrow B \land C, 
-  \neg D  \land \neg E \Rightarrow \neg B,
-  D \Rightarrow \neg C \land B \} \models 
-  (E \Rightarrow \neg B) \Rightarrow \neg A.$
-\end{enumerate}
+%Dire si chacune des deux propositions suivantes est vraie en justifiant:
+%\begin{enumerate}
+%\item $\{B \Rightarrow C\lor D, 
+%  C \Rightarrow \neg A \land \neg B,
+%  \} \models
+%  B \Rightarrow \neg C \land  D.$
+%\item $\{A \Rightarrow B \land C, 
+%  \neg D  \land \neg E \Rightarrow \neg B,
+%  D \Rightarrow \neg C \land B \} \models 
+%  (E \Rightarrow \neg B) \Rightarrow \neg A.$
+%\end{enumerate}

 
   
 
 
 
 
   
 
 
 

-\subsection*{Exercice 7:}
+\subsection*{Exercice 6:}

 %\subsection*{L'Île de Puro Pira}
 L'île de Puro Pira est peuplée 
 de \emph{Purs} qui disent toujours la vérité et de 
 %\subsection*{L'Île de Puro Pira}
 L'île de Puro Pira est peuplée 
 de \emph{Purs} qui disent toujours la vérité et de 


@@ -198,11 +198,10 @@ On sait de plus qu'il n'y a qu'un seul chef. Par la suite:
 \item Traduire en logique propositionnelle les propositions des 
   items~\ref{item1}. et~\ref{item2}. relatives aux affirmations d'Alice et 
   Bernard.  
 \item Traduire en logique propositionnelle les propositions des 
   items~\ref{item1}. et~\ref{item2}. relatives aux affirmations d'Alice et 
   Bernard.  

-\item A l'aide de la méthode de résolution trouver le statut de chaque 
-indigène.
-\item Montrer que le status en termes de chef, purs, pires, 
+\item (Bonus) Montrer que le status en termes de chef, purs, pires, 

   de chacun des indigène peut se déduire comme 
   de chacun des indigène peut se déduire comme 

-  une conséquence logique de ces quatre formules. Le déduire. 
+  une conséquence logique de ces quatre formules. 

 \end{enumerate}  
 
 \end{enumerate}  
 

-\end{document}
\ No newline at end of file
+\end{document}
+