Démonstration
Bonjour,
Je voudrais savoir si on peut démontrer une implication de cette facon !
Il faut montrer que A implique B
Si je considère A vrai et que je montre B vrai c'est bon mais est ce que je peux montrer B vrai par l'absurde en me servant de A vrai bien sur ? c'est à dire je commence avec /B et j'arrive à une contradiction (tout en me servant de A vrai )
Please c'est pour demain ^^
Tu peux raisonner en te servant des hypothèses suivantes :
-A est vrai
-le contraire de B est vrai.
Si tu arrives à une contradiction avec A ou avec le contraire de B, alors, tu pourras conclure que A implique B.
Je ne comprends pas bien ce que dit Thorin. C'est très simple en fait. D'un point de vue logique, il est parfaitement équivalent de montrer "A implique B" ou "non B implique non A". Donc pour montrer que A implique B, tu peux supposer B faux et montrer que A est faux. Ca s'appelle raisonner par la contraposée.
Ce dont parle Thorin je pense, c'est le raisonnement par l'absurde, mais son explication n'est pas très claire.
A+
