Documente Academic
Documente Profesional
Documente Cultură
MPSI 4 – Mathématiques
A. Troesch
1. Exprimer A =⇒ B à l’aide des connecteurs ¬, ∧, ∨. Le système complet {¬, ∧, ∨, =⇒} est-il minimal ?
2. Justifier que {¬, ∧, ∨} est un système complet non minimal.
3. (a) Justifier que toute formule ne faisant intervenir que le connecteur ∨ est satisfaite par la distribution de
vérité prenant la valeur V pour toute variable propositionnelle.
On pourra raisonner par récurrence sur le nombre de symboles de connecteur de la formule.
(b) En déduire que le système {¬, ∨} est un système complet minimal de connecteurs.
(c) Démontrer que même que {¬, ∧} est un système complet minimal de connecteurs.
4. On définit deux connecteurs logiques, appelés barres de Sheffer, et correspondant au NON-ET (NAND) et
NON-OU (NOR) par :
A ∧| B = ¬(A ∧ B) et A ∨| B = ¬(A ∨ B)
(a) Donner une formule simple équivalente à A ∧| A et à A ∨| A.
(b) Montrer que { ∧| } et { ∨| } sont deux systèmes complets de connecteurs.
Il est assez remarquable de pouvoir écrire toutes les formules de la logique propositionnelle avec un seul connecteur !
Évidemment, en pratique, ce serait très compliqué à lire !
1
On peut trouver d’autres énigmes de ce type faisant intervenir plus de deux portes dans le livre de Smullyan, ainsi
que des énigmes sur d’autres thèmes. Du même auteur, on pourra consulter également Quel est le titre de ce livre ?