MATEMATICA LOGICA PROPOSICIONAL

Profesor: Mauro R. Ramos Valdivia

LGICA PROPOSICIONAL
1. Definicin.- Es el estudio de los mtodos que aplican
definiciones y leyes con el propsito de determinar la
validez o invalidez del razonamiento.
2. Enunciado.- Es toda frase, expresin u oracin que se
utiliza en el lenguaje comn.
+ T eres lo mximo
+ 7 3 = 4
+ Manuel es futbolista
+ 5x 7 = 13
+ Cuntos aos tienes?
+ Viva Arequipa!
3. Proposicin.- Llamado tambin enunciado cerrado, es
una expresin coherente que se caracteriza por el
hecho de poseer un nico valor de verdad (V) o
falsedad (F) pero no ambas posibilidades al mismo
tiempo. Generalmente se denotan con letras
minsculas, como p, q, r, s, t, ...
+ p: Toledo es Arequipeo ( F )
+ q: -2 < 8 ( V )
+ 15 es divisible por 3 ( V )
NOTA c : Aquellos enunciados que indican una pregunta, una
orden, mandato o una exclamacin, no son proposiciones
lgicas ya que no pueden calificar, como verdaderas (V) o
falsas (F)
+ Qu es el lgebra?
+ Retrate de mi lado
+ hola que tal!
+ En qu mes hablan menos las mujeres?
NOTA - : Aquellos enunciados que usan las palabras el ,
ella o los smbolos x, y, z,... no tienen la propiedad de ser
verdaderos o falsos; por lo tanto no son proposiciones, a este
tipo de enunciados se les denomina enunciados abiertos.
+ l domina la matemtica
+ x 5 = 8
+ y + 2 < 10
4. Clases de proposiciones
4.1. Proposicin simple o atmica.- Si expresa una
sola idea.
+ (-2) = 2
+ 19 es un nmero primo
4.2. Proposicin compuesta o molecular.- Si
expresa ms de dos ideas.
+ 18 es par o 18 es primo
+ si estudias entonces triunfars
+ Yo ingres y ella se cas
5. Conectivos lgicos.- Son palabras o smbolos que
enlazan proposiciones simples sin formar parte de ellas.
CONECTIVO SIMBOLO SE LEE
- Negacin
- Conjuncin
- Disyuncin inclusiva
- Condicional
- Bicondicional
- Disyuncin
exclusiva
~
.
v




No
Y
O

Si entonces
Si y slo si
O bien o bien
NOTA : Si se tienen n proposiciones simples; para
determinar el nmero de filas que resultan de todos los
arreglos posibles de verdaderos (V) y falsos (F) se usa:
Donde:
N = nmero de filas
n = nmero de proposiciones

5.1. Negacin.- La negacin de una proposicin,
consiste en cambiar el valor de verdad que
tiene una proposicin original. Dada una
proposicin p su negacin se denota ~p.
Ejemplo:
p: 19 es un nmero impar
q: 19 no es un nmero impar
Palabras usuales: no; nunca; jamas; es falso que; no es
posible que; es imposible que; es mentira que; no es cierto
que; de ninguna manera; es absurdo que; etc.
Tabla de verdad:
p ~p
V F
F V
5.2. Conjuncin.- Cuando el conectivo es de la forma: y,
pero, adems, tambin, sin embargo, no obstante, tal
como, al igual que, as como, incluso, aunque, a la vez,
etc. Ejemplo:
p: Ral es ingeniero
q: Samuel es mdico
p.q: Ral es ingeniero y Samuel es mdico
Tabla de verdad:
p, q p . q
V V V
V F F
F V F
F F F
La conjuncin es verdadera slo si sus componentes son
verdaderas, en otro caso ser falsa
5.3. Disyuncin inclusiva.- dbil, se presenta cuando es
posible que sus miembros componentes sean
aceptados a la vez; y cuando el conectivo es de la
forma: o, salvo que, a menos que, excepto que, etc.
Ejemplo:
p: Jos estudia
q: Jos trabaja
p v q: Jos estudia o trabaja
Tabla de verdad
p, q p v q
V V V
V F V
F V V
F F F

La disyuncin es falsa slo si sus componentes son falsas en,
en otros casos ser verdadera.

N = 2
n
MATEMATICA LOGICA PROPOSICIONAL

