Equivalence

par **jeje56** » 06 Avr 2009, 11:07

Bonjour,

Je dois MQ : D/a et D/b ssi (d/D => d/a et d/b)

Le sens direct est évident... Mais je ne vois pas pour l'autre sens ?

Merci !

par **mathelot** » 06 Avr 2009, 12:09

Bj,

d=D puis modus ponens

par **jeje56** » 06 Avr 2009, 14:07

C'est un cas particulier non ?

par **leon1789** » 06 Avr 2009, 14:42

oui, mais suffisant !

par **jeje56** » 06 Avr 2009, 15:00

Pourquoi ?... Merci !

par **leon1789** » 06 Avr 2009, 15:09

Que signifie ( d/D => d/a et d/b ) pour toi ? (en français)

par **jeje56** » 06 Avr 2009, 15:12

Si d divise D alors d divise a et d divise b

Si on prend d=D, on a bien D/a et D/b

Mais si d quelconque ?...

Edit : autant pour moi, celà est valable pour tout d, en particulier pour D...

par **leon1789** » 06 Avr 2009, 15:42

jeje56 a écrit:Edit : autant pour moi, celà est valable pour tout d, en particulier pour D...

voui :id:

Equivalence

Equivalence

Qui est en ligne