Transposition (logique)

En logique des propositions, une transposition[1] - [2] - [3] 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[4] - [5]. Il est très étroitement liée à la règle d'inférence modus tollens. La règle est la suivante :

$(P\to Q)\Leftrightarrow (\neg Q\to \neg P)$

où « $\Leftrightarrow$ » est un symbole métalogique représentant "peut être remplacé dans une démonstration avec."

Notation formelle

La règle de transposition peut être exprimée en notation séquent :

(P\to Q)\vdash (\neg Q\to \neg P)

où $\vdash$ est un symbole métalogique signifiant que $(\neg Q\to \neg P)$ est une déduction logique de $(P\to Q)$ dans un système logique;

ou comme une règle d'inférence:

{\frac {P\to Q}{\therefore \neg Q\to \neg P}}

où la règle est que partout où une instance de « $P\to Q$ » apparaît sur une ligne d'une preuve, il peut être remplacé par « $\neg Q\to \neg P$ » ;

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 :

(P\to Q)\to (\neg Q\to \neg P)

où $P$ et $Q$ sont des propositions exprimées dans un système formel.

Logique traditionnelle

Forme de transposition

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'. 'P', en tant qu'individu ou d'une classe, implique matériellement 'Q', mais la relation de 'Q' à 'P' est telle que, à l'inverse de la proposition "Si Q alors P" n'a pas nécessairement de condition suffisante. La règle d'inférence pour la condition suffisante est le modus ponens :

Prémisse (1) : Si P, alors Q

Prémisse (2) : P

Conclusion : Par conséquent, Q

Condition nécessaire

Comme le contraire du prémisse (1) n'est pas valide, tout ce qui peut être déclaré de la relation de 'P' et 'Q' est que en l'absence de 'Q', 'P' ne se produit pas, ce qui signifie que 'Q' est la condition nécessaire pour 'P'. La règle d'inférence pour condition nécessaire est le modus tollens :

Prémisse (1) : Si P, alors Q

Prémisse (2) : non Q

Conclusion : Par conséquent, non P

Transposition en logique mathématiques

Voir Transposition (mathematiques), Théorie des ensembles

Preuve

Proposition	Dérivation
$P\rightarrow Q$	Donné
$\neg P\lor Q$	Implication matérielle
$Q\lor \neg P$	Commutativité
$\neg Q\rightarrow \neg P$	Implication matérielle

Voir aussi

Références

(en) Cet article est partiellement ou en totalité issu de l’article de Wikipédia en anglais intitulé « Transposition (logic) » (voir la liste des auteurs).

(en) Patrick Hurley, A Concise Introduction to Logic, Cengage Learning, 2011, 11^e éd. (lire en ligne), p. 414
(en) Irving M. Copi et Carl Cohen, Introduction to Logic, Prentice Hall, 2005, p. 371
Moore and Parker
Brody, Bobuch A. "Glossary of Logical Terms".
Copi, Irving M. Symbolic Logic. 5e éd.

Lectures complémentaires

Brody, Bobuch A. "Glossary of Logical Terms". Encyclopedia of Philosophy. Vol. 5-6, p. 61. Macmillan, 1973.
Copi, Irving. Introduction to Logic. MacMillan, 1953.
Copi, Irving. Symbolic Logic. MacMillan, 1979, fifth edition.
Prior, A.N. "Logic, Traditional". Encyclopedia of Philosophy, Vol.5, Macmillan, 1973.
Stebbing, Susan. A Modern Introduction to Logic. Harper, 1961, 7e edition

Cet article est issu de wikipedia. Text licence: CC BY-SA 4.0, Des conditions supplémentaires peuvent s’appliquer aux fichiers multimédias.