démontrer une implication

[king07]

Soient P,Q,R des propositions. Montrer que
1. [(P ⇒Q)∧(Q⇒R)∧(R⇒P)]⇒[(P ⇐⇒Q)∧(P ⇐⇒R)∧(Q⇐⇒R)]
2. ((P ∨Q)⇒R)⇐⇒((P ⇒R)∧(Q⇒R)

mercii d'avance
-----

[shezone]

Bonsoir connais tu les tables de vérités ?

Avec ce genre d'exercices c'est souvent grâce à cela qu'on le résout .

cdt

[king07]

oui j connais les tables de vérité
un exemple de la façon de les utiliser(tables de vérité ) pour démontrer svp ?

[PlaneteF]

Bonsoir,

Utiliser les tables de vérité ici me semble un peu lourd, alors que de simples raisonnements sur les implications donnent une démonstration rapide.

Par exemple pour le 1) , on peut utiliser la propriété suivante :


Cordialement

[A voir en vidéo sur Futura]

[king07]

mercii pour vos aides