Universidad Nacional Abierta y a Distancia

UNAD Escuela: Ciencias Bsicas Tecnologa e Ingeniera

Pensamiento Lgico y Matemtico Grupo: 200611A_291
1

Uso de las reglas de inferencia

Laura Andrea Medina Rangel

Codigo:1098629979
Grupo: 200611_534

Tutor: Enrique Rodrguez Bonilla

Universidad Nacional Abierta y a Distancia (UNAD)

Pensamiento lgico y matemtico
Sincelejo/Sucre
2016
Universidad Nacional Abierta y a Distancia
UNAD Escuela: Ciencias Bsicas Tecnologa e Ingeniera
Pensamiento Lgico y Matemtico Grupo: 200611A_291
2

Introduccin

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.
Universidad Nacional Abierta y a Distancia
UNAD Escuela: Ciencias Bsicas Tecnologa e Ingeniera
Pensamiento Lgico y Matemtico Grupo: 200611A_291
3

Tipos de demostracin

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.
Dadas las premisas: 1. p ~q
2. r q
Concluir: t. p ~r

Demostracin: Puesto que r q es equivalente a ~q ~r, por MTT se tiene la premisa:

3. ~q ~r, ahora, de las premisas 1 y 3 se puede concluir t, es decir, como
p ~q y ~q ~r, entonces, p ~r. Por SH

Ejemplo 2.
tenemos las proposiciones simples B; C y D cierto
B: est haciendo frio
C: est haciendo calor
~ D: no est lloviendo
Demostrar la hiptesis
C~D
Solucin
1) B~C
2) ~ (D~B)
Universidad Nacional Abierta y a Distancia
UNAD Escuela: Ciencias Bsicas Tecnologa e Ingeniera
Pensamiento Lgico y Matemtico Grupo: 200611A_291
4

3) C hiptesis
4) ~ (3 Y 1) es decir 3) C Y 1) B~C

= ~B
5) ~D B
6) ~D (4Y5)

Ejemplo 3.
Fue el celador X o fue el ladrn Y quien disparo contra el gerente del Banco. X estaba tirado en el
suelo . Si X tenia balas de salva, no pudo haber cometido el crimen. Si X estaba indefenso no pudo
haber disparado contra el gerente.

Obtenga la conclusin usando las reglas de inferencia

.P1: X cometi el crimen.
P2: Y cometi el crimen.
F: X estaba tirado en el suelo.
G: X tena tenia balas de salva, no pudo haber cometido el crimen.
H: Bala encontrada da en el occiso de 7.62
1) P1 P2
2) Q
3) Q R
4) R v P1
5) R aplicando modus TP(2) y (3) R v Q
Q
___________
R

6) v P1 aplico modus ponen a (5) y (4)

Universidad Nacional Abierta y a Distancia
UNAD Escuela: Ciencias Bsicas Tecnologa e Ingeniera
Pensamiento Lgico y Matemtico Grupo: 200611A_291
5

7) P2 aplicando el silogismo disyuntivo a (1) y (6) Por lo tanto se concluye que

Y cometi el crimen.
el modo que, al negar, afirma"

La demostracin indirecta
Se realiza una demostracin indirecta cuando se establece la validez de una tesis t probando que las
consecuencias de su contraria son falsas.
Ejemplo 1.
Construir la demostracin indirecta de:
Si x2 es par, entonces x es par, (con x entero)
Suponga que existe al menos un entero x tal que x2 es par y x es impar.
Por el ejemplo 2 analizado en la demostracin directa, se sabe que si x es impar, entonces x2 es
impar, luego es imposible que x sea impar y que x2 sea par.
Esta es la contradiccin buscada.
La demostracin por recursin
Cuando la tesis se prueba por medio de induccin matemtica.
Ejemplo 2.
Este tipo de demostraciones se utilizan cuando los enunciados tienen una proposicin abierta en una
variable n, y es necesario demostrar que tal proposicin se verifica para todos los elementos n que
pertenecen a un subconjunto infinito dado sobre los nmeros enteros, el axioma de la induccin
matemtica es el siguiente:
Dado un conjunto de nmeros enteros A = {n / n a} y una proposicin de la forma P(n), se puede
demostrar la verdad de esta proposicin estableciendo los siguientes pasos:
I. P(a) es verdadera cuando se sustituye n por a en P(n)
II. Se supone que la proposicin P(n) es verdad para todo k del conjunto A, es decir, P (k) es
verdadera, a esta proposicin, se le llama Hiptesis de Induccin.
III. Se demuestra que para el siguiente trmino al k-simo, o sea k+1, P (k+1) es verdadera