Universidad Autónoma de Chihuahua

Facultad de Ingeniería de la Facultad Autónoma de

chihuahua

Ingeniería en Software, modalidad virtual

Matemáticas Discretas
Demostración por contradicción

Matricula: 330250

Estudiante: Alejandro Villarreal Quiñonez

Instructor: M.S.I. Blanca Patricia Guerrero Martínez

Fecha de elaboración: 2/06/2020

La mayor parte de los teoremas se pueden expresar en la forma si-entonces. La
manera de demostrar que más se acostumbra, “si A entonces B”, es suponer las
condiciones que se mencionan en A y a continuación avanzar para demostrar las
condiciones en B, sin embargo, hay ocasiones en las que los métodos de demostración
directa no son tan eficaces.

Demostración con contra positiva

El enunciado “Si A entonces B” es lógicamente equivalente a “si (no B), entonces (no
A)”. A este segundo enunciado se le llama contrapositiva de la primera: “Si A, entonces
B”.

Por qué son lógicamente equivalentes una afirmación y su contrapositiva? Para que
sea verdadera “si A, entonces “, debe suceder que siempre que A , B también debe ser
verdadera. Si alguna vez se diera el caso en el que B fuera falsa, se tendría un caso en
el que A seria falsa. En otras palabras, si B es falsa, entonces A debe ser falsa. Asi,
llegaremos a “si (no B), entonces (no A)”.

Veamos otra explicación: sabemos que “si A, entonces B” es lógicamente equivalente a

“(no A) o B”. Con los mismos argumentos, “si (no B)” es lo mismo que B, por lo que lo
anterior se transforma en “B o (no A)”, que equivale a “(no A) o B”

En símbolos:

ab = (~a) V b = (~(~b)) V (~a) = (~b) (~a)

También se pueden obtener los mismos resultados mecánicamente utilizando una tabla
de verdad

a b ab ~b ~a (~b)(~a)
V V V F F V
V F F V F F
F V V F V V
F F V V V V
El renglón inferior es: Para demostrar “si A, entonces B” se acepta demostrar “si (no B),
entonces (no A)”.

Reducción al Absurdo

La demostración con contrapositiva es una alternativa a la demostración directa. Sin

embargo, Hay que combina amabas, se llama “demostración por contradicción o por
reducción al absurdo”.

Se desea demostrar “si A entonces B”. Para hacerlo se demostrara que es imposible
que A sea verdadero cuando B es falso. En pocas palabras, se trata de demostrar que
es imposible que “A y (no B)”.

Como se demuestra algo imposible? Supondremos qué lo imposible es verdadero, para

después demostrar que esta hipótesis conduce a una conclusión absurda. Si un
enunciado implica que algo es que claramente equivocado quiere decir que el
enunciado es falso.

Para demostrar “si A, entonces B”. Suponer las condiciones de A. Para fines de
contradicción, suponer no B. Desarrollar los argumentos hasta llegar a una
contradicción.

Se desea demostrar una declaración de la forma “si A, entonces B”. Para hacerlo,
supondremos A y (no B), y demostraremos que lo anterior implica que algo es falso. En
símbolos, se trata de demostrar que ab. Para hacerlo se demuestra (a^~b)falso.
Las dos son lógicamente equivalentes.

Proposición: Las formulas booleanas ab y (a^~b)Falso son lógicamente

equivalentes.

Demostración: Para visualizar que las dos son lógicamente equivalentes se forma
una tabla de verdad.
 a b ab b^~a (a^~b)
V V V F V
V F F V F
F V F V V
F F F V V

Por consiguiente, ab = (a^~b) falso

Ejemplos:

Probar que- Si n es un entero y 3n+2 es par, entonces n es par.

Asumamos que 3n+2 es par y n es impar. Como 3n+2 es par, entonces 3n es par.
Sabemos que si sumamos/restamos un numero impar a un numero par, obtenemos un
numero impar. Entonces 3n-n=2n, que es impar. Sin embargo 2n no puede ser impar,
así que nuestro enunciado original era falso, entonces si 3n+2 es para n es par

Probar que “√2 es irracional”

Supongamos que √2 es racional. Entonces, existen 2 enteros, a y b, tales que √2=a/b,

b=0 y a y b no tienen factores comunes.

√2= a/b

2= a^2/b^2

2b^2=a^2

Como a es par, a=2c para algún entero c. por tanto.

2b^2= (2c)^2

2b^2=4c^2

b^2=2c^2

Como a y b tienen un factor común, esto contradice nuestra suposición original.

Fuentes:

“Matemáticas discretas” de Edward Schrinerman

“Book of proof” de Richard Hammack

“Discrete math – an open introduction” de Oscar Levin