COMMENT MONTRER UNE IMPLICATION?

[SheltonCoolio]

Bonsoir,est ce qu'il y'a d'autres méthodes pour montrer une implication P==>Q sauf les suivants :
raisonnement directe : on suppose P et avec des implications successives ou des deduction on déduit Q.
contraposé : pour montrer P==>Q on montre 7Q==>7P.
en utlisant l'absurde : On suppose que Q est vraie et on cherche une contradiction donc Q est vraie d'ou l'implication.
on peut meme utilser le raisonnement pas les equivaleces successives si P<==> Q on va déduire que P==>Q.

[catamat]

en utlisant l'absurde : On suppose que Q est vraie et on cherche une contradiction donc Q est vraie d'ou l'implication.

Bonjour
On suppose que P est vraie et Q fausse , puis on trouve une absurdité ce qui signifie que cette situation est impossible, l'implication est alors démontrée.