Systèmes de preuves en logique des propositions - CNRS
La preuve par la méthode des tableaux matriciels permet de manière mécanique ... conjonctive FNC et une forme normale disjonctive FND telles que.Télécharger Systèmes de preuves en logique des propositions - CNRS pdf