Profesor: Mauro R. Ramos Valdivia

5.4. Disyuncin exclusiva.- o fuerte, se presenta cuando slo
uno de sus miembros puede ser aceptado, el otro queda
invlido; y cuando el conectivo es de la forma: o ... o, o
bien ... o bien, o es que ... o es que, etc.
p: nac en el Per
q: Nac en el Ecuador
p q: Nac en el Per o en el Ecuador
r s: Jorge va al cine, bien con Edith o bien con Gabriela
Tabla de Verdad:
p, q p q
V V F
V F V
F V V
F F F

La disyuncin exclusiva es verdadera slo si sus componentes
tienen valores diferentes, caso contrario ser falsa

5.5. Condicional o implicacin.- Directa; cuando el conectivo
es de la forma: si entonces, por lo tanto, por
consiguiente, luego, en consecuencia, por ello, implica
que, de modo que, es obvio que,. Etc.
p: Jos es arequipeo
q: Jos es Peruano
p q: Si Jos es arequipeo, entonces Jos es Peruano
Tabla de Verdad:
p, q p q
V V V
V F F
F V V
F F V

La condicional es falsa slo si su antecedente es verdadero y
su consecuente es falso, en otros casos ser verdadero
5.6. Bicondicional o doble implicacin.- Cuando el conectivo
es de la forma: si y slo si, siempre y cuando, es idntico
a, equivale a que, es, entonces y slo entonces, siempre
que y solo cuando, es una condicin necesaria y
suficiente, etc.
p: 3 es impar
q: 4 es par
p q: 3 es impar si y slo si 4 es par
Tabla de verdad
p, q p q
V V V
V F F
F V F
F F V

La bicondicional es verdadera slo si sus componentes son
iguales en, en otro caso ser falso.

6. Tipos de Proposiciones:
6.1. Tautologa.- si al evaluar todas las posibles
ordenaciones de los valores veritativos de las
variables proposicionales que la componen
siempre resulta verdadero.
6.2. Contradiccin.- si al evaluar todas las
ordenaciones de los valores de verdad de las
variables proposicionales que la componen
resulta falso.
6.3. Contingencia.- si su tabla de verdad contiene
al menos un verdadero y al menos un falso.

7. Leyes del lgebra de proposiciones
+ Idempotencia
p . p p
p v p p
+ Conmutatiava
p . q q . p
p v q q v p
+ Asociativa
(p . q). r q .(p . r)
(p v q)v r q v(p v r)
+ Distributiva
p .(q v r) (p . q)v(p . r)
p v(q . r) (p v q).(p v r)
+ Morgan
~(p . q) ~p v ~q
~(p v q) ~p . ~q
+ Complemento
p . ~p F (Contradiccin)
p v ~p V (Tercio excluido)
~ ~p p (doble negacin)
+ Identidad
p . V p
p . F F
p v V V
p v F p
+ Implicacin
P q ~p v q
+ Doble implicacin
P q (P q) . (q p)
P q (P . q) v (~p . ~q)
+ Absorcin
p .(p v q) p
p v(p . q) p
p .(~p v q) p . q
p v(~p . q) p v q










MATEMATICA LOGICA PROPOSICIONAL

Profesor: Mauro R. Ramos Valdivia

EJERCICIOS PROPUESTOS

1. De las expresiones siguientes, cuntas son
proposiciones?
+ Toledo es presidente
+ Se siente la brisa
+ 5 3 = 53
+ x 7 = 3x + 2
+ Lima es la capital del Per
A)1 B)2 C)3 D)4 E)5
2. Cuntas de las siguientes NO son proposiciones
+ Qu tal Calor!
+ Ser cierto esto?
+ 2 + 3 = 5
+ Un cuadrado es un polgono
+ Cuzco es la capital de Bolivia
A)1 B)2 C)3 D)4 E)5

3. Indicar cuntas de las que se presentan son
proposiciones simples.
+ Si 8 es par entonces 9 es impar
+ el da tiene 24 horas
+ La capital del Per es Lima
+ La adicin es una operacin
+ 150 es mltiplo de 5 y 49 es de 6
A)1 B)2 C)3 D)4 E)5

4. De las proposiciones dadas a continuacin, Cules son
compuestas?
I. Me voy al cine o sino al teatro
II. Lima est en la costa
III. Si me caso, entonces no ser soltero.
IV. 2 = 8; y adems 2 = 16
V. Leo el libro y aprendo la leccin

