2

INTRODUCCIN
La Lgica es, probablemente, una de las ciencias de mayor importancia para la civilizacin humana. El
desarrollo que ha alcanzado en este ltimo siglo y principalmente estas ltimas dcadas, la ha convertido en el
imprescindible referente del desarrollo cientfico y tecnolgico del mundo contemporneo.
LGICA PROPOSICIONAL
CONCEPTO
Estudio de la aseveracin a travs del lenguaje.
ENUNCIADO
Es toda frase u oracin que se utiliza en el len-
guaje comn, por ejemplo:
Lima es la capital del Per.
El doble de 3 es 5.
Qu hora es?
Auxilio!
x + 2 = 7
ENUNCIADO CERRADO
O PROPOSICIN LGICA
Es toda expresin coherente que se caracteriza
por el hecho de poseer un valor de verdad o veritati-
vo, es decir si es verdadera (V) o falsa (F) sin ambi-
gedad en un determinado contexto.
Generalmente las proposiciones se denotan con
letras minsculas, como: p, q, r, s,...; por ejemplo:
p : Lima es la capital del Per ( V )
q : El doble de 3 es 5 ( F )
Los mandatos, preguntas, exclama-
ciones, no son proposiciones lgicas, ya
que no se pueden calificar de verdade-
ras o falsas.
Ejemplo: Qu hora es?
Auxilio!
OBJETIVOS
Reconocer una proposicin lgica.
Clasificar las proposiciones lgicas.
Manejar las tablas de verdad.
Evaluar los esquemas proposicionales.
Deducir las leyes de la lgica proposicional.
28
3
ENUNCIADO ABIERTO
Es aquel enunciado que admite la posibilidad de
convertirse en una proposicin lgica, cuando cada
variable asume un valor determinado. Ejemplo:
x + 2 = 7
variable
Si: x = 5 5 + 2 = 7 ( V )
Si: x = 3 3 + 2 = 7 ( F )
CLASES DE PROPOSICIONES
1. Proposicin Simple o Atmica
Es aquella proposicin que nos expresa una sola
idea.
Ejemplo:
p : El acero es un metal
q : 5
2
= 25
Se llaman conectivos lgicos a las pala-
bras que sirven para enlazar proposicio-
nes o cambiar el valor veritativo de una
proposicin.
EN EL LENGUAJE COMN
No es cierto que...
...y...
...o...
Si ... entonces ...
... si y slo si ...
SMBOLO
~
.
v

2. Proposicin Compuesta o Molecular

Es aquella proposicin que expresa ms de una
idea o la negacin de una proposicin.
Ejemplo:
Miguel Grau fue marino y peruano.
La carpeta es de madera o metal
Los valores de verdad de una o ms pro-
posiciones se pueden esquematizar por
medio de una tabla de verdad como:
Para una
proposicin
p
V
F
Para dos
proposiciones
p q
V V
V F
F V
F F
Para tres
proposiciones
p q r
V V V
V V F
V F V
V F F
F V V
F V F
F F V
F F F
PROPOSICIONES COMPUESTAS BSICAS
1. Negacin (~)
Ejemplo:
~ p
No es cierto que el sol es un planeta

p p
V F
F V
2. Conjuncin ()
Ejemplo:

q
p
Miguel Grau fue peruano y Pablo Neruda chileno
.

4
Se observa que una conjun-
cin es verdadera slo si sus
componentes son verdaderos,
en otros casos ser falsa. Las
palabras sin embargo,
adems, no obstante, etc.,
equivalen al conectivo ( ) .
p q p q
V V V
V F F
F V F
F F F
.
3. Disyuncin
a. Inclusiva (dbil)
Ejemplo:

p q
Lorena Ramos es modelo o cantante
v

p q p q
V V V
V F V
F V V
F F F
v
Se observa que la
disyuncin inclusiva es falsa
slo si sus componentes son
falsos, en caso contrario es
verdadera.
b. Exclusiva (fuerte)
Ejemplo:

q
p
La puerta est abierta o cerrada
A

p q p q
V V F
V F V
F V V
F F F
A
Se observa que la disyuncin
exclusiva es verdadera slo si
sus componentes tienen
valores veritativos opuestos,
en caso contrario ser falsa.
4. Condicional ()
Ejemplo:
p
q
Si llueve entonces me mojar

p : Antecedente
q : Consecuente
Se observa que la
condicional es falsa slo si
su antecedente es
verdadero y su consecuente
falso, en caso contrario es
verdadera. Las expresiones
p es suficiente para q y q es necesario para
p son equivalentes a (p q)
p q p q
V V V
V F F
F V V
F F V

