Inscription / Connexion Nouveau Sujet
Niveau autre
Partager :

implication équivalente

Posté par
antoo
22-09-07 à 20:54

Bonjour à tous,

j'aimerais une petite aide pour cette démonstration :

soient p, q et r des propositions .
Montrer que (( p V q ) ⇒ r ) équivaut à ( p ⇒ r ) ∧  ( q ⇒ r)

Bon j'ai essayé avec une table de vérité
ca donne a peu pres ceci :

p  q  r  pVq  p∧q
0  0  0   0    0
0  0  1   0    0
0  1  0   1    0
0  1  1   1    0
1  0  0   1    0
1  0  1   1    0
1  1  0   1    1
1  1  1   1    1

Donc je trouve que pVq et p∧q ne sont pas équivalent, ce qui parait normal
Mais l'énoncé demande de prouver le contraire donc je ne comprend rien.

Donc si quelque a une idée cela m'aiderai beaucoup

Merci d'avance

Posté par
romu
re : implication équivalente 22-09-07 à 21:03

Bonsoir, il n'y a priori pas de fautes dans l'énoncé:


rappel:

on définit 4$(A \Rightarrow B) := [B \mbox{ ou } (\mbox{non } A)]

Posté par
antoo
re : implication équivalente 22-09-07 à 23:29

merci bocoup romu

grace à cette propriété ( que je ne connaissait pas ) j'ai réussi à prouver l'équivalence en partant du 2ème membre.



Vous devez être membre accéder à ce service...

Pas encore inscrit ?

1 compte par personne, multi-compte interdit !

Ou identifiez-vous :


Rester sur la page

Inscription gratuite

Fiches en rapport

parmi 1699 fiches de maths

Désolé, votre version d'Internet Explorer est plus que périmée ! Merci de le mettre à jour ou de télécharger Firefox ou Google Chrome pour utiliser le site. Votre ordinateur vous remerciera !