Équivalence logique

Gelose | Tous les portails | Portail Medecine | Portail Biologie | Portail Biochimie | Portail Microbiologie | Portail Ecologie | Portail Botanique | Biologie cellulaire | Portail Zoologie | Science de la terre | Portail Eau |

Inscrivez votre site en haut de cette page Soumission direct par Allopass, obtenez 1 lien de qualite en haut de cette page Equivalence logique ainsi que sur la page des nouveaux sites inscrits pour seulement 20 euros!

<table><tr><td><form name="APform" action="http://www.allopass.com/cb/check.php4" method="POST">
 <input type="hidden" name="CDOC_ID" value="341792">
 <input type="hidden" name="CSITE_ID" value="108673">
 <input type="hidden" name="LG_SCRIPT" value="fr">
 <table border="0" cellpadding="0" cellspacing="0" width="300">
  <tr>
   <td colspan="3">
         <img src="http://www.allopass.com/imgweb/script/fr/cb_os_top.gif" alt="">
       </td>
  </tr>
  <tr>
   <td width="157" valign="middle" bgcolor="White">
    <font face="Arial,Helvetica" color="Black" size="11" Style="font-size: 12px;">
     <b>Entrez votre ticket d'acc�s</b>
    </font>
   </td>
   <td width="80" bgcolor="White">
    <input type="text" size="10" maxlength="10" value="Ticket" name="CODE" onFocus="if (this.form.CODE.value=='Ticket') this.form.CODE.value=''" style="BACKGROUND-COLOR: #E7E7E7; BORDER-BOTTOM: #000080 1px solid; BORDER-LEFT: #000080 1px solid; BORDER-RIGHT: #000080 1px solid; BORDER-TOP: #000080 1px solid; COLOR: #000080; CURSOR: text; FONT-FAMILY: Arial; FONT-SIZE: 10pt; FONT-WEIGHT:bold; LETTER-SPACING: normal; WIDTH:85; TEXT-ALIGN=center;">
   </td>
   <td width="58" align="center" bgcolor="White">
    <input type="button" name="APsub" value="" onClick="this.form.submit(); this.form.APsub.disabled=true;" style="border:0px;margin:0px;padding:0px;width:48px; height:18px; background:url('http://www.allopass.com/img/bt_ok.png');">
   </td>
  </tr>
  <tr><td colspan="3"><img src="http://www.allopass.com/img/cb_bot.gif" alt=""></td></tr>
 </table>
<input type="hidden" name="DATAS" value="">
</form>			  	 
</td>
<td valign=	op"><table border="0" cellpadding="0" cellspacing="0">
 <tr>
  <td>
   <form name="cben" action="https://secure.allopass.com/cb/subscribe.php4" method="POST" target="DisplaySub">
    <input type="hidden" name="START" value="1">
    <input type="hidden" name="SDOC_ID" value="341792">
    <input type="hidden" name="SSITE_ID" value="108673">
    <input type="hidden" name="LANG" value="L_FR">
       <input type="image" src="http://www.allopass.com/imgweb/script/fr/cb_subscribe_os.gif" alt="Ticket d'acces" onClick="window.open('','DisplaySub','toolbar=0,location=0,directories=0,status=1,menubar=0,scrollbars=1,resizable=1,width=600,height=570');" border = 0>
      </form>
  </td>
 </tr>
</table></td></tr></table>

En logique, deux propositions P et Q sont logiquement équivalentes ou équivalentes si P et Q ont simultanément même valeur de vérité; c'est-à-dire que P et Q sont vraies (resp. fausses), dans exactement les mêmes situations. On écrit

« P $\Leftrightarrow$ Q »

qui se lit

« P est vraie si et seulement si Q est vraie »

« $\Leftrightarrow$ » est le connecteur d’équivalence dont la table de vérité est donnée ci-dessous :

P	Q	P $\Leftrightarrow$ Q
Vrai	Vrai	Vrai
Vrai	Faux	Faux
Faux	Vrai	Faux
Faux	Faux	Vrai

L’équivalence P $\Leftrightarrow$ Q n’est autre que (P $\Rightarrow$ Q) $\land$ (Q $\Rightarrow$ P) ((P implique Q) et (Q implique P)) .

Autrement dit, deux propositions P et Q sont équivalentes si et seulement si chacune d’entre elles implique l’autre.

Dans ce cas, les propositions « P $\Rightarrow$ Q » et « Q $\Rightarrow$ P » sont dites réciproques l’une de l’autre.

