Scribd Logo
Fazer o upload

Bem-vindo(a) ao Scribd!

  • Demostración Por Contraposición

    Enviado por

    Soporte general IT1
    2K visualizações2 páginas
    En lógica, la contraposición de una declaración condicional se forma negando ambos términos e invirtiendo la dirección de la inferencia. Explícitamente, la contraposición de la declaración "si A, entonces B" es "si no es B, entonces no A." Una declaración y su contrapositiva son lógicamente equivalentes: si la afirmación es cierta, entonces su contrapositivo es cierto, y viceversa.1​ En matemáticas, la demostración por contraposición es una regla de inferencia utilizada en demostraciones. Esta regla se infiere una sentencia condicional a partir de su contraposición.2​ En otras palabras, la conclusión "si A, entonces B" se extrae de la premisa simple "si no B, entonces no A." Índice [ocultar] 1 Ejemplo 2 Relación con la prueba por la contradicción 3 Véase también 4 Referencias 5 Enlaces externos Ejemplo[editar] Sea x un número entero. Para demostrar: Si x² es par, entonces x es par. A pesar de se puede dar una demostración directa, optamos por probar esta afirmación por contraposición. La contraposición de la declaración anterior es: Si x no es par, entonces x² no es par. Esta última afirmación se puede demostrar de la siguiente manera. Supongamos que x no es uniforme. Entonces x es impar. El producto de dos números impares es impar, por lo tanto, x² = x · x es impar. Por lo tanto x² no es par. Después de haber probado la contraposición, inferimos la declaración original.3​ Relación con la prueba por la contradicción[editar] Cualquier demostración por contraposición también puede formularse trivialmente en términos de una demostración por contradicción: Para demostrar la proposición {\displaystyle P\Rightarrow Q} {\displaystyle P\Rightarrow Q}, consideramos lo contrario, {\displaystyle \lnot (P\Rightarrow Q)\equiv \lnot (\lnot P\vee Q)\equiv P\wedge \lnot Q} {\displaystyle \lnot (P\Rightarrow Q)\equiv \lnot (\lnot P\vee Q)\equiv P\wedge \lnot Q}. Puesto que tenemos una prueba de que {\displaystyle \lnot Q\Rightarrow \lnot P} {\displaystyle \lnot Q\Rightarrow \lnot P}, tenemos {\displaystyle P\wedge \lnot Q\Rightarrow P\wedge \lnot P\equiv \bot } {\displaystyle P\wedge \lnot Q\Rightarrow P\wedge \lnot P\equiv \bot } lo que llega a la contradicción que se pretende. Así que demostración por contraposición es en cierto sentido "al menos tan difícil de formular" como demostración por contradicción. Véase también[editar] Contraposición Modus tollendo tollens Reductio ad absurdum Referencias[editar] Volver arriba ↑ Regents Exam Prep, definición contra positiva (en inglés) Volver arriba ↑ «Larry Cusick's (CSU-Fresno) How to write proofs tutorial» (en inglés). Volver arriba ↑ Franklin, J.; A. Daoud (2011). Proof in Mathematics: An Introduction (en inglés). Sydney: Kew Books. ISBN 0-646-54509-4. (p. 50). Enlaces externos[editar] Esta obra contiene una traducción total derivada de Proof by contrapositive de Wikipedia en inglés, concretamente de esta versión, publicada por sus editores bajo la Licencia de documentación libre de GNU y la Licencia Creative Commons Atribución-CompartirIgual 3.0 Unported.

    Direitos autorais

    © © All Rights Reserved

    Formatos disponíveis

    DOCX, PDF, TXT ou leia online no Scribd

    Você considera este documento útil?

    Este conteúdo é inapropriado?

    Denunciar este documento
    En lógica, la contraposición de una declaración condicional se forma negando ambos términos e invirtiendo la dirección de la inferencia. Explícitamente, la contraposición de la declaración "si A, entonces B" es "si no es B, entonces no A." Una declaración y su contrapositiva son lógicamente equivalentes: si la afirmación es cierta, entonces su contrapositivo es cierto, y viceversa.1​ En matemáticas, la demostración por contraposición es una regla de inferencia utilizada en demostraciones. Esta regla se infiere una sentencia condicional a partir de su contraposición.2​ En otras palabras, la conclusión "si A, entonces B" se extrae de la premisa simple "si no B, entonces no A." Índice [ocultar] 1 Ejemplo 2 Relación con la prueba por la contradicción 3 Véase también 4 Referencias 5 Enlaces externos Ejemplo[editar] Sea x un número entero. Para demostrar: Si x² es par, entonces x es par. A pesar de se puede dar una demostración directa, optamos por probar esta afirmación por contraposición. La contraposición de la declaración anterior es: Si x no es par, entonces x² no es par. Esta última afirmación se puede demostrar de la siguiente manera. Supongamos que x no es uniforme. Entonces x es impar. El producto de dos números impares es impar, por lo tanto, x² = x · x es impar. Por lo tanto x² no es par. Después de haber probado la contraposición, inferimos la declaración original.3​ Relación con la prueba por la contradicción[editar] Cualquier demostración por contraposición también puede formularse trivialmente en términos de una demostración por contradicción: Para demostrar la proposición {\displaystyle P\Rightarrow Q} {\displaystyle P\Rightarrow Q}, consideramos lo contrario, {\displaystyle \lnot (P\Rightarrow Q)\equiv \lnot (\lnot P\vee Q)\equiv P\wedge \lnot Q} {\displaystyle \lnot (P\Rightarrow Q)\equiv \lnot (\lnot P\vee Q)\equiv P\wedge \lnot Q}. Puesto que tenemos una prueba de que {\displaystyle \lnot Q\Rightarrow \lnot P} {\displaystyle \lnot Q\Rightarrow \lnot P}, tenemos {\displaystyle P\wedge \lnot Q\Rightarrow P\wedge \lnot P\equiv \bot } {\displaystyle P\wedge \lnot Q\Rightarrow P\wedge \lnot P\equiv \bot } lo que llega a la contradicción que se pretende. Así que demostración por contraposición es en cierto sentido "al menos tan difícil de formular" como demostración por contradicción. Véase también[editar] Contraposición Modus tollendo tollens Reductio ad absurdum Referencias[editar] Volver arriba ↑ Regents Exam Prep, definición contra positiva (en inglés) Volver arriba ↑ «Larry Cusick's (CSU-Fresno) How to write proofs tutorial» (en inglés). Volver arriba ↑ Franklin, J.; A. Daoud (2011). Proof in Mathematics: An Introduction (en inglés). Sydney: Kew Books. ISBN 0-646-54509-4. (p. 50). Enlaces externos[editar] Esta obra contiene una traducción total derivada de Proof by contrapositive de Wikipedia en inglés, concretamente de esta versión, publicada por sus editores bajo la Licencia de documentación libre de GNU y la Licencia Creative Commons Atribución-CompartirIgual 3.0 Unported.

    Direitos autorais:

    © All Rights Reserved
    Baixe no formato DOCX, PDF, TXT ou leia online no Scribd
    Sinalizar o conteúdo como inadequado
    2K visualizações2 páginas

    Demostración Por Contraposición

    Enviado por

    Soporte general IT1
    En lógica, la contraposición de una declaración condicional se forma negando ambos términos e invirtiendo la dirección de la inferencia. Explícitamente, la contraposición de la declaración "si A, entonces B" es "si no es B, entonces no A." Una declaración y su contrapositiva son lógicamente equivalentes: si la afirmación es cierta, entonces su contrapositivo es cierto, y viceversa.1​ En matemáticas, la demostración por contraposición es una regla de inferencia utilizada en demostraciones. Esta regla se infiere una sentencia condicional a partir de su contraposición.2​ En otras palabras, la conclusión "si A, entonces B" se extrae de la premisa simple "si no B, entonces no A." Índice [ocultar] 1 Ejemplo 2 Relación con la prueba por la contradicción 3 Véase también 4 Referencias 5 Enlaces externos Ejemplo[editar] Sea x un número entero. Para demostrar: Si x² es par, entonces x es par. A pesar de se puede dar una demostración directa, optamos por probar esta afirmación por contraposición. La contraposición de la declaración anterior es: Si x no es par, entonces x² no es par. Esta última afirmación se puede demostrar de la siguiente manera. Supongamos que x no es uniforme. Entonces x es impar. El producto de dos números impares es impar, por lo tanto, x² = x · x es impar. Por lo tanto x² no es par. Después de haber probado la contraposición, inferimos la declaración original.3​ Relación con la prueba por la contradicción[editar] Cualquier demostración por contraposición también puede formularse trivialmente en términos de una demostración por contradicción: Para demostrar la proposición {\displaystyle P\Rightarrow Q} {\displaystyle P\Rightarrow Q}, consideramos lo contrario, {\displaystyle \lnot (P\Rightarrow Q)\equiv \lnot (\lnot P\vee Q)\equiv P\wedge \lnot Q} {\displaystyle \lnot (P\Rightarrow Q)\equiv \lnot (\lnot P\vee Q)\equiv P\wedge \lnot Q}. Puesto que tenemos una prueba de que {\displaystyle \lnot Q\Rightarrow \lnot P} {\displaystyle \lnot Q\Rightarrow \lnot P}, tenemos {\displaystyle P\wedge \lnot Q\Rightarrow P\wedge \lnot P\equiv \bot } {\displaystyle P\wedge \lnot Q\Rightarrow P\wedge \lnot P\equiv \bot } lo que llega a la contradicción que se pretende. Así que demostración por contraposición es en cierto sentido "al menos tan difícil de formular" como demostración por contradicción. Véase también[editar] Contraposición Modus tollendo tollens Reductio ad absurdum Referencias[editar] Volver arriba ↑ Regents Exam Prep, definición contra positiva (en inglés) Volver arriba ↑ «Larry Cusick's (CSU-Fresno) How to write proofs tutorial» (en inglés). Volver arriba ↑ Franklin, J.; A. Daoud (2011). Proof in Mathematics: An Introduction (en inglés). Sydney: Kew Books. ISBN 0-646-54509-4. (p. 50). Enlaces externos[editar] Esta obra contiene una traducción total derivada de Proof by contrapositive de Wikipedia en inglés, concretamente de esta versión, publicada por sus editores bajo la Licencia de documentación libre de GNU y la Licencia Creative Commons Atribución-CompartirIgual 3.0 Unported.

    Direitos autorais:

    © All Rights Reserved
    Baixe no formato DOCX, PDF, TXT ou leia online no Scribd
    Sinalizar o conteúdo como inadequado
    de 2

    Demostracin por contraposicin

    En lgica, la contraposicin de una declaracin condicional se forma negando ambos


    trminos e invirtiendo la direccin de la inferencia. Explcitamente, la contraposicin de la
    declaracin "si A, entonces B" es "si no es B, entonces no A." Una declaracin y su
    contrapositiva son lgicamente equivalentes: si la afirmacin es cierta, entonces su
    contrapositivo es cierto, y viceversa.1
    En matemticas, la demostracin por contraposicin es una regla de inferencia utilizada
    en demostraciones. Esta regla se infiere una sentencia condicional a partir de su
    contraposicin.2 En otras palabras, la conclusin "si A, entonces B" se extrae de la premisa
    simple "si no B, entonces no A."

    ndice
    [ocultar]

    1Ejemplo
    2Relacin con la prueba por la contradiccin
    3Vase tambin
    4Referencias
    5Enlaces externos

    Ejemplo[editar]
    Sea x un nmero entero.
    Para demostrar: Si x es par, entonces x es par.
    A pesar de se puede dar una demostracin directa, optamos por probar esta afirmacin
    por contraposicin. La contraposicin de la declaracin anterior es:
    Si x no es par, entonces x no es par.
    Esta ltima afirmacin se puede demostrar de la siguiente manera. Supongamos
    que x no es uniforme. Entonces x es impar. El producto de dos nmeros impares es
    impar, por lo tanto, x = x x es impar. Por lo tanto x no es par.
    Despus de haber probado la contraposicin, inferimos la declaracin original.3

    Relacin con la prueba por la contradiccin[editar]


    Cualquier demostracin por contraposicin tambin puede formularse trivialmente en

    trminos de una demostracin por contradiccin: Para demostrar la proposicin ,

    consideramos lo contrario, . Puesto que tenemos una prueba de que ,

    tenemos lo que llega a la contradiccin que se pretende. As que demostracin


    por contraposicin es en cierto sentido "al menos tan difcil de formular" como
    demostracin por contradiccin.

    Vase tambin[editar]

    Contraposicin
    Modus tollendo tollens
    Reductio ad absurdum

    Referencias[editar]

    1. Volver arriba Regents Exam Prep, definicin contra positiva (en ingls)
    2. Volver arriba Larry Cusick's (CSU-Fresno) How to write proofs tutorial (en ingls).
    3. Volver arriba Franklin, J.; A. Daoud (2011). Proof in Mathematics: An Introduction (en
    ingls). Sydney: Kew Books. ISBN 0-646-54509-4. (p. 50).

    Enlaces externos[editar]

    Esta obra contiene una traduccin total derivada de Proof by contrapositive de


    Wikipedia en ingls, concretamente de esta versin, publicada por sus
    editores bajo la Licencia de documentacin libre de GNU y la Licencia Creative
    Commons Atribucin-CompartirIgual 3.0 Unported.

    Você também pode gostar