Tu peux par exemple faire une table avec toutes les possibilités...

sinon utiliser la définition du ->

non je doit le faire sans la table

p-->(qVr)=T(pv(qvr))

et (p-->q)V(p-->r)=(TpVq)V(TpVr)

et apres?

Et bien c'est fini

Tpvq = p->q
Tpvr = p->r

Je ne suis pas d'accord avec ta première équation :

p->(qvr) = Tp v (qvr)

ben non comment ca?
pour la 1ere j'ain fai une faute de parenthese

p-->(qVr)=Tpv(qvr))

Maintenant tu devrais pouvoir conclure... non ?

je sui perdu

p->(qvr) = Tp v (qvr) = Tp v q v Tp v r = (Tp v q) v (Tp v r)

C'est plus facile quand on lit de la droite vers la gauche !

aahaaa ok
meci
tu a raison

oh fait Tp v (qvr) = Tp v q v r  sans le Tp...

je pense que c'est comme ca qu'il faut faire:
(p-->q)V(p-->r)(Tp v q) v (Tp v r)=Tp v q v Tp v r

et Tp v Tp=Tv donc ca marche^^