Logique, raisonnement et résolution Refutation

Ce cours de réflexion critique explique comment appliquer la logique et le raisonnement en réfutant la résolution. Nous commençons par vous présenter différentes langues logiques et vous donner une vue d'ensemble du calcul propositionnel. Nous avons ensuite mis en page les symboles utilisés dans le calcul propositionnel et nous vous montrons comment convertir les phrases anglaises en calcul propositionnel. Nous discutons en détail du calcul du prédicat (également appelé "logique de premier ordre") et identitons ses symboles, sa sémantique et ses différences par rapport au calcul propositionnel.

Le cours examine ensuite diverses techniques de pensée critique, notamment les "modus ponens", le "modus tollens", l'élimination, l'introduction et l'instanciation universelle. Nous couvrons le processus d'unification et de déduction pour vous aider à appliquer la logique aux scénarios réels. Nous démontrons comment construire un système de raisonnement et faire correspondre deux prédicats pour implémenter un moteur d'inférence. Étant donné que toutes les variables doivent être quantifiées universellement, nous explorons les étapes du processus d'unification et les mesures prises pour appliquer le principe de la résolution par déduction.

Notre prochaine section se concentre sur le théorème de la réfutation de résolution. Nous fournissons des exemples pour vous aider à comprendre les mesures de base prises pour établir les théorèmes, y compris la forme de clause, les stratégies de résolution efficaces et l'extraction de réponse de la réfutation de résolution. Le cours examine la substitution de l'unification et la Skolémisation pour améliorer vos compétences pratiques de raisonnement critique. Nous expliquons aussi comment utiliser Prolog, un langage de programmation logique et une application du théorème de résolution qui s'avère souvent utilisé dans l'informatique moderne. Notre dernière section compare différentes approches de raisonnement. Ce cours convient aux programmeurs informatiques, car il explique comment la pensée critique peut être exprimée et appliquée pour améliorer vos compétences en informatique.