5. Se sabe que la proposicin P es falsa; la proposicin
q es verdadera y la proposicin r es verdadera;
entonces los valores de verdad de las proposiciones
siguientes es:
+ p . ~q
+ ~p . q
+ ~p . ~q
+ (p . q) v r
+ (p v q) v ~r
+ (~p v ~q) . r
A) VVFVFV
B) VVFFVV
C) FVFVVV
D) FFVVFV
E) VFVFVF
6. Sabiendo que las proposiciones p, q, r, s, son
respectivamente V,V,F,F, indicar el valor de verdad de
cada proposicin mostrada a continuacin:
+ (p . q) v (r v s)
+ (p . r) v ~r
+ [~p v (r . s)] . ~q
+ [(p v q) . ~r] . (q . r)
A) VVFV
B) VFVF
C) FVFV
D) FFFV
E) VVFF
7. Se sabe que p es V, q es V; r es F; s es V;
entonces indicar cuntas de las proposiciones que se
indican a continuacin son verdaderas
+ (p . q) v ~r
+ (p v r) . ~q
+ (r . q) v ~p
+ (p v q) . (p v r)
+ (~p v ~q) . ~r
+ [(p . q) v (q v r)] v (q . p)
A)1 B)2 C)3 D)4 E)5
8. Si p es V; q es F; r es V; s es F; seale el valor de
verdad de cada una de las proposiciones siguientes:
I. p q
II. (p r) s
III. ~p ~r
IV. p ~s
V. (p ~q) r
VI. (p s) ~q
A) VVFFVV
B) FVFVFV
C) VFFVVF
D) FFVVVV
E) VVFFVV

9. Indicar cuntas de las siguientes proposiciones
mostradas a continuacin son verdaderas si P es F; q
es F y r es V:
+ (p q) r
+ (p ~r) q
+ (p q) ~r
+ (p q) ~p
+ (~p ~q) (~q r)
A)1 B)2 C)3 D)4 E)5

10. Se sabe que las proposiciones p, q, r, son verdaderas,
indicar el valor de verdad de cada una de las siguientes
proposiciones
+ (p . q) r
+ ~p (q v r)
+ (p v r) q
+ ~r (~p q)
+ (~p ~r) [(p . ~q) ~r]
A) FVFVF
B) VFVFV
C) VVFFV
D) VVVVV
E) VVFFV

MATEMATICA LOGICA PROPOSICIONAL

Profesor: Mauro R. Ramos Valdivia

11. Si las proposiciones mostradas a continuacin: ~p; ~q;
~(~r); son verdaderas, seale el valor de verdad de cada
caso:
+ (p . q) r
+ (~p ~r) q
+ [(p . q) r] (~p ~r)
A) VFV
B) VVV
C) FFF
D) VVF
E) FVV

12. Si se sabe que la proposicin (p.q) es verdadera,
entonces cuntas de las proposiciones dadas son falsas:
+ (p v q)
+ (p q) . q
+ ~p (p v q)
+ ~q (p . ~p)
+ [(p v q) (p . q)] (p ~q)
A)1 B)2 C)3 D)4 E)5

13. Siendo la proposicin (~p . ~q), verdadera; entonces la
proposicin:
[(p v ~q) (~p v q)] (p . ~q) ser
A) Verdadera B) Falsa C) depende de p
D) depende de q E) Ninguna

14. Considerando que la proposicin (pq) es falsa, indicar
el valor de verdad en cada caso:
+ [(p ~q) . p] . (p v q)
+ (p . ~q) [(~p v q) q]
+ [(p . q) q] (p v ~q)
A) FVF
B) VFV
C) VVF
D) VVV
E) FFV

15. Si la proposicin (~p q)es falsa; seale lo correcto
A) (p . q) p: es falso
B) (p v q) p; es verdadero
C) (p v ~q) p; es verdadero
D) (~p v q) q; es verdadero
E) Todas son falsas

16. Si las proposiciones: (p . q); ~ (rs); son verdaderas,
indicar las proposiciones falsas:
I. (p q)
II. (p q) . s
III. (p s) r
IV. (p . q) v (r s)
V. [(p . s) (q v r)] (p v q)
A) I y II B) II y IV c) Todas
D) II y III E) Ninguna