Pour démontrer, une équivalence P $\Leftrightarrow$ Q, il faut donc démontrer l’implication P $\Rightarrow$ Q et sa réciproque.

On remarque que (P $\Rightarrow$ Q) $\land$ (Q $\Rightarrow$ P)

Dans le langage naturel, pour traduire que deux propositions P et Q sont équivalentes, on dira indifféremment :

P est vraie si et seulement si Q est vraie (ou ssi).
Pour que P soit vraie, il faut et il suffit que Q soit vraie.
Une condition nécessaire et suffisante pour que P soit vraie est que Q soit vraie (ou cns).
La vérité de P est une condition nécessaire et suffisante pour que Q soit vraie.
P équivaut à Q.

D’autres expressions « ou encore », « ou » (mais pas le connecteur logique ou), « soit » peuvent traduire une équivalence comme dans l’exemple suivant :

Pour tout réel x, x²=x équivaut à x²-x=0 soit x(x-1)=0 ou encore ((x=0) ou (x=1))

Ici, « soit » (XOR) ne sert pas à définir un objet, et le dernier « ou » est un ou logique (OR).

Certains auteurs utilisent l’abréviation ssi pour écrire des équivalences.

[] Propriétés

P $\Leftrightarrow$ P (l'équivalence est réflexive)
(P $\Leftrightarrow$ Q) $\Rightarrow$ (Q $\Leftrightarrow$ P) (l'équivalence est symétrique)
((P $\Leftrightarrow$ Q) $\Leftrightarrow$ R) $\Rightarrow$ (P $\Leftrightarrow$ (Q $\Leftrightarrow$ R)) (l’équivalence est transitive)

Ces trois lois montrent que l'équivalence logique est une relation d'équivalence

¬¬P ⇔ P (Dans la logique classique, ceci équivaut au principe du tiers exclu)
(P ⇔ Q) ⇔ (¬ P ⇔ ¬Q) (contraposition)

Exemples

On a

$\forall n\in \mathbb N, n\geq 2, \forall x\in\mathbb R - \{1\}, (x+1)^n=(x-1)^n\Leftrightarrow \frac{(x+1)^n}{(x-1)^n}=1$

L’équivalence ∀x, y∈ℝ (x=y ⇔ x²=y²) (en élevant au carré) est fausse parce que par exemple 2²=(-2)² n’implique pas 2=-2
L’équivalence suivante est vraie

$\forall x\in [-1, +\infty[, x-1\geq \sqrt{x+1} \Leftrightarrow ((x-1)^2\geq x+1\quad \wedge \quad x-1\geq 0)$ (en élevant au carré)

En élevant au carré, on perd l’information que x-1 est supérieur à une racine carrée et doit être positif et pour avoir l’équivalence, on rajoute la propriété x-1>=0.

Remarques :

Démontrer par équivalence n’est pas toujours simple ; dans certains cas, il est préférable de démontrer séparément les implications réciproques.

Dire que l’équivalence P ⇔ Q est vraie ne veut pas dire que P et Q sont vraies, mais que si l’une d’entre elles est vraie (resp. fausse), l’autre aussi.

[] Équivalence entre plusieurs propositions

Soit trois propositions P, Q et R.

Pour démontrer les équivalences P ⇔ Q ⇔ R, il suffit de démontrer les implications :

P ⇒ Q, Q ⇒ R et R ⇒ P.

Soit les implications P ⇒ Q, Q ⇒ R et R ⇒ P établies.

Pour démontrer que Q ⇒ P, on utilise Q ⇒ R et R ⇒ P.

Pour démontrer que R ⇒ Q, on utilise R ⇒ P et P ⇒ Q.

Et enfin pour démontrer que P ⇒ R, on utilise P ⇒ Q et Q ⇒ R.

Ce type de démonstration s’appelle une démonstration « circulaire » ou « en cercle ».

On peut généraliser à n propositions P₁, P₂… P_n.

Pour démontrer les équivalences P₁ ⇔ P₂ ⇔… ⇔ P_n, il suffit de démontrer les implications :

P₁ ⇒ P₂, P₂ ⇒ P₃… P_n-1 ⇒ P_n et P_n ⇒ P₁.

Portail des mathématiques – Accédez aux articles de Wikipédia concernant les mathématiques.

Portail de la logique – Accédez aux articles de Wikipédia concernant la logique.

Catégorie : Logique mathématique