SIMPLIFICACIN LGICA

I. 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.

LOGICA MATEMATICA 2017 II 1

 SIMPLIFICACIN LGICA

II. MARCO TEORICO

LGICA

La lgica es el estudio de las reglas, leyes, modos y formas de razonamiento, que

permiten al espritu alcanzar la verdad.

Tambin puede entenderse que la lgica es como la ciencia formal que estudia la
validez de la inferencia.

Expresin formal

Una expresin es formal cuando su validez depende de modo exclusivo

de su forma y no del contenido. Una conclusin es lgico formal, cuando su validez
depende exclusivamente de su forma y no del contenido de la ley a que hace referencia.

Esquema de expresin

Si la expresin Hoy llueve en Lima, que puede ser

VERDADERA o FALSA, CORECTA o INCORRECTA, dependiendo de que
realmente llueva o no en Lima; la escribimos Hoy llueve en, o mejor an, Hoy
llueve en x; estaremos ante una expresin denominada esqueleto de expresin o bien
esquema de expresin. Las variables, x, y, z significan lugares vacos en los esquemas
de expresiones que se refieren a una determinada clase de objetos.

Lgica Formal

La Lgica puramente formal deja de lado la materia, contenido de los

juicios y de los razonamientos, para no considerar ms que su forma, es decir, la manera
cmo una idea o informacin est unida a otra, los juicios a otros juicios, cualesquiera
sean los objetos representados.

Lgica Proposicional

Es decir, una proposicin es una expresin, enunciado o informacin,

acerca del cual se puede afirmar que es verdadero o falso, pero no ambas a la vez.

EJEMPLOS:

- 25 es mayor que 11
- Hay varios tipos de Democracia
- Todo cuadrado es un rectngulo y todo rectngulo es un cuadrado

LOGICA MATEMATICA 2017 II 2

 SIMPLIFICACIN LGICA

Proposiciones Atmicas y Moleculares:

1) Las proposiciones ATMICAS, llevan un solo sujeto y un slo predicado, y no

llevan operador lgico. Se llaman tambin proposiciones mondicas o monarias.

EJEMPLOS

- 11<18.
- Belaunde fue presidente del Per.
- Todos los peces viven en el agua.
- Lima es la capital del Per.
- 18 es menor que 10.

2) Las proposiciones MOLECULARES se constituyen a partir de las atmicas o

simples, estn unidos por trminos de enlace o conectivos lgicos.

EJEMPLOS

- Llueve y hace fro.

- 5 es mayor que 8 y menor que 3.
- Ests enfermo, porque no te cuidas.
- Si tienes dinero, eres feliz.
- Juan juega o estudia, ya que est de vacaciones.
- Todas las personas son inteligentes pero no todas son responsables.
- La ciencia busca la verdad, la religin cree en su verdad; por lo tanto la ciencia
es una religin.
- 5>6 y 8<10

3) Las proposiciones RELACIONADAS son aquellas que establecen una relacin

entre dos o ms objetos que tienen la misma categora gramatical.

p del mismo modo que q siempre ambos p con q

p sin embargo q p es compatible con q
p es igual que q p incluso q
p as como q p tambin q
p no obstante q p aunque q
p de la misma manera q p pero q
tanto p como, cuando q p incuso q
no solo p tambin q p tal como q

LOGICA MATEMATICA 2017 II 3

 SIMPLIFICACIN LGICA

Conectivos Lgicos u Operadores

Son trminos como y, o, cuando, entonces, nini, no, es decir, por

tanto, por ello, por consiguiente, segn ello, porque, pues, ya que,
luego, etc., que sirven de enlace para las proposiciones VF.

REPRESENTACIN DE PROPOSICIONES (VF) Y CONECTIVOS LGICOS:

Las proposiciones simples o atmicas se representan por p, q, r, s, t, etc.

Las proposiciones compuestas o moleculares se representan por letras maysculas,
as: A, B, C, D, E, etc.
Los conectivos u operadores lgicos tienen la siguiente representacin simblica,
que la exponemos en el cuadro siguiente:

Cuadro 1: REPRESENTACIN SIMBLICA

PEANO
TIPO SCHOLZ SE LEE EJEMPLO
RUSSELL

Juan no es abogado
Negacin ~ ~ no
~p

Los peces y los reptiles

Conjuncin y son arboles
pq

Estudias o juegas
Disyuncin dbil o
pq

O vas lunes o vas

Disyuncin fuerte oo martes
pq

si Si entrenas, ganas
Condicional
entonces pq

Es rectngulo si y solo
si y solo
Bicondicional si es un cuadrado
si
pq

LOGICA MATEMATICA 2017 II 4

 SIMPLIFICACIN LGICA

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.

EJEMPLOS:

1) Simplificar: ~ ( ~ p ^ q )

Solucin
~(~p^q)
~~p~q
p~q

2) Simplificar: ~ ( ~ r ~ q )

Solucin
~(~r~q)
~ (~ ~ r ~ q )
~ ( r ~ q)
~r^~~q
~r^q

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.

Definicin:

Son equivalencias Lgicas que nos permiten reducir esquemas moleculares

complejos y expresarlos en forma ms sencilla. Tambin son llamadas leyes lgicas, y

LOGICA MATEMATICA 2017 II 5

 SIMPLIFICACIN LGICA

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:

Principales Leyes

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.

(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.

(p q) ~ (~ p ~ q)

Ejemplo: En invierno nieva y hace frio.

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

LOGICA MATEMATICA 2017 II 6

 SIMPLIFICACIN LGICA

(p q) (~p 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.)

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.

Cuadro 2: LEYES DE PROPOSIONES LOGICAS

Disyuncin Conjuncin

ppp Idempotencia ppp

pqqp Conmutativa pqqp

p (q r) (p q) r Asociativa p (q r) (p q) r

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

p (q r) (p q) (p r) p (q r) (p q) (p r)
disyuncin respecto a la Distributiva conjuncin respecto a la
conjuncin disyuncin

p~pt Negacin p~pt

pcp Ptp
Identidad
c es elemento neutro de la v t es elemento neutro de la

ptt Identidad de t y c pcc

~ct Negacin de c y t ~tc

Involucin
~~pp
(doble negacin)

Leyes de
~ (p q) ~ p ~ q ~ (p q) ~ p ~ q
De Morgan

LOGICA MATEMATICA 2017 II 7

 SIMPLIFICACIN LGICA

III. EJERCICIOS DE APLICACIN

Simplificar las siguientes expresiones:

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

Solucin:

[(~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. [ ( p ~ q ) ~ p ] q

Solucin:

~ [~ (~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. [(p q) ~r] v [p (q ~r)]

Solucin:

[~ (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

LOGICA MATEMATICA 2017 II 8

 SIMPLIFICACIN LGICA

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

LOGICA MATEMATICA 2017 II 9

 SIMPLIFICACIN LGICA

1
LOGICA MATEMATICA 2017 II
0
 SIMPLIFICACIN LGICA

IV. CONCLUSION

V. BIBLIOGRAFIA

1
LOGICA MATEMATICA 2017 II
1