PENSAMIENTO LOGICO Y MATEMATICO

MOMENTO INTERMEDIO PASO 3

USO DE LAS REGLAS DE INFERENCIA.

Entregado por:

ANDERSON Mauricio Briceo jaimes

Cdigo: 1090175679

Grupo: 200611_872

Presentado a:

NEVARDO ALONSO AYALA

Tutor

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD

INGENIERIA DE TELECOMUNICASIONES

ABRIL

2017
 INTRODUCCIN

La demostracin de la validez de una proposicin a travs del razonamiento se fundamenta en

otras proposiciones ya demostradas o bien, en otras proposiciones que sin haber sido
demostradas la aceptamos como verdaderas

DEMOSTRACIONES DIRECTAS E INDIRECTAS

La demostracin es un razonamiento que prueba la validez de un nuevo conocimiento;

es el enlace entre los conocimientos recin adquiridos y los conocimientos anteriores.
Los Procedimientos de demostracin permiten establecer la conexin lgica entre las
Proposiciones fundamentales de la teora, sus consecuencias sucesivas, hasta deducir la
Conclusin o tesis que as se demuestra.

LA DEMOSTRACIN DIRECTA

La demostracin directa de una proposicin t (teorema) es un conjunto de proposiciones

o Premisas que son postulados o proposiciones de validez aceptada y de las cuales se
infiere t Como consecuencia inmediata.

Ejemplo 1.
Si x es un nmero entero impar, entonces x 2

Es un nmero entero impar.

Demostracin:

Supongamos que x es impar. Entonces, por definicin de nmero entero

Impar, existe un nmero entero a, tal que

X = 2a + 1.

Ahora X 2 = (2a + 1)2

= (2a + 1) (2a + 1) =

= 4a2 + 4a + 1

= 2(2a2 + 2a) + 1

= 2k + 1 (k = 2a2 + 2a).

En consecuencia, x2 es impar.

LA DEMOSTRACCIN DIRECTA

Se realiza una demostracin indirecta cuando se establece la validez de una tesis t

probando que las consecuencias de su contraria son falsas.

Se plantea una proposicin, en la forma si p entonces q, donde p se denomina hiptesis

(condicin suficiente) y q, se llama tesis o conclusin (condicin necesaria). Por
ejemplo, si llueve la pista est mojada; esto es: que es una condicin suficiente para que
se aniegue la pista, es que llueva. Y si llueve necesariamente se moja la pista. En el
contexto matemtico, de la verdad de la hiptesis se llega a la verdad de la conclusin,
usando proposiciones cuya certeza se conoce previamente

Ejemplo 1.

Si 3x 1 es par, entonces x es impar.

Demostracin: Supongamos que x no es impar. Entonces x es par. As, existe un nmero

Entero a, tal que

x = 2a. Ahora, 3x 1

= 3(2a) 1

= 6a 1 1 + 1

= 6a 2 + 1

= 2(3a 1) + 1

= 2k + 1

(k = 3a 1).