#s/maths/logique

---

La conclusion est ce que l'on déduit.

# Exemple

$$\begin{array}{ll}
(P1) & \text{ Tous les hommes sont mortels }\\
(P2) & \text{ Socrate est un homme}\\
\hline
(C) & \text{Socrate est mortel}
\end{array}$$

Ici, on voit **$C$ est la conlcusion**.

On dit que $P1$ et $P2$ sont les [[prémisses]].