Académique Documents
Professionnel Documents
Culture Documents
Département d’Informatique
E XERCICE 2 []
Soit Si =< Σi , Li , Ai , Ri > un système formel dans lequel Σi = {a, b} est l’alphabet, Li = Σ∗i est l’ensemble
des mots constructibles sur Σi , Ai est l’ensemble des axiomes et Ri l’ensemble des règles d’inférence.
Considérons ainsi deux tels systèmes S1 et S2 définis comme suit :
S1 S2
A1 : ⊢a A2 : ⊢a ⊢b
R1 : P a ⊢ aP a aP ⊢ aP b R2 : P a ⊢ aP b aP ⊢ bP a P b ⊢ bP a bP ⊢ aP b
2.1 Quelle est la forme générale des théorèmes de S1 ?
2.2 Dans S1 comme dans S2 , a-t-on ⊢ abab ? Justifier.
2.3 Même question que 1.2 pour ⊢ abb. Si oui, combien y a-t-il de démonstrations pour cela ?
E XERCICE 3 []
3.1 Les mots a6 bc2 , a2 bc4 , abc, a10 b sont-ils des théorèmes ? Justifier.
3.2 Décrire toutes les formes de théorèmes possibles dans ce système formel. Justifier.