Universidad Alas

Peruanas
SEDE FILIAL - CHICLAYO

LGICA
LIC. MAT. EDWIN RAFAEL VALLEJOS MENDO

LGICA MATEMTICA
La lgica proposicional a utilizando una
representacin primitiva del lenguaje,
permite representar y manipular aserciones
sobre el mundo que nos rodea. La lgica
proposicional permite el estudio del
razonamiento, a travs de un mecanismo
que primero evala enunciados simples y
luego enunciados complejos, formados
mediante
el
uso
de
conectivos
proposicionales.

Enunciado: Es cualquier frase u

oracin.
*Jos es deportista
* viva el Per!
*Cmo te llamas?
* 3x + 12 = 10
Proposicin: Es un enunciado que tiene la
propiedad de ser verdadero (V) o falso (F), pero
nunca verdadero y falso a la vez. Se representa
con letras minsculas que denominamos
variables.
Ejemplo:
p : El nmero 343 es divisible por 5. ( F )
q : Miguel Grau naci en Piura.
(V)

Ejercicios :
1. Cules de los siguientes enunciados son
proposiciones?
I. Todos los hombres son mortales
II. 4 > 7
III. Hola! Cmo estas?
IV. x +2 = 5
V. El nmero uno no es primo.
a) Todos

b) I , II y V

c) I y II

d) III y V

2. De las sgtes expresiones

Cules no son proposiciones?
I. 2 +
9 >1
II. Gracias!
III. Un metro cbico equivale a 100 litros.
IV. 3x + y = 12
a) Todos
d) II y IV

b) I y II
e) N.A

c) II y II

PROPOSICIONES SIMPLES Y COMPUESTAS

PROPOSICIN SIMPLE: Llamada tambin
atmica o elemental, expresa una sola idea y se
representa por una sola variable (tienen un solo
sujeto y un solo predicado).
Por ejemplo:
p: "15 es divisible por 3 " es una proposicin
simple o atmica.
q: "Francisco Bolognesi Muri el 7 de Junio" es
una proposicin simple o atmica

PROPOSICIN COMPUESTA: Llamada tambin

molecular o coligativa, esta formadas por dos o mas
proposiciones simples unidas por conjunciones
gramaticales (conectivos) o afectados por el adverbio
de negacin NO. As, por ejemplo:
a.
CONECTIVO
Encontramos dos enunciados. El primero (p) nos
afirma que Pitgoras era griego y el segundo (q) que
Pitgoras era gemetra.
b.

No es el caso que todo impar sea primo.

Es tambin una proposicin compuesta.

NOTACIN Y CONECTIVOS LGICOS

A partir de proposiciones simples es posible
generar otras, Es decir que se puede operar con
proposiciones, y para ello se utilizan ciertos
smbolos llamados conectivos lgicos.
Nombre

Smbolo

Negacin
Conjuncin
Disyuncin
Condicional
Bicondicional

Se lee
No../ no es cierto
y..
o
Si. entonces
si y solo si

Ejercicio :
1. Indica si las siguientes son simples (S) o
compuestas (C ).
I. Alfonso Ugarte se lanz del morro.
II. Sporting Cristal es el nuevo campen del ftbol
peruano.
III. 3 2
IV. Grau fue piurano y peruano.
a)SSSC

b)SSCS

c)SCSC

d)SSCC

Tablas de verdad de los conectivos lgicos

pq

pq

pq

pq

(TVV) la tabla de valores de verdad debe

consignar todas las combinaciones posibles.
i.e
2 n , donde
n = # de proposiciones.
Un esquema lgico puede ser:
Contingente: verdadero al menos una sola vez.
Contradictorio: Siempre falso.
Tautolgico: Siempre verdadero

Ejemplo: Si analizamos la proposicin

t: (pq) (~ p q) realizando su tabla de
verdad:
P

(p q)

( ~ p q)

Matriz principal
Es una Tautologa

EQUIVALENCIAS Y LEYES LGICAS.

Existen varias equivalencias de la lgica proposicional,
las cuales se conocen como leyes de equivalencia.
Dos formulas F1 y F2 son equivalentes si: F1 F2
resulta ser una tautologa. Y se denota F1 F2
Ejemplo.
Las proposiciones p q y ~ (p ~ q) son equivalentes,
como vemos realizando la tabla de valores
correspondientes:
p q ~(p ~
p
q
p q (p ~ q)
q)
V
V
F
F

V
F
V
F

V
F
V
V

F
V
F
F

V
F
V
V

V
V
V
V

Podemos concluir entonces que: ( p q ) y ~ ( p ~ q)

Ley de
Frmula
Ley de
Frmula
son
equivalentes.
equivalencia
equivalencia

( p q ) ~ ( p ~ q)
Conmutacin
La
siguiente tabla muestra estas leyes. p(qr)
pq = q p
pq = qp

Asociacin

Idempotencia

(p q) r =
p(qr)
(p q) r = p
(qr)
p p = p
pp = p

Distribucin

= (pq) (p

r)
p(q r) = (pq)
( p r)

Complementa p p = F
cin
p p = V
Identidad

Involucin
Implicacin

p=p
p q = p q

Absorcin

Doble
Implicacin

p q = (p q)

De Morgan

p F = p
p V = p
pp q) = p
p(pq) = p
p( pq) = pq
( p q) = p q
(p q) =
p

Ley de equivalencia

Frmula

Conmutacin

pq = q p
pq = qp

Asociacin

(p q) r = p(qr)
(p q) r = p (qr)

Idempotencia

p p = p
pp = p

Involucin
Implicacin

p=p
p q = p q

Doble Implicacin

p q = (p q) (q p)

Ley de
equivalencia

Distribucin
Complementaci
n
Identidad
Absorcin

De Morgan

Frmula

p(qr) = (pq) (p r)
p(q r) = (pq) ( p
r)
p p = F
p p = V
p F = p
p V = p
pp q) = p
p(pq) = p
p( pq) = pq
( p q) = p q
(p q) = p q

simblicas , las cuales representan enunciados

Por ejemplo:
Simplificar { [ (p q)
Solucin

] p}

{ [ (p q) p ] p }
{ [ p (p q)] p } ley
conmutativa
{ [ p (p q)] p }
ley
implicacin
{ [ p (p q)] p }
ley
absorcin
{ [ p ] p }
ley absorcin

{ F }
ley
complementacin
V