Terme
Si l’on a \(P\Rightarrow Q\) et \(Q\Rightarrow R\), alors on a \(P\Rightarrow R\).
Module : Implication
Remarque Transitivité de l’implication
Si l’on a \(P\Rightarrow Q\) et \(Q\Rightarrow R\), alors on a \(P\Rightarrow R\).