Salut,

Je dois prouver la tautologie suivante :

(P v Q => R) <=> (P => R) ^ (Q => R)

Pour l'instant mon développement c'est ça :

<=> ~(P v ~R) ^ ~(Q v ~R)
<=> ~((P v ~R) v (Q v ~R))
<=> ~(P v Q v ~R)
<=> ~P v ~Q v R
<=> ~P v Q => R

Je le prend un peu dans tous les sens mais je n'y arrive pas. J'ai toujours le même résultat.

Où est/sont mon/mes erreur(s) ? Que me manque t-il pour aller un cran plus loin ?

Si quelqu'un sait m'aider, merci d'avance 🙂

Morgiver

Edit: Ou pinaise, ce clash de cerveau dans le titre xD (Alègre Booléenne, oui oui)
Woookai, j'ai fini par trouver.

<=> ~(P v ~R) ^ ~(Q v ~R)
<=> ~((P v ~R) v (Q v ~R))
<=> ~P v ~Q v R
<=> ~(P v Q) v R
<=> ~(~(~(P v Q)) v ~R) (on applique la contraposée)
<=> (P v Q) => R

Desolay pour le dérangement 😃