METODOS DE DEMOSTRACION ECACIONAL
METODO DESCRIPCION
POR CONTRADICCION Este método consiste en
demostrar la negación del
teorema.
DEMOSTRACION CONTRAPOCICION la contraposición de una
declaración condicional se
forma negando ambos términos
e invirtiendo la dirección
equivalentes: si la afirmación es
cierta, entonces su contra
positivo es cierto y viceversa
EJEMPLO
Demostrar que √2 es un número irracional., en
este caso se asume que la proposición es falsa,
es decir racional, luego se aplica el siguiente
razonamiento:
√2 =
Donde al menos uno de los 2 es impar. Sin
pérdida de generalidad, asumir que q es impar.
2 = 𝑝 /𝑞²
2𝑞 = 𝑝²
Entonces p² es divisible en 2 lo que implica p
también lo es escribimos p=2r
2q²=p²=(2r)²=4r²
Es decir
𝑞 = (2𝑟)²
Entonces q² es par y por tanto q también lo es.
Pero q es impar, lo que nos lleva a una
contradicción ya que q no puede ser par e impar
al mismo tiempo. Como demostramos que √2 es
racional, se llega a una incongruencia, √2 no
puede ser racional. Siendo entonces irracional
ya que un número solo puede ser racional o
irracional.
Si x^2 es par entonces x es par"
Probamos esta afirmación por contraposición.
La contraposición de la declaración anterior:
"Si x no es par, x^2 no es par"
CONDICIONES
1. Se quiere demostrar que una afirmación
P es verdadera.
2. Se asume que P es falsa.
3. Se muestran las consecuencias del
hecho de que P sea falsa.
4. Se llega a un absurdo o imposibilidad.
5. Como la afirmación P puede ser
verdadera o falsa, y ya se demostró que
no puede ser falsa ya que esto conlleva
a incongruencias matemáticas, se
prueba así que P debe ser verdadera
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 P=>Q consideramos lo
contrario (¬(𝑃 => 𝑄) ≡ ¬(¬𝑃𝑉𝑄) ≡ 𝑃∆¬𝑄 uesto
que tenemos una prueba de que ¬𝑄 =>
¬𝑃, 𝑡𝑒𝑛𝑒𝑚𝑜𝑠 𝑃∆¬𝑄 => 𝑃∆¬𝑃 ≡