Implication et équivalence/Exercices/Logique et raisonnements

Logique et raisonnements
Image logo représentative de la faculté
Exercices no3
Leçon : Implication et équivalence

Exercices de niveau 14.

Exo préc. :Contraposées
Exo suiv. :Sommaire
En raison de limitations techniques, la typographie souhaitable du titre, « Exercice : Logique et raisonnements
Implication et équivalence/Exercices/Logique et raisonnements
 », n'a pu être restituée correctement ci-dessus.




Exercice 3-1 modifier

Vrai ou faux ?

  1. Si  , alors  .
  2. Si  , alors  .
  3. Il n'est pas vrai que «   si   ».
  4. Il n'est pas vrai que «   si   ».
  5.   si et seulement si  .
  6.   si et seulement si  .
  7. Un entier naturel est positif si et seulement si son carré est positif.

Exercice 3-2 modifier

  1. On considère les assertions   : « il pleut » et   : « je suis mouillé ». Donner des énoncées en français qui traduisent les assertions suivantes :
     
     .
  2. Simplifiez les énoncés suivants :
    • Il n'est pas vrai que s'il pleut, il fait froid.
    • Il n'est pas vrai que « les coquelicots sont rouges si et seulement si les violettes sont bleues ».
    • Il n'est pas vrai que « les champignons ne poussent pas s'il ne fait pas soleil ».

Exercice 3-3 modifier

  1. La négation de la proposition « S'il fait beau, je vais à la plage » est :
    a) S'il fait beau, je ne vais pas à la plage.
    b) S'il ne fait pas beau, je ne vais pas à la plage.
    c) S'il ne fait pas beau, je vais à la plage.
    d) Il fait beau et je ne vais pas à la plage.
  2. La proposition « Les personnes qui parlent trop ne réfléchissent pas souvent » équivaut à :
    a) Les personnes qui parlent trop ne réfléchissent pas.
    b) Les personnes qui réfléchissent souvent ne parlent pas trop.
    c) Les personnes qui réfléchissent souvent parlent trop.
    d) Les personnes qui ne parlent pas trop réfléchissent souvent.

Exercice 3-4 modifier

  1. Montrer qu'il y a 4 connecteurs unaires et écrire leurs tables de vérité.
  2. a) Écrire les tables de vérité des trois connecteurs binaires  ,   et   définis par :
    •   est le connecteur de disjonction exclusive (« OU exclusif ») :   est vrai si l'on a   ou   mais pas les deux à la fois ;
    •   (barre de Sheffer) est le connecteur d’incompatibilité (« NAND » ou « NON ET ») :   signifie que   exclut   (ou encore : que l'on ne peut pas avoir   et   à la fois) ;
    •   (connecteur de Pierce) est le connecteur de rejet (« NOR » ou « NON OU ») :   signifie que l'on n'a ni  , ni  .
    b) Montrer que tous les connecteurs logiques usuels peuvent être définis en utilisant uniquement la barre de Sheffer, et que le connecteur de Pierce peut jouer le même rôle.
    c) Montrer qu'il y a 16 connecteurs binaires et écrire leurs tables de vérité.
  3. Combien y a-t-il de connecteurs ternaires ?

Exercice 3-5 modifier

  1. Vérifier à l'aide des tables de vérité les équivalences logiques suivantes :
     
     .
  2. En déduire :
     
     .
  3. Dans chacun des cas suivants, écrire la table de vérité de l'assertion et trouver une assertion équivalente plus simple :
     .

Exercice 3-6 modifier

  1. Que peut-on dire de l'assertion   lorsque l'assertion «   » est vraie
    a) avec   qui est fausse ? b) avec   qui est vraie ?
  2. Mêmes questions lorsque l'assertion «   » est vraie.
  3. Étant donnée une assertion   fixée, que peut-on dire de l'assertion   telle que   soit une tautologie et   une contradiction ?

Exercice 3-7 modifier

On considère trois propositions  ,   et   et l'on suppose que   et  . En déduire les valeurs de vérité de  ,   et  .

Exercice 3-8 modifier

Déterminer les ensembles suivants :

  •  ,
  •  ,
  •  .

Soient   tels que   et  . Déterminer les réels   tels que

 .

Exercice 3-9 modifier

  1. Donner un exemple simple d'ensemble  , et de choix d'interprétation sur   des prédicats   et  , tel que les énoncés suivants soient vrais tous les deux :
    A :  
    B :  .
  2. Pour tout   vérifiant A et B, donner (en justifiant !) la valeur de vérité de chacun des deux énoncés :
    C :  
    D :  .

Exercice 3-10 modifier

Dans chaque cas, écrire en langage quantifié la négation de l'assertion (on précisera, quand c'est possible, la valeur de vérité des assertions).

  1.  
  2.  
  3.  
  4.  
  5.  
  6.  
  7. La suite numérique   vérifie :  
  8. La suite numérique   vérifie :  .

Exercice 3-11 modifier

Juger de la validité des syllogismes suivants :

  1. Aucune citrouille n'est rouge, or tous les fruits sont rouges, donc certains fruits ne sont pas des citrouilles.
  2. Seules les citrouilles sont orange, or certains fruits ne sont pas orange, donc certains fruits ne sont pas des citrouilles.
  3. Seuls les jugements désintéressés sont des jugements libres, or tout jugement rationnel est un jugement libre, donc certains jugements rationnels sont désintéressés.
  4. Qui est déchu de ses droits civiques n'est pas éligible, or certains criminels ne sont pas déchus de leurs droits civiques, donc certains criminels sont éligibles.
  5. Seuls les actes explicitement interdits par la loi sont répréhensibles, or certains détournements d'argent ne sont pas explicitement interdits par la loi, donc certains détournements d'argent ne sont pas répréhensibles.

Exercice 3-12 modifier

Soient   et  . Les énoncés suivants sont-ils vrais ou faux ? (justifier)

  1.  
  2.  
  3.  
  4.  
  5.