Conjonction

  1. Pour démontrer une conjonction[1] \("P~et~ Q"\) : on démontre séparément la propriété \("P"\) et la propriété \("Q",\) dans un ordre au choix. Autrement dit on fait deux démonstrations avec les hypothèses que l'on a, l'une dont le but est \("P",\) l'autre dont le but est \("Q".\)

  2. Pour utiliser une hypothèse \("P~ et~ Q",\) on la remplace par les deux hypothèses, d'une part \("P",\) d'autre part \("Q".\)

Équivalence

Équivalence[2]

Penser à remplacer systématiquement \("P\Leftrightarrow Q"\) par la conjonction des deux implications \("P\Rightarrow Q"\) et \("Q\Rightarrow P".\)