Universit Paris 7 - Licence

Anne 2004-2005
TD de Maths pour l'Info n

Rvisions
Exercice 1 [Calcul propositionnel]
Lesquelles, parmi les formules suivantes, sont valides ? Contradictoires ? Si une formule n'est pas
valide, on donnera une interprtation qui la falsie.
1.
2.
3.
4.
5.
6.

p p
(p (p q)) q
q (p p)
(p p) q
(p q) p
(p q) q

7.
8.
9.
10.
11.
12.

p (p q)
p (p q)
p (p q)
q (p q)
p (p q)
q (p q)

13.
14.
15.
16.
17.
18.

pq
p p
((p q) (p q)) q
((p q) (p q)) p
(p p) p
((p q) p) p

Exercice 2 [Calcul propositionnel]

1. Pour quelles valeurs de l'entier n la formule (n = 1) (n = 2) est-elle vraie ?
2. Mme question pour ((n = 1) (n = 2)).

Exercice 3 [Calcul propositionnel]

Que peut-on dire des formules suivantes ? Sont-elles satisfaisables ? Valides ? Insatisfaisables ?
Utiliser pour chacune les tables de vrit.
1. (p q) (q p)
2. ((p q) (s m)) ((p s) q)
3. (p q) (p q)
4. (p p) q
Exercice 4 [Rcurrence]
1. Donner toutes les sous-formules de la formule : (p (q r)) (p q)
2. Soit F une formule propositionnelle n connecteurs. Quel est le nombre maximum de
sous-formules de F ? Le dmontrer par rcurrence sur n.

Exercice 5 [Combinatoire]
Donner une preuve (interprtation) combinatoire des galits suivantes :
k+1
1. Cnk + Cnk+1 = Cn+1
( n 0, 0 k < n )
2.

n
Cp+q

n
X

Cpi Cqni

(p, q 0, 0 n p + q )

i=0

Exercice 6 [Combinatoire  Examen de janvier 2004]

Considrons l'ensemble Bn des fonctions boolennes n variables, ainsi que les sous-ensembles
de Bn suivants :
Vnk = {f Bn | f a exactement k lignes V dans sa table de vrit}
Wnk = {f Bn | f a au plus k lignes V dans sa table de vrit}
Znk = {f Bn | f a au moins k lignes V dans sa table de vrit}

Rpondez, en justiant vos rponses, aux questions qui suivent :

1. Quelle est la cardinalit bn de Bn ?
2. Quelle est la cardinalit vnk de Vnk ?
Vriez que votre formule est valide sur le cas n = 2, k = 2.
3. Quelle est la cardinalit wnk de l'ensemble Wnk ?
4. Quelle est la cardinalit znk de l'ensemble Znk ?
5. Montrez que wnk a la proprit suivante :
2nk
wnk = wnk1 + C2n

6. Montrez que, pous les formules que vous avez trouv, on a bien :
bn = wnk + wnk vnk

Exercice 7 [Induction]
tant donn un ensemble A, on note ListA l'ensemble des listes d'lment de A. On dsigne par []
la liste vide, et l'opration de consing est note a :: l (avec a A et l ListA ).
On considre la fonction append : ListA ListA ListA dnie par :
append([], l2 ) = l2
append(a :: l1 , l2 ) = a :: append(l1 , l2 )

1. Montrer que la fonction append est bien dnie.

2. Montrez que la fonction append est associative :
append(append(l1 , l2 ), l3 ) = append(l1 , append(l2 , l3 ))

(l1 , l2 , l3 ListA )

Exercice 8 [Combinatoire  Examen de septembre 2004]

P
1. crivons Snk pour les sommes ki=0 Cni des coecients binomiaux.
Montrez que Snk satisfait les galits suivantes :
S10 = 1

S11 = 2

k1
k
Snk = Sn1
+ Sn1

2. Considrons l'ensemble IB des fonctions boolennes ternaires.

(a) Indiquez la cardinalit des sous-ensembles suivants de IB , en justiant le rsultat (une
rponse sans justication ne sera pas prise en compte).
i. IB
ii. Bik = {f IB | la table de vrit de f contient exactement n valeurs V, avec i n k}
iii. B26 B47
(b) Calculez maintenant la cardinalit de B26 B47 B58 en utilisant la formule de Sylvester
(toute autre solution ne sera pas prise en compte).
2