NOMBRES - Curiosités, théorie et usages

Accueil / Dictionnaire / Rubriques / Index / Atlas / Références /    Nouveautés

ORIENTATION GÉNÉRALE    -   M'écrire   -   Édition du: 14/05/2013

Débutants

Logique

Rubrique  LOGIQUE

Glossaire Logique

 

Lois de la LOGIQUE

 

Inversion

ET

OU

Implication

Phrases

OU Exclusif

Équivalence

Multi-variable

Addition

 

Sommaire de cette page

>>> Logique formelle / raisonnement / intelligence artificielle

>>> Théorie des ensembles (mathématiques modernes)

>>> Logique / algèbre de Boole

>>> Réalisation / circuits logiques / ordinateurs

>>> Illustration électrique

 


 

 

 

FONCTION LOGIQUE "IMPLICATION"

 

 IMPLICATION

INCLUSION

Déduction

 

Si A alors B

Attention, pas si immédiat à assimiler!

La logique s'intéresse à la vérité logique et non à la vraisemblance du monde réel.

 Anglais : Conditional

 

 

Logique formelle – Raisonnement – Intelligence artificielle

Outil de déduction

 

Si  A alors B

 

Simple

*      Quand je suis gai, je ris.

 

Évolué

*      Si vous êtes en retard,  alors vous offrez l’apéritif.

 

Particulier

*      Il n’y a que les insectes qui ont six pattes.

*      Il n’y a que les imbéciles qui ne changent pas d’avis.

 

 

THÉORIE DES ENSEMBLES

                      (Mathématiques modernes)

 

Inclusion

 

S = A  B

 

 

 

Diagramme de Venn

 

 

Voir Diagramme de Venn

 

 

 

LOGIQUE / ALGÈBRE DE BOOLE

 

IMPLICATION

 

S = A  B

 

 

Table de vérité

 

A

B

S = A  B

0

0

1

0

1

1

1

0

0

1

1

1

 

*      N’est fausse que si A est vraie et B est fausse.

 

*      Notez

Toujours vraie si A est fausse.

Même si ça vous paraît étrange!

 

Fonctions

S = A => B

 

 

 

 

Diagramme de Karnaugh

 

 

Voir Diagramme de Karnaugh

 

 

 

 

RÉALISATION:

CIRCUITS LOGIQUES / ORDINATEURS

 

Circuit électrique:

    

 

*      Pas d’application.
Sinon l’interrupteur lui-même.
J’appuie sur le bouton, la lampe s’allume.

*      Mais une réflexion

 

À méditer

*      J’ouvre la porte du frigo : la lumière est allumée. Mais, je n’ai jamais vu si elle est éteinte, porte fermée !

 

Circuit électronique:

   

*      Pas de circuit particulier.
Mais on peut construire la fonction avec les portes logiques classiques.
Notamment:

*      Qui donne:

 

 

 

 

Illustration électrique de l'implication

 

 

*    Voici les quatre situations envisageables pour illustre l'implication:

 

*      Interrupteur ouvert et ampoule éteinte, c'est normal.

*      Interrupteur fermé et ampoule allumée, c'est normal.

*      Interrupteur fermé et ampoule éteinte, ce n'est pas normal, mais possible (l'ampoule est grillée, la pile est déchargée …).

*      Par contre, il est clairement impossible que l'ampoule s'allume sans courant.

*    Ce dernier cas est finalement le plus seul qui permet de conclure. Plusieurs façons de le dire:

*      Si l'ampoule est allumée, c'est que surement l'interrupteur est fermé;

*      Si l'ampoule est allumée, alors l'interrupteur est fermé;

*      L'ampoule est allumée seulement si l'interrupteur est fermé;

*      Il faut que l'interrupteur soit fermé pour que la lampe soit allumée;

*      Plus subtil: si l'interrupteur est ouvert, l'ampoule est éteinte (le cas allumé est impossible).

 

Table de vérité

Voici comment il faut interpréter l'illustration électrique de l'implication

Vous notez qu'il s'agit bien d'une illustration et NON PAS d'un schéma électrique. Ne pas chercher comme pour le ET ou le OU un résultat sur une sortie électrique.

 

 

 Bilan

Une implication n'est fausse que si A est vraie et B est fausse.

 

Ainsi, si A et B son vraies mais farfelues, l'implication est vraie!

Ex: "Le chien a quatre pattes donc les marguerites ont des pétales" est une implication vraie.

 

 

 


 

Suite

*    Phrase

*    LogiqueIndex

Voir

*    Énigme des quatre cartes de Wason

*    Énigmes et paradoxes

*    Fractales

*    Intelligence artificielle

*    Logique

*    Outils de la logique

*    Raisonnement

Site

*    Cour sur les ensembles et structures algébriquesLavau (.pdf)

Cette page

http://villemin.gerard.free.fr/Wwwgvmm/Logique/LoLoImpl.htm