t

[cours-maths-dis.git] / partiels / 130311S2 / main.tex

diff --git a/partiels/130311S2/main.tex b/partiels/130311S2/main.tex
index d23e8fb635c3ff759c13e326ccfb76f157a3a0d7..7c35414aa4fb130f402d65ac69275a34f94cc033 100644 (file)
--- a/partiels/130311S2/main.tex
+++ b/partiels/130311S2/main.tex
@@ -12,7 +12,7 @@
 \usepackage{epsfig}
 \usepackage{calc}
 \usepackage{tabls}
 \usepackage{epsfig}
 \usepackage{calc}
 \usepackage{tabls}

-\usepackage{slashbox}
+%\usepackage{slashbox}

 \usepackage{times}
 \usepackage{multicol}
 \usepackage{tabularx}
 \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''
 \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}
 
 
 
 \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}
 %\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}
+