Academia Aduni
SEMINARIO DE LÓGICA PROPOSICIONAL
ANUAL SAN MARCOS 2017
ENUNCIADO.- Es toda frase u
oración que se utiliza en nuestro
lenguaje.
PROPOSICIÓN.- Es
enunciado que puede asumir un
valor veritativo, es decir, verdadero
(V) o falso (F) sin ninguna
ambigüedad. Por lo general, a las
proposiciones se las representa
por las letras del alfabeto desde la
letra p, es decir, p, q, r, s, t,... etc.
Observación:
Las exclamaciones, órdenes o
preguntas no son proposiciones
por no poder ser evaluadas como
verdaderas o falsas.
a) ¡Estudia esta lección!
b) ¿Cuál es tu nombre?
c) Prohibido llega tarde.
Ejemplos:
Indique cual (es) de los siguientes
enunciados son proposiciones:
a) 5 + 7 = 16 - 4 ………….…...( )
b) ¡Estudie lógica!................... ( )
c) Los hombres no pueden vivir
sin oxigeno …………….…...( )
d) Ponga atención………....…( )
e) Breña es un distrito de Lima( )
f) 15 < 13……….…………....( )
Anual San Marcos
CLASE DE PROPOSICIONES.-
A) Proposición Simple o
atómica.- Son aquellas
proposiciones que nos expresan
todo una sola idea, carecen de un
conectivo y son afirmativas.
Ejemplo:
p: El número 3 es impar.
B) Proposición Compuesta o
molecular.- Son aquellas
proposiciones que nos expresan
más de una idea y se obtiene de
combinar dos o más proposiciones
simples o de la negación de una
proposición simple.
Ejemplo:
r: Pitágoras era griego y era geómetra
p q
encontramos dos proposiciones; el
primero (p) nos afirma que
Pitágoras era griego y el segundo
(q) que Pitágoras era geómetra.
CONECTIVOS LÓGICOS.- Son
símbolos que niegan una
proposición simple o enlazan
proposiciones simples sin formar
parte de ellas. Los conectivos
lógicos más frecuentes son:
-1-
Academia Aduni Anual San Marcos

CONECTIVOS SINÓNIMOS 1.- NEGACIÓN:

LÓGICOS Dada una proposición p, se
y denomina la negación de p a otra
 También proposición denotada por ~p (se
 Aún lee "no p") que le asigna el valor
 A la vez
Conjunción veritativo opuesto al de p.
 No obstante
( ) Por ejemplo:
 Además
p : Diego estudia matemática
 Pero
 Sin embargo
~p : Diego no estudia matemática
 Aunque
 No es cierto que
Tabla de verdad
Negación  Es falso que p ~p
(~)  No es el caso que
V F
Disyunción O
F V
débil ( V )  A menos que
Disyunción  O….o… 2.- CONJUNCIÓN
fuerte ( Δ ) Dadas dos proposiciones p y q, se
 p es condición denomina conjunción de estas
suficiente para q proposiciones a la proposición
 Si p entonces q p  q (se lee "p y q")
 q si p
Ejemplo.
 Que p siempre
Condicional 5 es un n° impar y 6 es un n° par
que q
 q es condición p  q
p q necesaria para p Tabla de verdad
 En caso de que p q p  q
p entonces q
 p solo si q V V V
 Si y sólo si V F F
 Cuando y sólo F V F
Bicondicional cuando F F F
 Es necesario y
pq suficiente para Ejemplo: Si:
 En el caso , y p: 3 es mayor que 7
sólo en el caso , q : Todo número par es múltiplo de
de que dos.
Entonces:
Estudiaremos a continuación el p  q : 3 es mayor que 7 y todo
uso y significado de los diferentes número par es múltiplo de dos.
conectivos lógicos mencionados: Por ser ambas verdaderas la
conjunción de ellas es verdadera.
-2-
Academia Aduni Anual San Marcos

3.-DISYUNCIÓN INCLUSIVA 4.- CONDICIONAL

