190 - Une histoire de licornes...
Ou : Toi aussi, brille et résouds des vrais problèmes d'intelligence artificielle.
Je suis en train de corriger des problèmes de logique propositionnelle. La logique propositionnelle (ou logique de Boole, ou algèbre booléenne, comme vous voulez, mais aux Etats-Unis on a tendance à ne pas trop parler de Boole, c'était un Anglais.), c'est pas toujours très marrant [1], c'est plein de disjonction de conjonctions, de conjonctions de disjonctions, de raisonnements par l'absurde et de clauses fausses qui impliquent n'importe quoi, mais parfois il y a des licornes.
D'où le problème suivant :
Si la licorne est mythique, alors elle est immortelle. Sinon, c'est un mammifère mortel.
Si la licorne est soit immortelle, soit un mammifère mortel, alors elle a une corne.
Si la licorne a une corne, alors elle est magique.
Question: peut-on prouver que la licorne est mythique ? magique ? cornue ?
J'ai quatre élèves qui affirment qu'on ne peut rien déduire du tout, une qui affirme que la licorne est mythique, et un qui déclare sans broncher, après une page de calculs, que la licorne n'a pas de corne. Ah, et deux qui ont sagement décidé de ne pas se prononcer.
Je crois qu'il sont fatigués. Ou perdus. Ou les deux.
PS. La licorne est de toute évidence cornue et magique, tout le monde sait ça. C'est sur le fait de savoir si elle est mythique ou non que les avis divergent. Pfff.
[1] Encore que, généralement, j'aime bien ça... [sifflote discrètement... part en courant.]