Property |
Value |
dbo:abstract
|
- 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. Por ejemplo, la proposición "Todos los perros son mamiferos" puede ser reescrita en su forma condicional "Si es perro, es mamífero." La ley dice que esta sentencia es idéntica a su contraposición "Si no es mamífero, entonces no puede ser perro." Note que si es verdadera y nos es informado de que Q es falsa, es decir , se puede inferir lógicamente que P debe ser falso, es decir, . Esto es, normalmente llamado ley de contraposición, o regla de inferencia modus tollendo tollens (es)
- 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. Por ejemplo, la proposición "Todos los perros son mamiferos" puede ser reescrita en su forma condicional "Si es perro, es mamífero." La ley dice que esta sentencia es idéntica a su contraposición "Si no es mamífero, entonces no puede ser perro." Note que si es verdadera y nos es informado de que Q es falsa, es decir , se puede inferir lógicamente que P debe ser falso, es decir, . Esto es, normalmente llamado ley de contraposición, o regla de inferencia modus tollendo tollens (es)
|
dbo:wikiPageID
| |
dbo:wikiPageLength
| |
dbo:wikiPageRevisionID
| |
prop-es:apellido
|
- Mitchell (es)
- Ferrater Mora (es)
- Mitchell (es)
- Ferrater Mora (es)
|
prop-es:año
|
- 1979 (xsd:integer)
- 1990 (xsd:integer)
|
prop-es:editorial
|
- Editorial Labor (es)
- Editorial Labor (es)
|
prop-es:isbn
| |
prop-es:nombre
|
- D (es)
- J. (es)
- D (es)
- J. (es)
|
prop-es:título
|
- Diccionario de Filosofía (es)
- Introducción a la lógica (es)
- Diccionario de Filosofía (es)
- Introducción a la lógica (es)
|
prop-es:ubicación
|
- Barcelona (es)
- Barcelona (es)
|
dct:subject
| |
rdfs:comment
|
- 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. Por ejemplo, la proposición "Todos los perros son mamiferos" puede ser reescrita en su forma condicional "Si es perro, es mamífero." La ley dice que esta sentencia es idéntica a su contraposición "Si no es mamífero, entonces no puede ser perro." (es)
- 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. Por ejemplo, la proposición "Todos los perros son mamiferos" puede ser reescrita en su forma condicional "Si es perro, es mamífero." La ley dice que esta sentencia es idéntica a su contraposición "Si no es mamífero, entonces no puede ser perro." (es)
|
rdfs:label
|
- Contraposición lógica (es)
- Contraposición lógica (es)
|
owl:sameAs
| |
prov:wasDerivedFrom
| |
foaf:isPrimaryTopicOf
| |
is dbo:wikiPageRedirects
of | |
is owl:sameAs
of | |
is foaf:primaryTopic
of | |