La disyunción débil de las La condicional de las
proposiciones p y q es la proposiciones p y q es la
proposición p  q y se lee proposición pq (si p entonces q).
” p o q“ La proposición p se llama
antecedente, y la proposición q se
Ejemplo. llama consecuente de la
Tiro las cosas viejas o que no me sirven condicional.
p  q
Ejemplo:
Tabla de verdad SI apruebo, ENTONCES te presto el libro
p  q
p q p  q
V V V Tabla de verdad
V F V
F V V p q p  q
F F F V V V
V F F
F V V
Ejemplo: F F V
Si p : Hace frío en Invierno ,
q : Napoleón invadió Lima 5.- BICONDICIONAL
Entonces: La bicondicional de las
p  q : Hace frío en Invierno o proposiciones p y q es la
Napoleón invadió Lima. proposición p  q (se lee "p si y
sólo si q")
4.-DISYUNCIÓN EXCLUSIVA
La disyunción fuerte de las Ejemplo:
proposiciones p y q es la p : Karina ingresa a la universidad
proposición pΔq y se lee “o p o q” q : Karina estudia mucho
Entonces:
Ejemplo. p  q : Karina ingresa a la
O Tiro las cosas viejas o que no me sirven universidad si y sólo si estudia
p Δ q mucho.
Tabla de verdad Tabla de verdad
p q p Δ q p q p  q
V V F V V V
V F V V F F
F V V F V F
F F F F F V
-3-
Academia Aduni Anual San Marcos
PROPOSICIONES LÓGICAMENTE LEYES DEL ÁLGEBRA
EQUIVALENTES.- PROPOSICIONAL.-
Dos proposiciones r y s se llaman 1. Idempotencia:
equivalentes si sus tablas de p p p
verdad son idénticas. De ser así p p p
se denota: r  s 2. Conmutativa:
pqq p
Ejemplo. pqq p
Sea r: p  q, recordamos su tabla 3. Asociativa:
de verdad  p  q  r  p  q  r 
p q p q  p  q  r  p  q  r 
V V V 4. Distributiva:
p  q  r    p  q    p  r 
V F F
F V V
F F V p  q  r    p  q    p  r 

Ahora bien, si analizamos la 5. Involutiva:

proposición s: ~p  q, su tabla de (p)≡ p
verdad resulta:
p q ~p  q 6. Del complemento:
V V V p p ≡F ; p  p≡V
V F F
F V V 7. Identidad:
F F V p V  p ; p  FF
p V V ; p  F  p
Como vemos, luego de realizar las 8. De D´Morgan:
tablas de valores veritativos (p  q) ≡  p   q
encontramos que ambas (p q) ≡  p   q
proposiciones tienen el mismo 9. De absorción:
resultado final. Con esto, decimos p   p  q  p
p   p  q  p
que ambas proposiciones son
lógicamente equivalentes, y en
este caso particular lo p(pq) ≡ p  q
simbolizamos: p(pq) ≡ p  q
p  q  ~p  q
10. De la condicional:
También son lógicamente p  q ≡  p q
equivalentes: 11. De la bicondicional:
p q ≡ q   p p  q   p  q  q  p
-4-
Academia Aduni Anual San Marcos

A) VFF B) VFV C) FFF

PROBLEMAS D) FVV E) VVV

1. Confeccionar la tabla de 5. Si la proposición:

verdad de la proposición:
r  s  p  p  q}
 p  q)  p  q
es verdadera y además (pq
A) VFFV B) VFVF C) FFFF es falsa, halle los valores de
D) FVVF E) VVVV verdad de “p”, “q”, “r”, y “s”,
respectivamente.
2. Sabiendo que: (p  q) es
verdadera y que q también A) VFFV B) VFVF C) FFFF
es verdadera, determinar el D) FVVF E) VVVV
valor de verdad de:
6. Se define la proposición:
p  q)   q  q p # q  p  q

A) V B) F C) Indeterminado Hallar cuantas V y F tiene la

matriz principal de:
3. Determinar, en cada caso, si la
información que se da es (p # q  p # q).
suficiente para conocer el valor
de verdad de las siguientes A) 2V y 2F B) 1V y 3F C) 4V
proposiciones compuestas: D) 3V y 1F E) 4F
I. (p  q)  r ; si r es V
II. (p  q p  q ; si q es V 7. Sabiendo que la proposición
(pp) es verdadera, ¿en cual
A) Si, V ; Si, F de las siguientes casos es
B) Si, F ; Si, F suficiente dicha información
C) Si, V ; Si, V para determinar el valor de
D) Si, F ; Si, V verdad de las proposiciones?
E) Si, V ; No
I. p  q  s  r
4. Si la proposición: II. p  q  p  r
pq) rs)r III. q  q  p

