Contraposition (traditional logic)
http://dbpedia.org/resource/Contraposition_(traditional_logic) an entity of type: Thing
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.
rdf:langString
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.
rdf:langString
換質換位律（contraposition, transposition），又稱異質位換律、換質位法，是传统邏輯的一種結構變換推理，一般用於改變的結構。
* 換質（obversion）是指將 改為
* 換位（conversion）是指將 改為
* 換質換位（contraposition）是指將 改為 在直言命題中，換質換位律只能用於全稱肯定型（A型）和特稱否定型（O型），而不能用在全稱否定型（E型）和特稱肯定型（I型）；套用在後者是非法的換質換位（illicit contraposition），是一種形式謬誤。
rdf:langString
rdf:langString
Contraposition (traditional logic)
rdf:langString
Contraposição (lógica tradicional)
rdf:langString
換質換位律
xsd:integer
1152984
xsd:integer
1095159758
rdf:langString
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.
rdf:langString
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.
rdf:langString
換質換位律（contraposition, transposition），又稱異質位換律、換質位法，是传统邏輯的一種結構變換推理，一般用於改變的結構。
* 換質（obversion）是指將 改為
* 換位（conversion）是指將 改為
* 換質換位（contraposition）是指將 改為 在直言命題中，換質換位律只能用於全稱肯定型（A型）和特稱否定型（O型），而不能用在全稱否定型（E型）和特稱肯定型（I型）；套用在後者是非法的換質換位（illicit contraposition），是一種形式謬誤。
xsd:nonNegativeInteger
7421