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.
 II.MARCO TEORICO
SIMPLIFICACIONES DE PROPOCISIONES LOGICAS
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.

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.

Principales Leyes

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:

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

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

Permutan sus respectivos componentes, sus equivalentes significan lo mismo.
 a) (p q) (q p)

Ejemplo: La pizarra es negra y la tiza blanca

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

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.

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

Ejemplo: En invierno nieva y hace frio

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

a) 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

Las Definiciones del Bicondicional (Def. Bicond.)

a) 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)

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
 Ejercicios de la simplificacin de una proposicin
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

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)
3. .- Simplificar la expression.:

[(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)
 III.CONCLUSION

IV.BIBLIOGRAFIA