es falsa, halle los valores de A) I, II B) III C) I, III

verdad de “p”, “q” y “r”, D) II, III E) I
respectivamente.
-5-
Academia Aduni Anual San Marcos

8. Los valores de verdad de las A) Julio pinta el cuarto de

proposiciones p, q, r y “s” son
respectivamente V, F, F y V.
Obtener los valores de verdad
de:
I. r  (s  p)
II.  (p  r)  r    s
A) VF B) VV C) FV
D) FF E) Indeterminado
9. Dadas las proposiciones:
p : Manuel aprueba sus cursos
q : Manuel va a la fiesta
r : Manuel estudia para su
examen
Simbolizar:
“Si Manuel va a la fiesta
entonces no estudiará para su
examen, pero no es el caso que
vaya a la fiesta y aprueba sus
cursos. De ahí que Manuel
estudie para su examen”.
María o María no está
contenta o María compra la
ropa de Julio.
B) Julio pinta el cuarto de
María, pero María no está
contenta y no compra la ropa
de Julio.
C) Julio no pinta el cuarto de
María y María no está
contenta, por eso, no compra
la ropa de Julio.
D) Julio no pinta el cuarto de
María y María está contenta y
no compra la ropa de Julio.
E) María está contenta y
compra la ropa de Julio, pero
Julio no pinta el cuarto de
María.

A) q  rqp) r Examen de admisión UNMSM 2017 II

B) q  rqp) r
C) q  rqp)r
D) q  rqp)r
E) q  rqp)r

10. Determine cuál de las

siguientes proposiciones es la
negación de la proposición «Si
Julio no pinta el cuarto de
María, María no está contenta
o María compra la ropa de
Julio».

-6-
Academia Aduni Anual San Marcos

PROBLEMAS PROPUESTOS C) (p→q)⋀(r→q)→(p⋁r)⋀q

D) [(p⋀q)⋀ (r → q)]→[(p⋁r)→ p]
1. ¿Cuál de las siguientes E) [(p→q) ⋀ (r→q)]→[(p ⋁ r)→q]
proposiciones son siempre
falsas? 5. Si r = V ; p = V y s = V,
I. pq) pp determine el valor de verdad de
II. pq)q)(pq) las siguientes proposiciones:
III. pqpqpq) a) [(p↔~s)→r]
b) (p→~s) v (r∨s)
A) I, II B) III C) I, III c) [~r∧~(s↔~p)]
D) II, III E) I
A) VVV B) VVF C) FFF
2. Se define: p  q  p  q. D) VFV E) FFV
Además la proposición:
p  p  q  r  q es 6. Si: “t” es falsa y la proposición:
falsa; halle los valores de p, q, rs)ps)pq)tq)
y r, respectivamente. es verdadera, hallar los valores
de verdad de “p”, “s”, “q” y “r”.
A) VFF B) VFV C) FFF
D) FVV E) VVV A) VFFV B) VFVV C) FFFF
D) FVVF E) VVVV
3. Si: “s” es verdadera y la
proposición: 7. Si
s  p  (p  q  p  r p : Juan compra pan
es falsa, halle los valores de q: Juan ingresa a la academia
verdad de “p”, “q”, y “r”. r : Juan se levanta temprano
Simbolizar:
A) VFF B) VFV C) FFF “Si Juan se levanta temprano y
D) FVV E) VVV no compra pan implica que no
podrá ingresar a la academia,
4. Si viene en tren, llegará antes pero que haya comprado el
de las seis. Si viene en coche, pan es condición necesaria y
llegará antes de las seis. suficiente para que se haya
Luego, tanto si levantado temprano”
viene en tren como si viene en
coche, llegará antes de las A) (rp)  qp↔r
seis: B) (rp)  qp↔r
C) (rp)  qp↔r
A) [p⋀(r→q)]→[(p⋁r)→q] D) (rp)  qpr
B)[(p→q)→(r→q)] → (p⋁r→q) E) (rp)  qrp
-7-
Academia Aduni Anual San Marcos