Concept

Règle de remplacement

En logique, une règle de remplacement est une règle d'inférence appliquée à une portion d'une expression. Un système logique peut être construit à l'aide d'axiomes, de règles d'inférences en utilisant des formules logiques. On distingue une règle d'inférence d'une règle de remplacement en ce que la première s'applique sur toute une formule logique, tandis que la seconde ne s'applique que sur une portion de celle-ci. Les règles de remplacement sont utilisées en calcul des propositions pour manipuler des énoncés. On compte, parmi les règles de remplacement, les lois de De Morgan, la commutativité, l'associativité, la distributivité, la double négation, la transposition, les lois de l'implication matérielle, les tautologies, etc.

Source officielle

https://fr.wikipedia.org/wiki/Règle_de_remplacement

À propos de ce résultat

Cette page est générée automatiquement et peut contenir des informations qui ne sont pas correctes, complètes, à jour ou pertinentes par rapport à votre recherche. Il en va de même pour toutes les autres pages de ce site. Veillez à vérifier les informations auprès des sources officielles de l'EPFL.

Cours associés (1)

CS-101: Advanced information, computation, communication I

Discrete mathematics is a discipline with applications to almost all areas of study. It provides a set of indispensable tools to computer science in particular. This course reviews (familiar) topics as diverse as mathematical reasoning, combinatorics, disc ...

Séances de cours associées (6)

Propositions et preuves

Explore les propositions, les preuves et la contradiction dans la théorie mathématique, en mettant l'accent sur les règles logiques et les méthodes de preuve.

Équivalences logiques : construire et prouver des équivalences

Couvre la construction et la preuve des équivalences logiques, y compris les lois de De Morgan et les preuves de tautologie.

Preuves : Équivalence logique et règles d'inférence

Couvre le concept d'équivalence logique dans les règles de preuve et d'inférence.

Afficher plus

Graph Chat

Chattez avec Graph Search

Posez n’importe quelle question sur les cours, conférences, exercices, recherches, actualités, etc. de l’EPFL ou essayez les exemples de questions ci-dessous.

AVERTISSEMENT : Le chatbot Graph n'est pas programmé pour fournir des réponses explicites ou catégoriques à vos questions. Il transforme plutôt vos questions en demandes API qui sont distribuées aux différents services informatiques officiellement administrés par l'EPFL. Son but est uniquement de collecter et de recommander des références pertinentes à des contenus que vous pouvez explorer pour vous aider à répondre à vos questions.