| rdfs:comment
| - عكس النقيض هو جعل نقيض الجزء الثاني من القضية جزء أولا، ونقيض الأول ثانيا مع بقاء الكيف بحالهما، فإذا قلنا: كل إنسان حيوان، كان عكسه: كل ما ليس بحيوان ليس بإنسان. (ar)
- Unter Kontraposition (von lateinisch contra ‚gegen‘ und lat. positio ‚Position‘, ‚Stellung‘, ‚Lage‘) versteht man in der Logik den Umkehrschluss einer Implikation, d. h. den Schluss von „Wenn A, dann B“ auf „Wenn nicht B, dann nicht A“. Tatsächlich ist die Aussage „Aus A folgt B“ sogar äquivalent zu ihrer Kontraposition „Aus nicht B folgt nicht A“. Nicht zulässig ist dagegen der Schluss „Aus B folgt A“ oder „Aus nicht A folgt nicht B“. (de)
- 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 ». (fr)
- 논리학에서, 어떤 의 대우(對偶, 영어: contrapositive)는 그 조건 명제의 가정과 결론을 뒤바꾼 뒤 각각 부정을 취하여 얻는 명제이다. 다시 말해, 명제의 대우는 그 명제의 역의 이 또는 이의 역과 같다. 예를 들어, 'p이면 q이다'라는 명제의 대우는 'q가 아니면 p가 아니다'이다. 고전 논리에서 한 쌍의 명제가 서로 대우라면, 이 둘은 항상 이다. 즉, 서로 대우인 명제는 둘 다 참이거나 둘 다 거짓이다. (ko)
- 対偶（たいぐう、英: Contraposition）とは、ある命題に対して、その命題の仮定と結論をそれぞれその否定に置き換えた上で両者を入れ替えた命題のことをいう。 (ja)
- Het bewijs door contrapositie is een methode om het wiskundig bewijs te geven van de stelling als A dan B, door het bewijzen van de stelling als niet B dan niet A. In de klassieke logica is deze laatste stelling equivalent aan de eerste: een bewijs van de ene stelling is ook een bewijs van de ander. In de intuïtionistische logica zijn beide stellingen niet equivalent. Een bewijs van (als A dan B) impliceert wel dat (als niet B dan niet A) geldt, maar de implicatie in de andere richting geldt daar niet. (nl)
- Kontraposition är en regel i klassisk logik med vilken en villkorssats kan skrivas om med en omkastning, kontraposition, och negering av för- och eftersats. Regeln säger, att satsen A → B är tautolog med satsen ¬B → ¬A. Kontraposition är nära förbunden med den logiska slutledningsregeln, Modus tollendo tollens. I det naturliga språket har regeln tillämpbarhet i vissa kontexter, till exempel två-värda, medan den fallerar i andra. Särskilt vid tillämpning i icke-två-värda kontexter skapar dess användning ofta paradoxer. (sv)
- Prawo kontrapozycji (transpozycji) – równoważność implikacji prostej i przeciwstawnej, wynikająca z kwadratu logicznego twierdzeń: (pl)
- 逆否命题（英語：contrapositive）是邏輯和数学的一種結構變換推理，一般用於在逻辑等价的前提下改變的結構。逆否命题也用于对位证明法（英語：proof by contrapositive）。逆否定将前件与后件否定和互逆。 给予初始实质条件命题“若P，则Q”：，其逆否命题为“若非Q，则非P”。 若 P，则 Q。—— 若非 Q，则非 P。 例如：“若现在在下雨，则我穿雨衣。” —— “若我不穿雨衣，则现在不下雨。” 原命题的情况下，逆否命题可以与以下命题形式比较： 否命题（inverse） 以上面的例子举例：“若现在不下雨，则我不穿雨衣。”。这类命题的真值与原命题的真值无关。逆命题（converse） 以上面的例子举例：“若我穿雨衣，则现在在下雨。”。这类命题是否命题的逆否命题，因此其真值也与原命题的真值无关。非命题（negation） 以上面的例子举例：“若现在在下雨则我穿雨衣是不存在的。”或者“下雨时，我有时不穿雨衣。”。若此命题为真，那原命题则为假。 (zh)
- Зако́н контрапози́ции — закон классической логики, утверждающий, что в том случае, если некая посылка A влечёт некое следствие B, то отрицание этого следствия (то есть «не B») влечёт отрицание этой посылки (то есть «не A»). Суть его заключается в простом умозаключении: если из истинности некоторого утверждения следует истинность другого, то в случае ложности второго утверждения первое никак не может быть истинным, поскольку иначе было бы истинным и второе. (ru)
- Contraposició lògica és una de les operacions que la lògica clàssica tradicional admetia com a operació lògica. Consisteix en la modificació del judici aristotèlic convertint el judici prèviament obvertit, o obvertint el judici prèviament convertit. D'aquesta manera l'aplicació a les diferents classes de judicis segueix el procés següent: 1 Tenint en compte que no és possible la conversió a O (ca)
- In logic and mathematics, contraposition refers to the inference of going from a conditional statement into its logically equivalent contrapositive, and an associated proof method known as proof by contraposition. The contrapositive of a statement has its antecedent and consequent inverted and flipped. Conditional statement . In formulas: the contrapositive of is . If P, Then Q. — If not Q, Then not P. "If it is raining, then I wear my coat" — "If I don't wear my coat, then it isn't raining." The contrapositive can be compared with three other statements: (en)
- En lógica, la contraposición lógica es una ley que dice que, para cada sentencia condicional, hay una equivalencia lógica entre la misma y su contraposición. En la contraposición de una sentencia, el antecedente y consecuente son invertidos y negados: la contraposición de es, por lo tanto, . Ambas expresiones son equivalentes. Formalizada en los silogismos por Aristóteles, se establece que la negación de un consecuente implica la negación de su antecedente. Es decir, si una primera premisa implica una segunda premisa, se puede concluir que la negación de la segunda premisa implica la negación de la primera premisa. En consecuencia, la implicación original y su contrarrecíproco son equivalentes. (es)
- Em lógica, contraposição é uma lei, que diz que, para toda sentença condicional, há uma equivalência lógica entre a mesma e sua contrapositiva. Na contrapositiva de uma sentença, o antecedente e o consequente são invertidos e negados: a contrapositiva de é, portanto, . Por exemplo, a proposição "Todos os morcegos são mamíferos" pode ser reescrita em sua forma condicional "Se algo é morcego, então é mamífero". Por fim, a lei diz que a sentença é idêntica à sua contrapositiva "Se algo não é mamífero, então não é morcego."
* Inversão (a inversa): .
* Reciprocidade (a recíproca): .
* Negação: . (pt)
- У логіці контрапози́ція — це закон, який говорить, що умовне ствердження логічно еквівалентне його протиста́вленню. Протиставлення ствердження має власний антецедент та консеквент: протиставлення — це, відповідно, . Наприклад, твердження «Усі кажани — ссавці» можна переформулювати умовним твердженням «якщо щось є кажаном, то воно — ссавець». За цим правилом, вищезгадане твердження ідентично до протиставлення — «якщо щось не є ссавцем, то воно не кажан». Протиставлення можна порівнювати з трьома іншими відносинами між умовними ствердженнями: : . Конверсія: . Заперечення: . (uk)
|
![[RDF Data]](/fct/images/sw-rdf-blue.png)
![[cxml]](/fct/images/cxml_doc.png)
![[csv]](/fct/images/csv_doc.png)
![[text]](/fct/images/ntriples_doc.png)
![[turtle]](/fct/images/n3turtle_doc.png)
![[ld+json]](/fct/images/jsonld_doc.png)
![[rdf+json]](/fct/images/json_doc.png)
![[rdf+xml]](/fct/images/xml_doc.png)
![[atom+xml]](/fct/images/atom_doc.png)
![[html]](/fct/images/html_doc.png)