| rdfs:comment
| - In logic and mathematics, the converse of a categorical or implicational statement is the result of reversing its two constituent statements. For the implication P → Q, the converse is Q → P. For the categorical proposition All S are P, the converse is All P are S. Either way, the truth of the converse is generally independent from that of the original statement. (en)
- 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. (fr)
- 命題「p⇒q」に対して、「q⇒p」を、元の命題の逆（ぎゃく、英: Converse）と言う。 ある命題とその逆の真偽は、必ずとも一致しない（逆は必ずしも真ならず）。この表現は日常生活や数学の中でことわざのように使用されることがある。 一致するような命題については「逆もまた真である」などと表現する。これは本来の用法とは異なる。「p⇒q」が真であり、「q⇒p」も真であるときに、 p と q は同値（必要十分条件）であるという。 命題「p⇒q」に対して、逆「q⇒p」の対偶「￢p⇒￢q」を、元の命題の裏と言う。命題「p⇒q」に対して、対偶「￢q⇒￢p」の逆「￢p⇒￢q」は裏に等しくなる。全ての命題に対して、逆と裏の真偽は一致する。 日常生活では、逆も必ず真であるような誤謬をすることもある。（後件肯定） (ja)
- 논리학에서, 어떤 의 역(逆, 영어: converse)은 그 의 가정과 결론을 뒤바꿔 얻는 명제이다. 예를 들어, 'p이면 q이다'라는 명제의 역은 'q이면 p이다'이다. 명제의 역은 그 명제의 이와 이다. (ko)
- 在逻辑学中，逆命题（英語：converse）是一个命题的条件与结论分别是另一个命题的结论与条件时，这两个命题互逆，也就是说其中任一个命题是另一个命题的逆命题。 两个互为逆命题的命题。在命题的四种形式中，原命题与逆命题，否命题与逆否命题是两对互逆命题。比如说有“假如事件A为真，则事件B也为真”，那么它的逆命题就是“假如事件B为真，则事件A也为真”。因为这类命题的真值与原命题的真值无关，因此无法通过原命题的真假性来判断逆命题的真假性。 给予初始实质条件命题“若P，则Q”：，其逆命题为“若Q，则P”。 (zh)
- У логіці, обернення категоричного або імплікативного судження є результатом обернення обох його частин. Для імплікації P → Q, оберненням буде Q → P. Для Для будь-якого S існує P, оберненням є Для будь-якого P існує S. У будь-якому випадку це обернення обов'язково випливає з первісної заяви. Категоричне обернення заяви контрастує з контрапозицією та . Загалом, істинність S нічого не говорить про правдивість його обернення, якщо попередня P і Q, як наслідок, не логічно еквівалентні. (uk)
- Es diu convertir una proposició , en referència al que tradicionalment han estat els judicis aristotèlics, a la substitució dels termes entre si. O dit més clarament canviar el subjecte pel predicat. S és P queda convertida en P és S. Aristòtil va estudiar la conversió, aplicant-la fins i tot als judicis modals, però en la lògica actual no s'accepta la doctrina tradicional en ser considerada la proposició des d'un altre punt de vista completament diferent, com a funció proposicional. (ca)
- Se dice convertir una proposición, en referencia a lo que tradicionalmente han sido los juicios aristotélicos, a la sustitución de los términos entre sí. O dicho más claramente cambiar el sujeto por el predicado. S es P queda convertida en P es S. Aristóteles estudió la conversión, aplicándola incluso a los juicios modales, pero en la lógica actual no se acepta la doctrina tradicional al ser considerada la proposición desde otro punto de vista completamente diferente, como función proposicional. (es)
- A recíproca é uma relação de implicação. Tendo-se duas proposições, A e B, há duas implicações que podem ser formadas usando estas propostas: (se A então B) (se B então A) Por exemplo: A recíproca de "Se ele ganhou na loteria, então ele tem muito dinheiro" é "Se ele tem muito dinheiro, então ele ganhou na loteria". Essas implicações são recíprocas uma da outra, a primeira é a recíproca da segunda, e a segunda é a recíproca da primeira. Outros exemplos são:
* Todos os papas são santos e todos os santos são papas.
* Nenhum romano é filósofo e nenhum filósofo é romano. (pt)
- Обратная теорема или обратное утверждение к данной теореме — это утверждение, в котором условие исходной теоремы (прямого утверждения) поставлено заключением, а заключение — условием. Обратной к обратной теореме является исходная (прямая) теорема. Справедливость обоих взаимно обратных теорем означает, что выполнения условий любой из них необходимо и достаточно для справедливости заключения. Каждая теорема может быть выражена в форме импликации , в которой посылка является условием теоремы, а следствие является заключением теоремы. Тогда теорема, записанная в виде является обратной к ней. (ru)
|
![[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)