Transposition (logique) | EPFL Graph Search

Êtes-vous un étudiant de l'EPFL à la recherche d'un projet de semestre?

Travaillez avec nous sur des projets en science des données et en visualisation, et déployez votre projet sous forme d'application sur GraphSearch.

Découvrez-en plus sur les applications Graph.

En logique des propositions, une transposition est une règle de remplacement valide qui permet d'échanger l'antécédent avec le conséquent d'une implication matérielle dans une preuve logique s'il sont tous les deux négatifs. C'est l'inférence de la vérité de « A implique B » à la vérité de « non-B implique non-A », et inversement. Il est très étroitement liée à la règle d'inférence modus tollens. La règle est la suivante : où « » est un symbole métalogique représentant "peut être remplacé dans une démonstration avec." La règle de transposition peut être exprimée en notation séquent : où est un symbole métalogique signifiant que est une déduction logique de dans un système logique; ou comme une règle d'inférence: où la règle est que partout où une instance de « » apparaît sur une ligne d'une preuve, il peut être remplacé par « » ; ou comme la déclaration d'une tautologie de vérité fonctionnelle ou d'un théorème de la logique propositionnelle. Le principe a été énoncé comme un théorème de la logique propositionnelle par Russell et Whitehead dans les Principia Mathematica : où et sont des propositions exprimées dans un système formel. Dans la proposition inférée, le conséquent est contradictoire de l'antécédent dans la proposition initiale, et l'antécédent de la proposition inférée est contradictoire de la conséquence de la proposition originale. Le symbole de l'implication matérielle signifie la forme "si-alors", par exemple "Si P alors Q". La déclaration biconditionelle de la règle de transposition (↔) se réfère à la relation entre des propositions hypothétiques (→), avec chaque proposition incluant un antécédent et un conséquent. Signifiant que, pour transposer ou convertir (P → Q) en (Q → P) exige que l'autre proposition, (~Q → ~P), soit transposée ou converti en (~P → ~Q). La vérité de la règle de transposition dépend des rapports de condition suffisante et de condition nécessaire en logique. Dans la proposition "Si P alors Q", l'apparition de 'P' est une raison suffisante pour l'apparition de 'Q'.

À 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.

Concepts associés (5)

Cours associés (1)

Séances de cours associées (33)

Proposition contraposée

En logique, la contraposition est un type de raisonnement consistant à affirmer l'implication « si non B alors non A » à partir de l'implication « si A alors B ». L'implication « si non B alors non A » est appelée contraposée de « si A alors B ». Par exemple, la proposition contraposée de la proposition « s'il pleut, alors le sol est mouillé » est « si le sol n'est pas mouillé, alors il ne pleut pas ». Considérons l'exemple suivant :S'il pleut, alors le sol est mouillé.

Double negation

In propositional logic, double negation is the theorem that states that "If a statement is true, then it is not the case that the statement is not true." This is expressed by saying that a proposition A is logically equivalent to not (not-A), or by the formula A ≡ ~(~A) where the sign ≡ expresses logical equivalence and the sign ~ expresses negation. Like the law of the excluded middle, this principle is considered to be a law of thought in classical logic, but it is disallowed by intuitionistic logic.

Implication réciproque

En mathématiques, plus précisément en calcul propositionnel, une implication réciproque est une proposition interchangeant la prémisse et la conclusion d'une implication. La réciproque de la réciproque est alors l'implication initiale. Lorsque l'implication comporte plusieurs prémisses, l'échange de la conclusion avec seulement une partie des prémisses est parfois aussi appelée réciproque, comme pour le théorème de Thalès où les conditions d'alignement restent en prémisse pour la réciproque.

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 a

Preuves : Logique, Mathématiques et Algorithmes CS-101: Advanced information, computation, communication I

Explore les concepts, les techniques et les applications de la preuve dans la logique, les mathématiques et les algorithmes.

Preuves et logiques : Introduction

Introduit la logique, les preuves, les ensembles, les fonctions et les algorithmes en mathématiques et en informatique.

Concept de preuve en mathématiques

Plonge dans le concept de preuve en mathématiques, en soulignant l'importance de la preuve et du raisonnement logique.