1

INFERENCIA LOGICA 1. INFERENCIA LOGICA.- Sentarse frente a un tablero de ajedrez, colocar las fichas y conocer las reglas del movimiento de cada una de las fichas equivale en lgica a tener un conjunto de premisas y las reglas de juego se llama inferencia ( Deduccin) . As como en el ajedrez el movimiento de una ficha es conducir de una posicin a otra, inferir ser conducir a otro conjunto de proposiciones llamados Conclusiones. De Premisas verdaderas se obtienen Conclusiones verdaderas. 2. REGLAS DE INFERENCIA .- Los argumentos basados en tautologas representan mtodos de razonamiento universalmente correctos. Su validez depende solamente de la forma de las proposiciones que intervienen y no de los valores de verdad de las variables que contienen. A esos argumentos se les llama reglas de inferencia. Las reglas de inferencia permiten relacionar dos o ms tautologas o hiptesis en una demostracin. Dentro de ellos tenemos: 1. MODUS PONENDO PONENS.- El mtodo de la obtencin de la consecuencia mediante la asercin del antecedente. Es decir cuando se tiene una condicional y se afirma el antecedente; se concluye afirmando el consecuente. Premisa 1 Premisa 2 Conclusin pq p q 2. MODUS TOLLENDO TOLLENS.- El mtodo de la obtencin de la consecuencia mediante la. negacin del antecedente. Es decir cuando se tiene una condicional y se niega el consecuente; se concluye negando el antecedente Premisa 1 Premisa 2 Conclusin pq q _____ p 3. DOBLE NEGACIN.- Es una regla que acta sobre una sola proposicin que indica que dos negaciones equivale a una asercin. Es decir se afirma. Premisa 1 Conclusin No es cierto que, Elizabeth no es una buena alumna. Elizabet es una buena alumna Si Teofila es soltera, entonces Teofila se va ha casar Teofila no se va a casar Teofila no es soltera . . Si Gaby es Pasquea, entonces Gaby es Peruana Gaby es Pasquea Gaby es Peruana .

2
p p o p . p

4. SILOGISMO HIPOTTICO.- Cuando se tiene una condicional y otra condicional con antecedente igual al consecuente de la primera, se concluye con el antecedente de la primera y el consecuente de la segunda. Ejemplo. Premisa 1 Premisa 2 Si usted invierte en el mercado de valores, entonces usted se har rico. Si usted se har rico, entonces usted ser feliz .

Conclusin Si usted invierte en el mercado de valores, entonces usted ser feliz. pq qr pr 5. SILOGISMO DISYUNTIVO.- Cuando se tiene como premisas una disyuncin y dos condicionales. Con los antecedentes del primero. Se concluye con la disyuncin de las consecuentes. Ejemplo Premisa 1 Premisa 2 Premisa 3 Conclusin p q pr qs r s 6. MORGAN.- la negacin de las proposiciones de una conjuncin es igual a la negacin compuesta de una disyuncin dbil. Ejemplo. Premisa 1 martes Conclusin a) p q ( p q) b) p q No es cierto, que asisto a clases el da lunes o asisto a los entrenamientos el da martes No asisto a clases el da lunes y no asisto a los entrenamientos el da Julio es ingeniero o Julio es medico Si julio es ingeniero, entonces Julio construyo el hospital regional Si Julio es Medico, entonces Julio opero en el hospital regional . Julio construyo el hospital regional o Julio opero en el hospital regional

( p q) 7. BICONDICIONALES.- Se puede aclarar que si se tiene una condicional y su reciproca, entonces se concluye con la bicondicional.

3
Premisa 1 Premisa 2 Conclusin pq qp p q 8. ADJUNCION.- Si se tiene dos proposiciones atmicas verdaderas. Se puede concluir con la conjuncin de las proposiciones. Ejemplo. Premisa 1 Premisa 2 Conclusin p q p q 9. SIMPLIFICACIN.- Es la regla inversa de la adjuncin, es decir es pasar de la conjuncin a los componentes o proposiciones Premisa 1 Conclusin El cuadrado tiene 4 lados iguales y el triangulo tiene tres lados El cuadrado tiene 4 lados iguales p q q Dado una proposicin disyuntiva, si se niega un . Cerro de Pasco es la capital minera Huayllay tiene su bosque de piedras Cerro de Pasco es la capital minera y Huayllay tiene su bosque de piedras 4 es un numero natural par, entonces 4 es un numero divisible por dos 4 es un numero divisible por dos, entonces 4 es un numero natural par 4 es un numero natural par, si, y solo si 4 es un numero divisible por dos

p q p

10. MODUS TOLLENDO PONENS.Premisa 1 Premisa 2 Conclusin p q q p .

miembro de la disyuncin. Se concluye afirmando el otro miembro. Ejemplo Wilder es un varn o Wilder es mujer Wilder no es mujer Wilder es un varn p q p q . .

11. ADICION.- Teniendo una premisa (proposicin verdadera), adicionando con la disyuncin con cualquier otra proposicin se puede inferir una disyuncin verdadera. Premisa 1 Conclusin p p s Cerro de Pasco es la capital de Pasco . Cerro de Pasco es la capital de Pasco o Ambo es la capital de Hunuco

4
12 LEY DE SIMPLIFICACION DISYUNTIVA.- Si tenemos como premisa una proposicin disyuntiva con las mimas proposiciones atmicas P P se tiene como conclusin P. Ejemplo: Premisa 1 Conclusin p p p. 3. DEMOSTRAR INFERENCIAS.- Significa que se debe aplicar las reglas de inferencia, hasta llegar a probar lo que se pide como conclusin. Es decir se puede aplicar una, dos tres o mas reglas de manera lgica ordenada con procedimientos y cada uno justificar con razones o reglas de inferencia, sin inventar ni utilizar otras reglas. PRACTICA DIRIGIDA DE MATEMTICA NOMBRE......................................................................................... NOTA:............. INSTRUCCIONES.- Estimado estudiante (a) Srvase desarrollar las demostraciones utilizando los procedimientos necesarios y justificando cada procedimiento con su regla o ley correspondiente en la misma hoja. I. DEMOSTRAR LAS SIGUIENTES INFERENCIAS a) Demostrar T. Si 1. R T 2. S R 3. S Demostrar C. Si 1. A B D 2. B D C 3. A Demostrar B. Si 1. A B 2. D A 3. D El Alianza Lima ganar hoy o el Alianza Lima ganar hoy El Alianza Lima ganar hoy

b)

c)

d) Demostrar G 1. H G 2. H 3. G G e) Demostrar M N 1. J M N 2. F G J 3. F G f) Demostrar N 1. R S 2. R 3. S Q

5
4. Q N g) Demostrar B 1. G E 2. E Q 3. G 4. Q L 5. L M 6. M B Demostrar 1. R S 2. S R

h)

i)

Demostrar ( P Q) 1. P Q T 2. T. Demostrar R 1. P S 2. S 3. P R Demostrar S 1. S T 2. T Demostrar que Q. Si 1. S 2. R H 3. R S 4. Q H Demostrar R N. Si P R P Q Q.

j)

k)

l)

m) 1. 2. 3. n)

Demostrar N. Si 1. R S 2. R 3. S Q 4. Q N.

o) Obtener S. Si 1. P Q R S 2. R 3. P 4. Q. p) Demostrar que Q. Si 1. S 2. R H

6
3. R S 4. Q H b) Obtener S. Si 1. P Q R S 2. R 3. P 4. Q.