Logique propositionnelle classique - MLO - Ensiie
Logique propositionnelle classique - MLO - Ensiie
Logique propositionnelle classique - MLO - Ensiie
Create successful ePaper yourself
Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.
Un petit problème<br />
Un psychiatre pour logiciens écoute un de ses patients énumérer ses<br />
sentiments à propos de deux charmantes collègues :<br />
◮ J’aime Marie ou j’aime Jeanne<br />
◮ Si j’aime Marie alors j’aime Jeanne<br />
Le psychiatre conclut que le logicien aime Jeanne. Pourquoi ?<br />
atherine Dubois, Julien Narboux (Strasbourg) () <strong>Logique</strong> <strong>propositionnelle</strong> <strong>classique</strong> 13 / 60