5. Bicondicional ()
Ejemplo:
p
q
Ir a la fiesta si y slo si tengo ropa nueva.

Se observa que la
bicondicional es verdadera
slo si los valores de verdad
de sus componentes son
iguales, en caso contrario es
falsa.
p q p q
V V V
V F F
F V F
F F V

ESQUEMAS PROPOSICIONALES
Generalmente las proposiciones estarn forma-
das por varias proposiciones simples generando un
esquema proposicional.
Ejemplo:
(p . ~ q) p
(~ p v q) . (q r)
Ejemplo:
Halle la tabla de verdad de: (p v ~ q) q
p q (p ~ q) q
V V V V V V V
V F V V V F F
F V F F F V V
F F F V V F F
v
JERARQUA DE LOS SIGNOS
DE PUNTUACIN:
Coma: Menor jerarqua
Punto y coma
Punto
Dos signos de puntuacin: mayor jerarqua
5
Ejemplo: Formalizar la expresin:
Si recibi su pago entonces comprar su TV, pero
no recibi su pago y se fue triste.
p : Recibi su pago
q : Compra su TV
r : Se fue triste
(p q) . ( ~ p . r)
TIPOS DE PROPOSICIN
1. Tautologa
Un esquema proposicional es una tautologa si
al evaluar todas las posibles ordenaciones de los
valores veritativos de las variables proposiciona-
les que la componen siempre resulta verdadero.
Ejemplo:
Hallar la tabla de verdad de:
[(~ p q) ~ q] ~ p v .
2. Contradiccin
Es una contradiccin si al evaluar todas las or-
denaciones de los valores veritativos de las va-
riables proposicionales que la componen resulta
falso.
Ejemplo:
Hallar la tabla de verdad de:
[(p q) q] ~ q . v .
3. Contingencia
Un esquema proposicional es una contingencia
si su tabla de verdad contiene al menos un ver-
dadero y al menos un falso.
Ejemplo:
Halle la tabla de verdad de:
(p q) p
EQUIVALENCIA LGICA
Se llama equivalencia lgica a toda bicondicio-
nal (p q) que sea una tautologa, denotndose
en tal caso: (p q).
Por ejemplo:
j p (p q) p . v
ESQUEMAS PROPOSICIONALES
LGICAMENTE EQUIVALENTES
Dos esquemas proposicionales se llaman equi-
valentes ( ) si sus tablas de verdad son idnticas:
Determinar si: A :
(p q)
B :
[~ p ~ q]
son equivalentes.
LEYES DEL LGEBRA PROPOSICIONAL
1. Idempotencia
p p p
p p p
v
.
2. Asociativa
, ) , )
, ) , )
p q r p q r
p q r p q r
v v v v
. . . .
3. Conmutativa
p q q p
p q q p
v v
. .
4. Distributiva
, ) , ) , )
, ) , ) , )
p q r p q p r
p q r p q p r
v . v . v
. v . v .
5. De DMorgan
, )
, )
p q p q
p q p q
v .
. v
6. Absorcin
, )
, )
p p q p
p p q p
. v
v .
7. De la condicional
p q p q v
Adicionales:
p p V
p V V
p F p
p p F
p V p
p F F
v
v
v
.
.
.
6
1. Si la proposicin: , ) , ) p q p w s A . v
]
es
falsa, se afirma que la siguiente proposicin:
, ) , ) s p w p q v . v
]
es:
A) Verdadera
B) Falsa
C) No se afirma nada
D) Toma ambos valores de verdad
E) Faltan datos
2. Las letras p, q, r y s representan afirmaciones de
las cuales slo dos son verdaderas. Se sabe lo
siguiente:
I. Si s es verdadera entonces q es verdadera.
II. Si q es verdadera entonces r es verdadera.
III. Si p es verdadera, entonces s es verdadera.
Las verdaderas son:
A) q, s B) p, s C) q, r
D) p, r E) p, q
3. Si la siguiente proposicin compuesta:
, ) p r s . es falsa; entonces, cules de las
siguientes afirmaciones son verdaderas?
I. p: tiene un solo valor de verdad.
II. s: puede ser verdadera.
III. r: es necesariamente verdadera.
A) Slo I B) Slo II C) Slo III
D) I y III E) I y II
4. La subida del precio de la gasolina implica la
subida de pasajes.
La subida de pasajes implica el aumento del
costo de vida.
La crisis econmica implica la subida de ga-
solina.
Cules no son correctas?
I. La crisis econmica implica la subida de
pasajes.
II. La subida del precio de la gasolina implica el
aumento del costo de vida.
III. La subida del pasaje implica la crisis econ-
mica.
A) Slo I B) Slo III C) Slo II
D) Slo II y III E) Slo I y III
5. Sabiendo que p y q son proposiciones con
diferentes valores de verdad, adems:
M p q; v
, ) N p q p; . v
S q p
Cules son los valores de verdad en ese orden?
A) VVV B) VVF C) VFV
D) FVF E) FVV
6. Sabiendo que la proposicin compuesta:
, ) p r s es falsa; v
, ) t p s ; p r; s t; r p. v
Cuntas son verdaderas?
A) 0 B) 1 C) 2 D) 3 E) 4
7. Simplificar: , ) , ) , ) p q q p p q v .
]
A) q B) p q v C) ~q
D) ~p E) p q .
8. Indique cules son tautologas:
I. , ) , ) p q p q . v
II. , ) p p q q .
]
III. , ) , ) p q r p p p q v . v .
] ] ]
A) I B) II y III C) III
D) II E) Todas
7
9. Si: p q: .
p q: v
Simplifique y d el equivalente del siguiente cir-
cuito lgico:
A) p q v B) p q v
C) q q v D) p q .
E) p q
10. Si el siguiente esquema es falso:
, ) , ) p q m r r . A v
]
Indique el valor veritativo de p, q, m y r en ese
orden.
A) VFFV B) VFVV C) VFFF
D) VVFF E) FVVF
1. Sean las proposiciones:
p: Eduardo estudia en la UNI.
q: Eduardo no es vendedor de peridicos.
r: Eduardo no desayuna.
Simbolice el siguiente enunciado y luego simpli-
fquelo: Es suficiente que Eduardo no sea vende-
dor de peridicos o no tome desayuno para que
no estudie en la UNI. Pero si estudia en la UNI
entonces es vendedor de peridicos.
A) , ) p q r .
B)
p q r . .
C) , ) p q r . D) , ) p q r v .
E)
p q v
2. Dado el siguiente esquema molecular:
, ) , ) p q r r p q . A
] ]
Si elaboramos su tabla de verdad, calcule la
diferencia entre el nmero de verdaderos y el
nmero de falsos de su matriz principal.
A) 1 B) 2 C) 3 D) 4 E) 0
3. Si la proposicin s es falsa y el siguiente es-
quema: , ) , ) , ) p q q r p s . v .
]
es
una tautologa, entonces los valores de verdad
de p, q y r son respectivamente:
A) FVV B) VFF C) FVF
D) FFF E) VVV
4. Se define:
p q p*q
V V F
V F F
F V F
F F V
Al simplificar la expresin:
, ) , ) , ) p q * p* q p* q v
]
Obtendremos:
A) p B) p q . C) p q v
D) p q . E) p q v
8
5. Si: , ) a p q q .
, ) , ) b p q p q v .
Simplifique:
, ) , ) , ) T a b a b a b . . . v
]
A) p B) ~p C) q
D) ~q p . E) ~p ~q .
6. Cules de las siguientes proposiciones son tau-
tolgicas?
I. , ) , )
, ,
p q p q p p

+ + + +
] ]
II. , ) , )
, ,
p q p p q q

+ . + .
] ]
III.
, ) , ) p q p q + v
Si adems
, )
p q + , indica no p y no q.
A) I B) II C) III
D) II y III E) Todas
7. Exprese la siguiente proposicin compuesta a
su equivalencia condicional ms simple:
, ) , ) A p q p q A
A) A p q
B) A q p
C) , ) A p q p .
D) , ) A p q p v
E) , ) A p q
8. Simplifique la siguiente proposicin a su equi-
valencia ms simple:
, ) , ) , , , ) , ) p q p q p p q r r q v . . . .
] ]
A) , ) p r q v B) Verdadero
C) Falso D) , ) p q r v .
E) ~q
9. Si el enunciado: Si hay dinero pero hay infla-
cin entonces es suficiente que no haya trabajo,
para que se tenga dinero, es falso: concluimos
que:
A) No hay dinero
B) No hay inflacin
C) No hay inflacin y s dinero.
D) No hay trabajo.
E) Hay trabajo y dinero.
10. Al simplificar:
, ) , ) , ,
t p q q p q p . .
] ]
se obtiene:
A) ~q B) ~p C) ~t
D) p q . E) q t .