17. Sabiendo que: (p q); (p v q) son verdaderas; qu
podremos decir de la proposicin?
[(p . q) v p] [~p v (p q)]
A) Es verdadera B) es falsa
C) Depende de p D) depende de q
F) Depende de p y q

18. Construir la tabla de verdad correspondiente e indicar si
es tautologa, contradiccin o contingencia:
+ ~(~ p . q) q
+ (p . q) (p q)
+ (p q) . (~p v q)
+ [(p v q) q] q
+ ~(p . q) [(p v r) q]
+ (p q) (q . r)
+ (~p . ~r) q
+ (p r) . (p q)
+ [(p v q) ~p] . p
+ [(p v q) ~p] . p
+ [(p . r) (q . ~r)] ~p


EJERCICIOS ADICIONALES

19. Evaluar el siguiente esquema molecular y diga cuntas
verdades tiene el resultado.
[~p ~(q . r)A[(r ~q)v p]
A) 2 B) 5 C) 6
D) 7 E) Ninguna

20. Si la proposicin compuesta:
(p . q) (r v t) es falsa
Indicar las proposiciones que son verdaderas.
A) p, r B) p, q C) r, t
D) p, q, r E) q, t

21. Hallar la proposicin equivalente a: No es cierto que ,
hace fro y no se congele.
A) Hace fro o no congela
B) No hace fro o no congela
C) Hace fro y no congela
D) No hace fro o congela
E) Hace fro o congela

22. Sabiendo que la proposicin compuesta:
p (~r v s) es falsa
Indicar cuales de las siguientes proposiciones son
verdaderas
I. t (p v s)
II. p r
III. ~s t
IV. r p
A) I y II B) II y III C)I,II y III
D) I,II y IV E) Todas


MATEMATICA LOGICA PROPOSICIONAL

Profesor: Mauro R. Ramos Valdivia

23. Si la proposicin:
(p ~q)v (~r s) es FALSA
Deducir el valor de verdad de:
I. (~p . ~q) v ~q
II. [(~r v q) . q] [(~q v r). s]
III. (p r)[p v q) . ~q
A) FVV B) FFV c) VFV
D) FFF E) VFF

24. Sabiendo que: rAsV, simplificar:
{[(r v s).(~p v q)].[(r . s)v ~q]}v(rs)
A) ~p . ~q B) ~p v q C) ~p v ~q
D) p . ~q E) ~p q

25. Simplificar la expresin:
[p ~(q p)] ~q
A) p v ~q B) p . q C) ~p v q
D) ~p . ~q D) p ~q


26. Simplificar:
[~(p q) ~(q p)] . (p . q)
A) q B) ~q C) p
D) ~p E) p . ~q
27. Al simplificar la proposicin
[~p (q . ~p)](~r v ~p)
se obtiene:
A) ~(p . r) B) p . ~r C) ~p . q
D) q v ~r E) ~p v q v r

28. Si el siguiente esquema es falso:
{[(p . q) r] . s} (q v r)
Hallar el valor de verdad de:
I. [(p v s). q](r v s)
II. p [q (r . s)
III. (~p . q){p v(~q v r)}
A) VVV B) VFV C) FVF
D) FFV E) FFF

29. Dado: p # q {[(p q) p]v q}.p
Simplificar: [(~p . r) # q] # (p q)
A) p v r B) ~p . r C)~p v r
D) p . ~r E) p v ~r

30. Dado: p - q [((p q) q)v q]. p
Simplificar:
{[(~p - q).(r - ~q)]-(p q)} (p v q)
A) p B) ~q . p C) ~p . r
D) ~p E) r p

31. Si se define p q , por la tabla:

p q p q
V V V
V F V
F V F
F F V
Simplificar:
M= {[(~p q) p] (q p)}
A) p v q B) p q C) p . q
D) ~p v ~q E)p

32. La negacin del siguiente enunciado:
Si Luis es aceptado por Jenny, se casar, es.
A) Si Luis no es aceptado por Jenny, no se casar
B) Luis no es aceptado por Jenny o no se casar
C) Luis no se casar o es aceptado por Jenny
D) Luis no se casar y es aceptado por Jenny
E) Ms de una es correcta


