a Pour monter que P ⇒ Q est une proposition vraie, il (faut et) il suffit de montrer que Q ⇒ P est une proposition vraie
b Montre que quand P ⇒ Q est une proposition vraie, et Q est une proposition fausse, on peut affirmer que P est une proposition vraie
c Montre que quand P ⇒ Q est une proposition vraie, et Q est une proposition fausse, on peut affirmer que P est une proposition vraie
d Pour monter que P ⇒ Q est une proposition fausse, il (faut et) il suffit de montrer que Q ⇒ P est une proposition vrai