exemple pour la clause imp et eqv

mapmip · 19/09/2007, 13h54

bonjour ,

auriez vous des exemples concrets pour l'utilisation avec les clauses
eqv et imp ?

merci d'avance

random · 19/09/2007, 14h15

pour eqv on peut traduire

(a=b)=(c=d) et trouver des équivalences

par contre je reste réfractaire à imp

en langage courant voici ce qu'en dit wikipedia
Voici un exemple de relation d'implication : « il fait beau » ⇒ « je suis heureux ». Cette proposition est vraie si je suis toujours heureux quand il fait beau.

A ne pas confondre avec la relation d'équivalence qui elle implique que je ne soit heureux QUE lorsqu'il fait beau.

19/09/2007, 13h54	#1
mapmip Membre habitué Inscription : juillet 2006 Messages : 544 Détails du profil Informations forums : Inscription : juillet 2006 Messages : 544 Points : 108 Points : 108	exemple pour la clause imp et eqv bonjour , auriez vous des exemples concrets pour l'utilisation avec les clauses eqv et imp ? merci d'avance
	00

19/09/2007, 14h15	#2
random Expert Confirmé Inscription : mai 2005 Messages : 3 419 Détails du profil Informations forums : Inscription : mai 2005 Messages : 3 419 Points : 3 768 Points : 3 768	pour eqv on peut traduire (a=b)=(c=d) et trouver des équivalences par contre je reste réfractaire à imp en langage courant voici ce qu'en dit wikipedia Voici un exemple de relation d'implication : « il fait beau » ⇒ « je suis heureux ». Cette proposition est vraie si je suis toujours heureux quand il fait beau. A ne pas confondre avec la relation d'équivalence qui elle implique que je ne soit heureux QUE lorsqu'il fait beau. __________________ Elle est pas belle la vie ?
	00

Outils de la discussion
Afficher une version imprimable Envoyer un lien vers cette page par email