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.
Déduction naturelle<br />
Il y a trois sortes de règles :<br />
◮ les règles élémentaires (la règle dite de l’axiome et celle de<br />
l’affaiblissement)<br />
◮ pour chaque connecteur, une ou plusieurs règles d’introduction<br />
Le connecteur apparaît quand on lit la règle de haut en bas.<br />
∆, A ⊢ B<br />
Exemple :<br />
∆ ⊢ A⇒B<br />
◮ pour chaque connecteur, une ou plusieurs règles d’élimination<br />
Le connecteur disparaît quand on lit la règle de haut en bas.<br />
∆ ⊢ A⇒B ∆ ⊢ A<br />
Exemple :<br />
∆ ⊢ B<br />
atherine Dubois, Julien Narboux (Strasbourg) () <strong>Logique</strong> <strong>propositionnelle</strong> <strong>classique</strong> 36 / 60