X-Git-Url: https://bilbo.iut-bm.univ-fcomte.fr/and/gitweb/cours-maths-dis.git/blobdiff_plain/b2ebfe30883d87d73ffc39392a3173e64bdf60b5..8b65de9031d067d9806854c011a513c92dcf113e:/partiels/130311S2/main.tex?ds=inline

diff --git a/partiels/130311S2/main.tex b/partiels/130311S2/main.tex
index d23e8fb..7c35414 100644
--- a/partiels/130311S2/main.tex
+++ b/partiels/130311S2/main.tex
@@ -12,7 +12,7 @@
 \usepackage{epsfig}
 \usepackage{calc}
 \usepackage{tabls}
-\usepackage{slashbox}
+%\usepackage{slashbox}
 \usepackage{times}
 \usepackage{multicol}
 \usepackage{tabularx}
@@ -138,32 +138,32 @@ en  logique propositionnelle.
 \item  \og Si le systÃ¨me fonctionne normalement, le noyau est en Ã©tat de marche.\fg{}
 
 \item \og  Le fait que le systÃ¨me ne soit pas en mode ``multi-user''
-  est une condition suffisante pour Ãªtre en mode "interruption".\fg{}
+  est une condition suffisante pour Ãªtre en mode ``interruption'.\fg{}
 \item \og Le systÃ¨me est en mode ``multi-user'' seulement s'il fonctionne normalement.\fg{}
 \item \og  Soit le noyau est en Ã©tat de marche, soit le systÃ¨me est en mode ``interruption''.\fg{}
 \end{enumerate}
 
 
 
-\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}
+
