a. Inferencia
i. Demostracion Directa : PQ
Si P es verdadera, entonces Q tambien. Para llevar a cabo este tipo de demostracion se supone que p es
verdadera y se utilizan reglas de inferencia y teoremas ya demostrados para demostrar que q debe ser
tambien verdadera(1).
P: n es impar
Q: n2 es impar
Entonces...
n=2k+1 / ()2
n2=(2k+1)2
n2=4k2+4k+1
n2=2(2k2+2k)+1
n2=2a+1 / con a = 2k2+2k
Por lo tanto Q.E.D.
P: 3n + 2 es impar.
Q: n es impar.
Entonces...
N es par n = 2k
3n+2 = 3(2k)+2 =6k+2 = 2 (3k+1) = 2a /con a = 3k +1
Suponer que la hipotesis P de una implicancia “PQ” es falsa, entonces tendria la forma “FQ”, lo cual
siempre es verdad. Por lo tanto basta con demostrar que P es falso. Se utiliza abitualmente para
establecer casos especiales que enuncian que una implicacion es verdadera para ciertos enteros
positivos.
iv. Demostracion trivial:
Se supone la conclusion Q de una implicancia Q es verdadera, puesto que tiene la forma VV o FV lo
cual es verdadero para ambos casos.
Ejemplo: sea P(n): “Si a y b son enteros positivos con a>=b, entonces an>=bn”. Demostrar P(0).
Solucion: Se tiene que P(0) es: “Si a y b son enteros positivos con a>=b, entonces a0>=b0”. Pero a0=b0 = 1.
Por lo que la conclusion de esta implicancia ya es verdadera. Por lo tanto P(0) es verdadera.
Suponer que se puede encontrar una contradiccion q tal que ¬PQ sea verdadera, esto es ¬PF es
verdadero. Entonces ¬P debe ser falso, y por lo tanto P debe ser verdadero.
P: 3n+2 es impar.
Q: n es impar.
Por lo tanto, asumimos que P es es verdadero (3n + 2 es impar) y que Q es falso (n es par), por lo tanto
n = 2k. Por lo 3n+2 = 3 (2k)+2=6k+2=2 (3k+1) que es par. Esto se contradice con lo que se plantiop en un
principio, por lo tanto se demostro por reduccion al absurdo.
PQ , pero “P” se divide o tiene los casos P1, P2, P3... Pn, entonces demostrar que P1Q , P2Q ,
P3Q ... PnQ .
P1Q:
|xy|= |x||y|
Xy=xy
P2Q:
|xy|= |x||y|
-xy=x(-y)
-xy = -xy
P3Q:
|xy|= |x||y|
-xy=(-x)y
-xy = -xy
P4Q:
|xy|= |x||y|
Xy=(-x)(-y)
Xy = xy
Para enunciados con varias proposiciones que son equivalentes y/o que utilicen frases como “si y solo
si”.
Ejemplo:
P1: n es par
P2: n -1 es impar
P3: n2 es par.
P1P2
N=2k
Por lo tanto...
N -1 = 2k – 1 = 2(k-1)+1 = 2a + 1 / con a = k-1
P2P3
N-1=2k+1
N = 2k+2
Por lo tanto...
N2 = 4k2+8k+4 = 2(2k2+4k+2)= 2a / con a = 4k2+8k+4
b. Ejercicios
Ejercicio 1:
Ejercicio 2:
Solucion
P: n3+5 es impar.
Q: n es par
Entonces..
N es impar n = 2k+1
n3+5 = (2k+1)3+5
= 8k3+ 3 x 4k2 x 1 + 3 x 2k x 12 + 13 +5
=8k3+ 12k2 + 6k + 6
= 2 (4k3+ 6k2 + 3k + 3)
=2a / con a = 4k3+ 6k2 + 3k + 3
=¬P / Es decir n3+5 es par.
P: n3+5 es impar.
Q: n es par
Entonces...
Lo que significa que n3+5 es par. Con esto se llega a una contradiccion con lo planteado en un principio.
Por lo tanto se demuestra por contradiccion.
Ejercicio 3:
Demuestre que la suma de los angulos exteriores de un triangulo es igual a 360 grados. Utilizando,
Solucion:
α+β+γ=180
-α -β + 180 -γ = δ
180 =α +β + γ + δ
180 – δ = α +β + γ
180 ≠ α+ β+ γ
Lo cual es equivalente a ¬P. Por lo tanto se demuestra de forma indirecta que los angulos exteriores de
un triangulo suman 360 grados.