
% --------------------------------------------------------------
% This is all preamble stuff that you don't have to worry about.
% Head down to where it says "Start here"
% --------------------------------------------------------------

\documentclass[10pt, letterpaper]{article}

% --------------------------------------------------------------
% Package utf8 for normal characters please
% --------------------------------------------------------------
\usepackage[utf8]{inputenc}

% --------------------------------------------------------------
% Package setup for guillemets « » and non-breaking spaces
% see https://tex.stackexchange.com/questions/2681/guillemets-in-latex
% --------------------------------------------------------------
\usepackage[T1]{fontenc}
\usepackage[french]{babel}
\frenchbsetup{og=«, fg=»}
\usepackage[french=guillemets]{csquotes}
\usepackage{xspace}

% --------------------------------------------------------------
% Control paper size and margins
% --------------------------------------------------------------
\usepackage[margin=1in]{geometry} 

% --------------------------------------------------------------
% Make nice lists with letters and shit
% --------------------------------------------------------------
\usepackage{enumitem}

% --------------------------------------------------------------
% Make columns
% --------------------------------------------------------------
\usepackage{multicol}

% --------------------------------------------------------------
% Better tables
% --------------------------------------------------------------
\usepackage{tabularx}

% --------------------------------------------------------------
% Images
% --------------------------------------------------------------
\usepackage{graphicx}

% Math stuff
% --------------------------------------------------------------
\usepackage{amsmath,amsthm,amssymb}
 
\newcommand{\N}{\mathbb{N}}
\newcommand{\Z}{\mathbb{Z}}
 
\newenvironment{theorem}[2][Theorem]{\begin{trivlist}
\item[\hskip \labelsep {\bfseries #1}\hskip \labelsep {\bfseries #2.}]}{\end{trivlist}}
\newenvironment{lemma}[2][Lemma]{\begin{trivlist}
\item[\hskip \labelsep {\bfseries #1}\hskip \labelsep {\bfseries #2.}]}{\end{trivlist}}
\newenvironment{exercise}[2][Exercise]{\begin{trivlist}
\item[\hskip \labelsep {\bfseries #1}\hskip \labelsep {\bfseries #2.}]}{\end{trivlist}}
\newenvironment{problem}[2][Problem]{\begin{trivlist}
\item[\hskip \labelsep {\bfseries #1}\hskip \labelsep {\bfseries #2.}]}{\end{trivlist}}
\newenvironment{question}[2][Question]{\begin{trivlist}
\item[\hskip \labelsep {\bfseries #1}\hskip \labelsep {\bfseries #2.}]}{\end{trivlist}}
\newenvironment{corollary}[2][Corollary]{\begin{trivlist}
\item[\hskip \labelsep {\bfseries #1}\hskip \labelsep {\bfseries #2.}]}{\end{trivlist}}

\newenvironment{solution}{\begin{proof}[Solution]}{\end{proof}}
 
\begin{document}
 
% --------------------------------------------------------------
%                         Start here
% --------------------------------------------------------------
 
\title{Devoir 8}
\author{Louis-Olivier Brassard\\
PHI1005 -- Logique 1}
\date{Automne 2019}

% maketitle génère automatiquement le titre
\maketitle

\section*{Question 1.}

Traduisez les énoncés suivants en LPO.

\textbf{Dictionnaire} :

\begin{itemize}
  \item 
\end{itemize}

\begin{enumerate}[label=\alph*)]
  % a)
  \item Gödel est un Autrichien.
  \[\]
  
  % b)
  \item Il est suffisant qu’Aristote soit mort pour qu’il soit dans l’erreur.
  \[\]
 
  % c)
  \item Poincaré n’est pas un logicien français.
  \[\]
 
  % d)
  \item Jacques étudie en philosophie alors que Louise étudie en littérature française.
  \[\]

  % e)
  \item Si Jean réussit à démontrer la loi de Peirce, alors il comprend la déduction naturelle.
  \[\]
 
\end{enumerate}

\section*{Question 2.}

Traduisez les éléments suivants en LPO.

\begin{enumerate}[label=\alph*)]
  % a)
  \item Tous les mammifères sont des vertébrés.
  \[\]
  
  % b)
  \item Il y a des animaux qui ne sont pas des vertébrés.
  \[\]
 
  % c)
  \item Les mammifères sont des animaux si et seulement si les vertébrés sont des animaux.
  \[\]
 
  % d)
  \item Seuls les poissons sont des animaux.
  \[\]

  % e)
  \item Aucun animal n’est un vertébré.
  \[\]

  % f)
  \item Tous les animaux ne sont pas des mammifères.
  \[\]

  % g)
  \item Certains professeurs de philosophie sont distraits.
  \[\]

  % h)
  \item Toutes les substances sont destructibles sauf les substances simples.
  \[\]
 
\end{enumerate}

% --------------------------------------------------------------
%     You don't have to mess with anything below this line.
% --------------------------------------------------------------
 
\end{document}
