From 7af566248fdfee14107fa7d432def80dbf51aae9 Mon Sep 17 00:00:00 2001
From: =?utf8?q?Jean-Fran=C3=A7ois=20Couchot?=
 <couchot@couchot.iut-bm.univ-fcomte.fr>
Date: Thu, 14 Mar 2013 10:49:54 +0100
Subject: [PATCH] suppression exo 6

---
 partiels/130311S2/main.tex | 35 +++++++++++++++++------------------
 1 file changed, 17 insertions(+), 18 deletions(-)

diff --git a/partiels/130311S2/main.tex b/partiels/130311S2/main.tex
index d23e8fb..6807033 100644
--- 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}
-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 
@@ -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 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 
-  une conséquence logique de ces quatre formules. Le déduire. 
+  une conséquence logique de ces quatre formules. 
 \end{enumerate}  
 
-\end{document}
\ No newline at end of file
+\end{document}
+
-- 
2.39.5