UNIVERSIDAD ALEJANDRO DE HUMBOLDT CURSO INTRODUCTORIO Asignatura: RAZONAMIENTO LGICO Autor: Jos Manuel Daz Fumero

GUIA No 2 Leyes de Lgica y reglas de inferencia

Versin 1.03 OCT. 2010

CONTENIDO
GUIA No 2.............................................................................................................................1 Leyes de Lgica y reglas de inferencia ...............................................................................1 1.Leyes de Lgica o Leyes de lgebra de proposiciones;...................................................3 2.Simplificacin de Frmulas...............................................................................................4 3. Reglas de Inferencias........................................................................................................5

1.Leyes de Lgica o Leyes de lgebra de proposiciones;

Las Proposiciones verifican ciertas propiedades conocidas como Leyes del Algebra de Proposiciones. Estas propiedades son las siguientes

1.- Leyes de Idempotencia: a. (pp)p b. (pp)p 2.- Leyes conmutativa: a. pqqp b. pqqp 3.- Leyes asociativa: a. ((pq)r)(p(qr)) b. ((pq)r)(p(qr)) 4.- Leyes de distributiva: a. (p q)rp(qr) b. (pq)rp(qr) 5.- Leyes de Identidad: pFp pFF pVV pVp FV VF

6.- Leyes de Complementacin: ppV ppF 7.- Leyes de Morgan (pq) pq (pq) pq 8.- Doble negacin: ~ ~ pp 9.- Leyes de Implicacin pq(~q~p) pq~pq p(pq)pq

4 Estas leyes se pueden verificar fcilmente mediante tablas de la verdad. Es de hacer notar que estas leyes son validas, tanto para proposiciones atmicas como para las moleculares. Las letras V y F indicadas anteriormente en las leyes, indican variables que se restringen a los valores de verdadero y falso, respectivamente

2.Simplificacin de Frmulas
Las leyes anteriores permiten simplificar frmulas complejas, hasta llevarlas a otras ms sencillas y equivalentes a la original, es decir, con menos variables proposicionales y/o conectivos; como se puede ver en los siguientes ejemplos: Ejemplo 1: Aplicando las leyes de algebra de proposiciones, simplificar las siguiente expresin: (pq)p(pp)(qp) F(qp) (qp) Ejemplo 2: Aplicando las leyes de algebra de proposiciones, simplificar las siguiente expresin: (pq) (qp) (pq) (qp) (pq) (pq) p(qq) pF p Ejemplo 3: Aplicando las leyes de algebra de proposiciones, simplificar las siguiente expresin: p ( p q) (pF) (pq) p(Fq) pF p Ley de Identidad Ley de Distributiva Ley de Identidad Ley de Identidad Ley de Morgan Ley de Conmutativa Ley Distributiva Ley de Complementacin Ley de Identidad Ley Distributiva Ley de Complementacin Ley de Identidad

5 Ejemplo 4: Aplicando las leyes de algebra de proposiciones, simplificar las siguiente expresin: p ( p q) (pV) (pq) p(Vq) pV p Ley de Identidad Ley de Distributiva Ley de Identidad Ley de Identidad

3. Reglas de Inferencias
Si actuando segn unas reglas dadas, sobre unas frmulas tambin dadas, obtenemos una nueva formula, diremos que esta se ha inferido o deducido de aqullas. A las reglas dadas se les llama regla de inferencia, a la formula de partida premisas y a las frmulas de llegadas conclusin. Al proceso mediante el cual la conclusin se sigue de las premisas se llama prueba, deduccin o demostracin. A las inferencias que siguen las reglas establecidas se les llama correctas, e incorrectas a las que no la siguen. Regla de inferencia. Son las que de cada conjunto suficiente de premisas, P1,P2,....., nos permite deducir una conclusin C. Son varios los sistemas de reglas que resuelven este problema; uno de ellos es el que esta integrado por las reglas siguientes: 1a. Regla de separacin. MODUS PONENDO PONENS.Si tomamos como premisa un condicional y su antecedente, el consecuente puede ser inferido como conclusin. Si las premisas P1 y P2 las ponemos una encima de otra, debajo de ellas una lnea horizontal y debajo de esta la conclusin C, la primera regla de inferencia puede ser escrita en la forma simblica siguiente:

6 P1: pq P2: p C: q Ejemplo: P1: Si gano la lotera, entonces compro apartamento P2: Gano la Loteria C: Compro Apartamento 2a. MODUS TOLLENDO TOLENS. Dadas como premisas una proposicin condicional y la negacin de su consecuente. Se puede concluir la negacin de su antecedente Procediendo como el caso anterior, la segunda regla puede ser escrita en la forma simblica siguiente: P1: pq P2: q C: p Ejemplo: P1: Si hoy es martes entonces, maana es miercoles P2: Maana no es miercoles C: Hoy no es martes 3a. Regla de Conjuncin. Dada como premisas dos proposiciones, se puede concluirla conjuncin de ambas. P1: p P2: q C: pq Ejemplo:

7 P1: Juan es estudioso P2: Ana es floja C: Juan es estudioso y Ana es floja

4a. Regla de Simplificacin: dada como premisa la conjuncin de dos proposiciones, se puede concluir cualquiera de ellas. Esta cuarta regla puede ser escrita de la forma simblica siguiente: P1: pq C: p P1: pq C: q

5ta. Regla MODUS TOLLENDO PONENS: Dadas como premisas la disyuncin de dos proposiciones y la negacin de una de ellas, se puede concluir la otra proposicin P1: pq P2: q C: p P1: pq P2: p C: q

6ta. Ley de adicin: Dada como premisa una proposicin, se puede concluir las disyuncin de ella con cualquier otra proposicin P1: p C: pq donde q es una proposicin cualquiera

7ma. Ley de Silogismo hipottico: Dadas como premisas dos condicionales p q y qr, se puede concluir el condicional pr P1: pq P2: qr C: pr P1: qr P2: pq C: pr

8 8ma. Ley de Silogismo disyuntivo: Dadas como premisas dos condicionales p s y qt, y la disyuncin de sus antecedentes se puede concluir las disyuncin de sus consecuente P1: ps P2: qt P3: pq C: svt