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.