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

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}
+