Bonjour,

Voila je bloque sur un petit exos de mathématique que notre prof nous a demandé de faire pour nous tester xD et la je dois avouer que je bloque completement ...

l´exo (c´est sur les connecteurs logique, table de boole, de vérité et tout le tralala ^^)

(P ==> Q) ==> (P V Q)

1) Trouver une proposition plus simple et équivalente ?
2) Pareil pour (P ==> Q) ==> (p ET Q)

d´avance a ce qui pourront me donner un coup de main

Salut,

Je sais pas du tout comment tu as introduit les connecteurs dans ton cours et j´ai pas envie de me lancer dans les calculs.
Cela dit il me semble que
(P ==> Q) ==> (P V Q) est équivalent à Q
(P ==> Q) ==> (P ET Q) est équivalent à P

En fait il suffit d´utiliser le fait que
P ==> Q est équivalent à Q ou (non P)