33. Juan est melanclico porque vive alejado de su
familia
Al negar el enunciado anterior, su equivalente es:
A) No es cierto que, Juan vive alejado de su familia
porque no est melanclico.
B) Juan vive alejado de su familia y est melanclico
C) Juan no est melanclico y vive alejado de su familia
D) Juan est melanclico pero no vive alejado de su
familia
E) Ms de una es correcta

34. El enunciado: Ni eres artista de cine ni estrella de
ftbol, su forma negada equivale a:
A) No es cierto que seas artista de cine y estrella de
ftbol
B) Eres artista de cine y estrella del ftbol
C) No eres artista de cine o no eres estrella de ftbol
D) Eres artista de cine o estrella de ftbol
E) Eres artista de cine o no eres estrella del ftbol

35. Cules de las siguientes afirmaciones son equivalentes a:
Hoy no veo televisin ni estudio porque no hay luz
I. Hay luz dado que hoy veo televisin o estudio
II. Hay luz y no es cierto que hoy vea televisin o
estudie
III. Hay luz o no es cierto que hoy vea televisin o
estudie
A) I y III B) Slo II C) Slo I
D) II y III E) Todas

36. Dadas las preposiciones:
p: Marco es comerciante
q: Marco es prspero industrial
r: Marco es ingeniero
Simbolizar el enunciado:
Si no es el caso que, Marco sea un comerciante y un
prspero industrial; entonces, es ingeniero o no es
comerciante
A) ~(p . q)(r v p)
B) (~p . q)(r . q)
C) ~(p v q)(r v p)
D) ~(p . q)(r v ~p)
MATEMATICA LOGICA PROPOSICIONAL

Profesor: Mauro R. Ramos Valdivia

E) (~p . ~q)(~r v p)

37. Si: p: Luis compra pan
q: Luis toma desayuno
r: Luis se levanta temprano
Simbolizar:
Si Luis se levanta temprano y no compra pan, implica
que no podr tomar desayuno; pero, que haya comprado
el pan es condicin necesaria y suficiente para que se
halla levantado temprano
A) [(r . ~p)v ~q]. [(p r)
B) [(r . p) ~q].(q _ r)
C) [(r . ~p) ~q].(p r)
D) [(r . ~p) q].(r p)
E) [(p . q) r]. p

38. Si la proposicin compuesta
(~p . r)(r . ~q) es falsa, determinar el valor de verdad
de las proposiciones r, p y q respectivamente.
A) FVV B) FVF C) VFV
D) VVF E) VVV

39. De la falsedad de la proposicin:
(p ~q)v(~r s), deducir el valor de la verdad de las
siguientes proposiciones compuestas:
a) (~p . ~q)v ~q
b) [(~r v q). p][(~q v r). s]
c) (p q) [(p v q). ~q]
A) VFV B) FFF C) VVV
D) VVF E) FFV

40. Si la proposicin:(~p q)v(r A q), es falsa; entonces los
valores de verdad de:
a) (p q)(r A ~q)
b) ~q [(p q). r]
Son respectivamente:
A) VV B) VF C) FV
D) FF E) Indefinidos

41. Si la proposicin:
~[(p . ~r)(r A ~q)] es verdadera. Hallar el valor de la
verdad de:
a) (r . p)A[(p A q)(r v q)]
b) (p q)A(r q)
c) (r . p . q)v(r . q)v q
A) VFV B) FFV C) VVF
D) VVV E) FFF

42. Sabiendo que el valor de verdad de la proposicin
compuesta:
{~[(p . r)q].[(p v q)As]}{(sA pt}
siempre es falso, determinar el valor de verdad de la
siguiente proposicin:
{[(~p A q)Ar] ~[q (t p)]}A(p A q)
A) V B) F C) V F
D) Tautologa E) Contradiccin
43. Si definimos: p - q ~(p q) entonces si:~p -(~p q)
es verdadera; determinar el valor de verdad de:
a) ~(q - p) b) ~q - ~p
A) VF B) VV C) FV
D) FF E) N.A

44. Utilizando las Leyes del lgebra de proposiciones,
determinar el equivalente ms simple de la expresin. (p
. q)v[(~p . ~q)v p]
A) p v q B) ~p . q C) p q
D) q p E) p . ~q

45. Cul es equivalente ms simple de:~(p q)v ~(p v q)
A) q B) ~q C) p
D) ~p E) p v q