Professional Documents
Culture Documents
TUTOR
GRUPO 200611_266
INGENIERA INDUSTRIAL
BUCARAMANGA, SANTANDER
OBJETIVOS
OBJETIVO GENERAL
Aprender y diferencias las reglas de la inferencia lgica, para poder aplicar a la solucin de
problemas propuestos
OBJETIVOS ESPECIFICOS
Aplicar las leyes de la inferencia lgica para relacionarlos con casos de la vida real
Analizar las premisas que integran un problema para disear la estrategia de la solucin
aplicando las reglas de la inferencia para llegar a la demostracin solicitada
INTRODUCCION
Antes de hablar acerca de las reglas de inferencia es bueno resaltar algunos conceptos
claros y bsicos para el entendimiento de este; uno de ellos son las lgica.
El mtodo de demostracin por contra positiva es un mtodo indirecto que tiene como
fundamento la equivalencia lgica (PQ)(QP) Para realizar una demostracin por
contra positiva se toma como hiptesis la negacin de la conclusin escrita como Q para
obtener como conclusin la negacin de la hiptesis escrita como P
EJEMPLO 1
A pesar de se puede dar una demostracin directa, optamos por probar esta afirmacin
por contraposicin. La contraposicin de la declaracin anterior es:
EJEMPLO 2
La Proposicin 1.2 es: para todo entero n, si n2 es par entonces n es par. Demuestre la
proposicin 1.2 por contra positiva.
Demostracin: Se observa que la implicacin: si n2 es par entonces n es par, con hiptesis
P: n 2 es par y conclusin Q: n es par, es equivalente a la implicacin: si n es impar
entonces n2 es impar con hiptesis Q: n es impar, y conclusin P: n2 es impar 49
Recordando que el inicio de la demostracin por contra positiva es la hiptesis Q: n es
impar, se tiene el siguiente proceso lgico deductivo formal:
Proposicin Razn
1) n es impar por hiptesis
2) n=2k+1 por proposicin 1)
3) n2 =(2k+1)2 elevando al cuadrado ambos lados de la
proposicin 2)
4) n2 = 4k2 +4k+1 algebra elemental y proposicin 3)
5) n2 = 2(2k2 +2k)+1 algebra elemental y proposicin 4)
6) n2 es impar por proposicin 5)
EJEMPLO 3:
p (q ^ r), (q s) t, (p s) |= t
Demostracin:
1. p (q ^ r) Premisa
2. (q s) t Premisa
3. p s Premisa
4. t Premisa Adicional
5. (q s) MPP(2,4)
6. q ^ s Ley de Morgan(5)
7. q LS(6)
8. s LS (6)
9. p SD (3,8)
10. q ^ r MPP (1,9)
11. q LS (10)
12. q ^ q Conjuncin (7,11)
pero esto ltimo es una contradiccin, por lo que queda demostrado el argumento.
EJEMPLOS:
Los seres vivos son aquellos que nacen y tienen la capacidad de crecer,
tienen la capacidad de reproducirse y tienen la capacidad de morir.
1. EJEMPLO:
Preposiciones simples
P: mi equipo gana
Q: mi equipo pierde
R: yo me pongo contento
S: me pongo triste
Premisas
PR
QS
PvQ
CONCLUSION R v S
SOLOGISMO DISYUNTIVO