NDICE

Pg.

1. INTRODUCCIN ...............................................................................................2

2. MARCO TEORICO ............................................................................................3

2.1. SIMPLIFICACIONES DE PROPOCISIONES LOGICAS ....................3

2.1.1. Definicin: .......................................................................................3

2.1.2. Leyes De Algebra Proposicional....................................................3

2.2. Principales Leyes .......................................................................................4

2.2.1. Definicin.........................................................................................4

2.2.2. Doble Negacin ..............................................................................4

2.2.3. Conmutacin ...................................................................................4

2.2.4. De Morgan .......................................................................................5

2.2.5. Las Definiciones del Condicional ................................................5

2.2.6. Las Definiciones del Bicondicional...............................................5

3. EJERCICIOS DE LA SIMPLIFICACIN DE UNA PROPOSICIN .........7

4. CONCLUSION ..................................................................................................12

5. BIBLIOGRAFIA ...............................................................................................13

1
1. INTRODUCCIN

La lgica proposicional o lgica de orden cero es un sistema formal cuyos

elementos ms simples representan proposiciones, y cuyas constantes lgicas,

llamadas conectivas lgicas, representan operaciones sobre proposiciones,

capaces de formar otras proposiciones de mayor complejidad.

La lgica proposicional trata con sistemas lgicos que carecen de

cuantificadores, o variables interpretables como entidades. En lgica

proposicional si bien no hay signos para variables de tipo entidad, s existen

signos para variables proposicionales (es decir, que pueden ser interpretadas

como proposiciones con un valor de verdad definido), de ah el nombre

proposicional. La lgica proposicional incluye adems de variables

interpretables como proposiciones simples signos para conectivas lgicas, por lo

que dentro de este tipo de lgica puede analizarse la inferencia lgica de

proposiciones a partir de proposiciones, pero sin tener en cuenta la estructura

interna de las proposiciones ms simples.

2
2. MARCO TEORICO

2.1. SIMPLIFICACIONES DE PROPOCISIONES LOGICAS

2.1.1. Definicin:

La simplificacin de una proposicin, o dicho de otra manera, la

simplificacin de una expresin lgica consiste en reducir la

expresin lgica a una forma ms simple mediante el uso de los

axiomas y/o leyes lgicas.

La simplificacin consiste en ir desarrollando la expresin paso a

paso mediante la sustitucin en cada paso de una expresin lgica

equivalente a la anterior, hasta llegar a una expresin lgica

irreducible.

A travs de la simplificacin podemos tambin demostrar una

equivalencia lgica sin usar tablas de verdad.

2.1.2. Leyes De Algebra Proposicional

Las proposiciones equivalentes se convierten en leyes lgicas.

Existen infinitas proposiciones equivalentes. Pero slo

consideraremos algunas a las que llamaremos leyes del lgebra

proposicional.

3
2.2. Principales Leyes

2.2.1. Definicin:

Son Equivalencias Lgicas que nos permiten reducir esquemas

moleculares complejos y expresarlos en forma ms sencilla.

Tambin son llamadas leyes lgicas, y representan formas

proposicionales en la que si se sustituyen sus variables por los

enunciados correspondiente el resultado ser una proposicin

lgicamente verdadera.

Con fundamento en el contenido de la definicin de ley lgica se

evidencia la relacin de est con las tautologas: toda tautologa es

una ley lgica.

A continuacin se muestran las leyes lgicas fundamentales:

2.2.2. Doble Negacin.- (DN) Si negamos una proposicin dos veces,

se concluye en la proposicin inicial.

Su simbolizacin ser ~~p

Ejemplo: No es verdad que no somos invitados

2.2.3. Conmutacin.- (Conm.) Si los conjuntivos, disyuntivos y

bicondicionales Permutan sus respectivos componentes, sus

equivalentes significan lo mismo.

(p q) (q p)

Ejemplo: La pizarra es negra y la tiza blanca

4
 Equivale: La tiza es blanca y la pizarra es negra.

2.2.4. De Morgan.- (D.M.) Se niegan las proposiciones conjuntivas o

