[Logique] démonstration séparée ?

Bonjour à tous,

J'ai une question qui me chagrine depuis quelques temps :

Si je dois démontrer : $c)a\quad\longrightarrow\quad(b\ et\ c)$
Alors je démontre séparément :
$a⟶ba\quad\longrightarrow\quad b$ et $a⟶c.\ a\quad\longrightarrow\quad c.$

Mais, pour valider ces deux implications puis je utiliser en hypothèse la véracité de l'autre ? Si je suppose que $c$ est vrai et je démontre que $b$ est aussi vrai, c'est une faute logique ?

Merci et @+

Bonjour ,

De façon générale , tu dois faire deux démonstrations séparées.

( Ta seconde méthode est un cas très particulier où C = > B serait vraie ...)

Merci.