In traditional logic, contraposition is a form of immediate inference in which a proposition is inferred from another and where the former has for its subject the contradictory of the original logical proposition's predicate. In some cases, contraposition involves a change of the former's quality (i.e. affirmation or negation). For its symbolic expression in modern logic, see the rule of transposition. Contraposition also has philosophical application distinct from the other traditional inference processes of conversion and obversion where equivocation varies with different proposition types.
| Attributes | Values |
|---|
| rdf:type
| |
| rdfs:label
| - Contraposition (traditional logic) (en)
- Contraposição (lógica tradicional) (pt)
- 換質換位律 (zh)
|
| rdfs:comment
| - In traditional logic, contraposition is a form of immediate inference in which a proposition is inferred from another and where the former has for its subject the contradictory of the original logical proposition's predicate. In some cases, contraposition involves a change of the former's quality (i.e. affirmation or negation). For its symbolic expression in modern logic, see the rule of transposition. Contraposition also has philosophical application distinct from the other traditional inference processes of conversion and obversion where equivocation varies with different proposition types. (en)
- Na lógica tradicional, a contraposição é uma forma de inferência imediata, na qual a partir de uma dada proposição outra é inferida, tendo por sujeito o contraditório do predicado original, e em alguns casos, envolvendo uma mudança de qualidade (afirmação ou negação). Para a sua expressão simbólica na lógica moderna consulte a regra de transposição. Contraposição também tem aplicações distintas na sua aplicação filosófica diferente de outras inferências tradicionais o processos de conversão e obversão, onde a ambiguidade varia de acordo com diferentes tipos de proposição. (pt)
- 換質換位律（contraposition, transposition），又稱異質位換律、換質位法，是传统邏輯的一種結構變換推理，一般用於改變的結構。
* 換質（obversion）是指將 改為
* 換位（conversion）是指將 改為
* 換質換位（contraposition）是指將 改為 在直言命題中，換質換位律只能用於全稱肯定型（A型）和特稱否定型（O型），而不能用在全稱否定型（E型）和特稱肯定型（I型）；套用在後者是非法的換質換位（illicit contraposition），是一種形式謬誤。 (zh)
|
| rdfs:seeAlso
| |
| dct:subject
| |
| Wikipage page ID
| |
| Wikipage revision ID
| |
| Link from a Wikipage to another Wikipage
| |
| sameAs
| |
| dbp:wikiPageUsesTemplate
| |
| Link from a Wikipa... related subject.
| |
| has abstract
| - In traditional logic, contraposition is a form of immediate inference in which a proposition is inferred from another and where the former has for its subject the contradictory of the original logical proposition's predicate. In some cases, contraposition involves a change of the former's quality (i.e. affirmation or negation). For its symbolic expression in modern logic, see the rule of transposition. Contraposition also has philosophical application distinct from the other traditional inference processes of conversion and obversion where equivocation varies with different proposition types. (en)
- Na lógica tradicional, a contraposição é uma forma de inferência imediata, na qual a partir de uma dada proposição outra é inferida, tendo por sujeito o contraditório do predicado original, e em alguns casos, envolvendo uma mudança de qualidade (afirmação ou negação). Para a sua expressão simbólica na lógica moderna consulte a regra de transposição. Contraposição também tem aplicações distintas na sua aplicação filosófica diferente de outras inferências tradicionais o processos de conversão e obversão, onde a ambiguidade varia de acordo com diferentes tipos de proposição. (pt)
- 換質換位律（contraposition, transposition），又稱異質位換律、換質位法，是传统邏輯的一種結構變換推理，一般用於改變的結構。
* 換質（obversion）是指將 改為
* 換位（conversion）是指將 改為
* 換質換位（contraposition）是指將 改為 在直言命題中，換質換位律只能用於全稱肯定型（A型）和特稱否定型（O型），而不能用在全稱否定型（E型）和特稱肯定型（I型）；套用在後者是非法的換質換位（illicit contraposition），是一種形式謬誤。 (zh)
|
| gold:hypernym
| |
| prov:wasDerivedFrom
| |
| page length (characters) of wiki page
| |
| foaf:isPrimaryTopicOf
| |
| is Link from a Wikipage to another Wikipage
of | |
| is foaf:primaryTopic
of | |
![[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)