disyuntivas y las Cambiamos. La conjuncin por la disyuncin o

la disyuncin por la conjuncin, negando cada uno de los

componentes.

(p q) ~(~ p v ~q)

Ejemplo: En invierno nieva y hace frio

2.2.5. Las Definiciones del Condicional.- (Def. Cond.)

Es la definicin del esquema condicional por medio

del disyuntivo. Se niega el antecedente (p) y el condicional ()

cambia por el disyuntivo (V)

(p q) (~p v q)

Ejemplo: Si Kant es un filsofo entonces es idealista

Equivale: Kant no es un filsofo o es un idealista

2.2.6. Las Definiciones del Bicondicional (Def. Bicond.)

Indica que un esquema bicondicional puede transformarse en dos

condicionales donde uno de los miembros implica a otro y

viceversa.

(p q) (p q) (q p)

5
 Ejemplo: Una figura geomtrica tiene tres ngulos si y slo si es

un tringulo

Equivale: Si una figura geomtrica tiene tres ngulos entonces es

un tringulo y si es un tringulo entonces es una figura

geomtrica que tiene tres ngulos.

CUADRO1: LEYES DE PROPOSIONES LOGICAS

Leyes del lgebra de proposiciones.

Disyuncin Conjuncin

pvp p Idempotencia p^pp

pvqqvp Conmutativa p^qq^p

p v (q v r) ( p v q ) v r Asociativa p ^ (q ^ r) (p ^ q) ^ r

p v (p ^ q) p Absorcin p ^ (p v q) p

p v (q ^ r) (p v q) ^ (p v r) p ^ (q v r) (p ^ q) v (p ^ r)
Distributiva
Disyuncin respecto a la conjuncin Conjuncin respecto a la disyuncin

p v ~p t Negacin p ^ ~p t

p^tp
Pvcp Identidad
t es elemento neutro de la ^

pvtt Identidad de t y c p^cc

~ct Identidad de c y t tc

Involucin
~~ p p
(doble negacin)

~ (p v q) ~p ^ ~q Ley de Morgan ~ (p ^ q) ~ p v ~q

6
 3. Ejercicios de la simplificacin de una proposicin

3.1. Simplificar la expresin:

