LOGIQUE PROPOSITIONNEL

 

 

  1. Demontrer les equivalences ci-dessous.

 

(i)   

(ii)  

(iii) 

(iv)  

   

  1. Dites si les propositions suivantes forment une ‘tautologie’ ou une ‘contradiction’.

 

(i)   

(ii)  

(iii) 

(iv)  

 

  1. Simplifier les propositions composees ci-dessous.

 

(i)   

(ii)  

(iii) 

 

 

  1. Ecrire l’inverse, le converse et la contraposee de chaque proposition suivant.

 

(i)     Si    et    alors 

            (ii)    Si un polygone possede trois cotes c’est un triangle

            (iii)  

            (iv)  

 

 

 

 

  1. Determiner la negation des propositions suivantes.

  

(i)    L’homme est mortel et l’univers n’est pas sans fin.

(ii)   La lune est le satellite de la terre et Jacques travaille beaucoup

(iii) 

 

  1. Trouver la valeur de verite de chaque proposition en tenant compte de la condition exprimee.

 

(i)   Si    determiner la valeur de verite de

       a.  

       b.  

 

(ii)  Si    determiner la valeur de verite de

       a.  

       b.  

 

(iii)  Si    determiner la valeur de verite de

       a.  

       b.  

 

  1. Prouver les theoremes ci-dessous.

 

(i)    Le produit d’un nombre pair et d’un nombre impair est un nombre pair.

(ii)   Le carre d’un nombre impair est un nombre impair.

(iii)  Si    alors 

(iv)  Si    alors 

 

  1. Remplacer chacune des propositions suivantes par un circuit electrique correspondant.

 

(i)   

(ii)  

(iii) 

(iv)  

 

 

  1.  Remplacer les circuits electriques suivantes par une proposition logique et determiner si le courant passe par chacun de ces circuits.

 

(i)    

(ii)   

(iii)    

 

 

 

 

  1.  Faire la table de verite pour chacune des propositions suivantes.

 

(i)   

(ii)  

(iii) 

(iv)  

 

  1.  Determiner la valeur de verite pour chacune des propositions suivantes.

 

(i)   

(ii)  

(iii) 

 

  1.  Determiner si les propositions suivantes sont vraies ou fausses.

 

(i)   

(ii)  

(iii) 

(iv)  

(v)     

 

  1.  Determiner la negation de chacune des propositions suivantes.

 

(i)    

(ii)