Implémentation d’un Outil de Raisonnement Propositionnel basé sur La Méthode de Résolution par Réfutation

Abstract

La logique mathématique est un langage de représentation de l'information pour aboutir des résultats et des conclusions. C’est la science qui étudie les règles générales du raisonnement correct. La logique contient de nombreux types différents, le calcul propositionnel est la plus simple, il est utilisé dans tous les domaines de l'informatique. La logique occupe une grande place dans le développement de matériel informatique et la construction de ses applications, tous les langages de programmation utilisent les connecteurs logiques. Ce projet de fin d’étude propose une approche idéale afin d’étudier les propriétés des formules logiques, où un outil a été développé basé sur l’une des méthodes de preuve, la méthode de résolution par réfutation. Notre objectif est de fournir des résultats précis, non ambigus, réduire l'effort et le temps requis par les tables de vérité.

Mathematical logic is a language for representing information in order to arrive at results and conclusions. It is the science that studies the general rules of correct reasoning. Logic contains many different types, propositional calculus is the simplest, and it is used in all areas of computer science. Logic occupies a large place in the development of computer hardware and the construction of its applications; all programming languages use logical connectors. This end-of-study project offers an ideal approach to study the properties of logical formulas, where a tool has been developed based on one of the proof methods, the resolution method with refutation. Our goal is to provide accurate, unambiguous results, reducing the effort and time required by truth tables.