[(p p) q] [~q (r q)] [p (p ~q

[(~p p) q] [~q (r q)] [~p (p ~q)] Condicional

[(~p p) q] [~q (r q)] [(~p p) ~q] Asociativa

(V q) [~q (r q)] (V ~q) Forma Normal

V [~q (r q)] V Forma normal

V V [~q (r q)] Asociativa

V [~q (r q)] Forma normal

~q (r q) Distributiva

(~q r) (~q q) Elemento neutro

(~q r) V Forma normal

~q r

7
 3.2. Simplificar la expresin:

[(p ~q) ~p ] q Condicional

~ [~ (~p v ~q) v ~p ] v q Morgan

[~~ (~p v ~q) ~~p ] v q Doble negacin

[ (~p v ~q) p ] v q Conmutativa

[ p (~p v ~q) ] v q Distributiva

[ (p ~p ) v (p ~q) ] v q Complemento

[ F v (p ~q) ] v q Forma Normal

(p ~q) v q Conmutativa

q v (p ~q) Distributiva

(q v p) (q v ~q) Complemento

(q v p) V Forma Normal

(q v p)

8
 3.3. Simplificar la expresin:

[(p q) ~r] v [p (q ~r)] Condicional

[~ (p q) v ~r] v [~p v (~q v ~r)] Morgan

[(~p v ~q) v ~r] v [~p v (~q v ~r)] Elimino signos de agrupacin

~p v ~q v ~r v ~p v ~q v ~r Asociacin

(~p v ~p) v (~q v ~q) v (~r v ~r) Idempotencia

~p v ~q v ~r Morgan

~ (p q r)

(p q) v (p v q)

Solucin: Justificaciones

(p q) v (p v q) Definicin Bicondicional

[(p q) (q p)] v (p v q) Definicin Implicacin

[(~p v q) (~q v p)] v (p v q) Ley Distributiva

[(p v q) v (p v q)] [(~q v p) v (p v q)] Ley Asociativa

[q v (~p v q)] [p v (~q v q)] Condicin de Negacin

(q v V) v (p v V) Condicin de Tautologa

9
[(~p v q) (~q p)] v (p ~q)

*Solucin Justificaciones

[(~p v q) (~q p)] v (p ~q) Definicin de Implicacin

[(~p v q) (~~ q v p)] v (p ~q) Doble Negacin

[(~p v q) (q v p)] v (p ~q) Ley Distributiva

[q v (~p p)] v (p ~q) Condicin de negacin

(q v F) v (p ~q) Elemento Neutro

q v (p ~q) Ley Distributiva

(q v p) (q v ~q) Condicin de Negacin

(q v p) V Elemento Neutro

(q v p)

[(~p v q) (~q p)] v (p ~q)

*Solucin Justificaciones

[(~p v q) (~q p)] v (p ~q) Definicin de Implicacin

[(~p v q) (~~ q v p)] v (p ~q) Doble Negacin

[(~p v q) (q v p)] v (p ~q) Ley Distributiva

[q v (~p p)] v (p ~q) Condicin de negacin

(q v F) v (p ~q) Elemento Neutro

q v (p ~q) Ley Distributiva

(q v p) (q v ~q) Condicin de Negacin

(q v p) V Elemento Neutro

(q v p)

10
[p (p r)] [~p (p r)]

*Solucin Justificaciones

[p (p r)] [~p (p r)] Definicin Condicional y Doble Negacin

[~p v (p r)] [p v (p r)] Ley Distributiva y Ley de Absorcin

[(~p v p) (~ p v r)] p Condicin de Negacin

[V (~p v r)] p Elemento Neutro

(~p v r)] p Ley Distributiva

(p ~p) v (p r) Condicin de Negacin

F v (p r) Elemento Neutro

(p r)

[(q p) (~p q)] ~ (p v ~q)

*Solucin Justificaciones

[(q p) (~p q)] ~ (p v ~ q) Definicin Condicional y Doble Negacin

~ [(q v p) (p v q)] v ~ (p v ~ q) Ley de Morgan y Doble Negacin

[(q ~p) v (~p )] v Ley Distributiva

[~p (q v ~q)] v (~p q) Condiciones de Negacin

(~p V)] v Elemento Neutro

(~p q) Ley de Absorcin

~p

11
4. CONCLUSION

La lgica proposicional es una de las piezas fundamentales de la Inteligencia

Artificial, ya que para realizar los cambios necesarios para la evolucin de esta

ciencia, se precisa de un lenguaje formal para representar los hechos que se

reciben del mundo real y el uso de las proposiciones. El utilizar proposiciones es

una seal que encaja en forma perfecta en este mbito. Es un modo sencillo y

prctico de resolver un problema, considerando que se puede resolver disgregando

el problema en proposiciones u oraciones sencillas que permiten analizar los

hechos y tomar decisiones, es decir, crear nuevas proposiciones u oraciones

sencillas o compuestas que se incorporan a la base de conocimiento, permitiendo

el incremento y mejora de esta.

Este trabajo nos ha permitido profundizar los conocimientos del uso de la lgica

para la resolucin de problemas o la representacin de la realidad a nivel de

proposiciones.

12
5. BIBLIOGRAFIA

ESPINOZA, E. (2005) Matemtica Bsica. Lima. 2 Edicin.

FIGUEROA, R. (1992) Matemtica Bsica 1. Lima. 5 Edicin.

GARCA, . (2007) Lgica. Lima: UNMSM.

SEMINARIO, R. y VILLANUEVA, J. (1992). El Gran Saber. Logica. Lima.

Editora Rival S.A.

PISCOYA, L. (1997) Lgica. Lima: UNMSM.

DEAO, A. (2001) Introduccin a la Lgica Formal. Madrid: Alianza

Editorial.

LLANOS, M. (2003) Lgica Jurdica. Lima: Logos.

http://profe-alexz.blogspot.com/2010/05/logica-proposicional.html

13