UNIVERSIDAD CIENTÍFICA DEL PERÚ

FACULTAD DE NEGOCIOS Y CIENCIAS POLÍTICAS

ESCUELA ACADÉMICO PROFESIONAL DE ADMINISTRACIÓN, CONTABILIDAD Y DERECHO

SESIÓN N° 01

LÓGICA PROPOSICIONAL

1. Considere los enunciados representados por las siguientes proposiciones y expréselos en

español

p: 4 es un número primo y q: 4 es divisor de 32

a) p ∧ q b) q ⇒ ∼p c) ∼p ⇔ q
d) ∼p ∨ q e) ∼p ⇒ ∼q f) (q ∧ ∼p) ∨ ∼q

2. Escriba en forma simbólica los siguientes enunciados:

a) Si las exportaciones disminuyen entonces bajarán las utilidades

b) Los precios son altos si y sólo sí los costos aumentan
c) Si la producción aumenta entonces bajarán los precios
d) Si aumenta la demanda esto implica que aumenta la oferta y viceversa
e) Si la contaminación aumenta entonces existirá restricción vehicular adicional.

3. ¿Qué condiciones debe satisfacer p y q para que la siguiente proposición sea :

a) [ ( q ⇔ p ) ∧ ∼ q ] ⇒ ( p ∧ ∼ q ) Falsa
b) [ (∼ p ⇒ q ) ⇒∼ r ] v [ ∼ q ⇒ r ] Falsa
c) { ~p ∧ ( p v q ) } ∧ [ p ⇔ q ] Verdadera

4. Si p y r son proposiciones verdaderas y q es falsa, determine el valor de verdad de :

a) [ ( p ∧ ∼ q ) v ∼ r ] ⇒ q
b) [ (∼ r v q ) ∧ ( r v ∼ p) ] ⇔ ∼ r
c) [ (∼ p ⇒ q ) ⇒ ∼ r ] v [ ∼ q ⇒r ]

5. Si se sabe que p es falsa, q es verdadera y que r es falsa, determine el valor de verdad de

las siguientes proposiciones:
a) (p ∧ ∼q) ⇒ r
b) (∼p ⇒ ∼r ) ∧ q
c) (p ∧ ∼r ) ⇔ q
d) ∼(∼p ⇒ r ) ∧ (∼r ∨ p)

6. Considere las proposiciones, p: Él es Ingeniero Comercial, q: Él es Informático, r: Él es

empresario. Escriba en forma simbólica los siguientes enunciados:

a) Él no es Ingeniero Comercial ni Informático, pero si Empresario.

b) Él no es Ingeniero Comercial y es Informático.
c) Ser Ingeniero Comercial o Empresario es lo mismo que ser Informático.
d) Si él es Ingeniero Comercial e Informático, entonces es Empresario.
e) Si no es Ingeniero Comercial y es Informático, entonces es Empresario.
f) Es Ingeniero Comercial sólo si es Economista y Empresario.
 UNIVERSIDAD CIENTÍFICA DEL PERÚ
FACULTAD DE NEGOCIOS Y CIENCIAS POLÍTICAS
ESCUELA ACADÉMICO PROFESIONAL DE ADMINISTRACIÓN, CONTABILIDAD Y DERECHO

7. Demuestre que los esquemas p ⇒ ( q ∨ r ) y ( p ∧ ∼q ) ⇒ r son lógicamente

equivalentes.

8. Construir las tablas de verdad de y verificar cuales de ellas son tautologías.

a) [(p ∧ ∼q) ⇒ q ]⇔ (p ⇒ q)
b) (p ⇒ q) ⇔ [(∼p ⇒∼ q)]
c) [p ∧ (p ⇒ q) ] ⇒q

9. Determine el valor de verdad de las proposiciones p, q y r en cada uno de los siguientes

Casos y determine si es tautología, contradicción o indeterminación.
a) [ ∼ ( p ⇒ q ) ∧ ( r ∨ q ) ]
b) ( p ∨ q ) ↔~ ( p ∨ q )
c) ~[ ( p∨ q )↔ ~( p ∨ q ) ]
d) { [ ( p ∧ q ) ⇒ ( p ∧ r ) ] ∨ ( p ⇒ r ) }
e) { [ ( p ∨ q ) ∧ ( p ⇒ r ) ] ⇒ [ ( p ∧ q ) ∨ ( q ⇒ r ) ] }
f) { ∼[ p ∧ ( q ⇒ r ) ] ∨ [ ( p ∨ q ) ⇒ ∼( p ∧ r ) ] }

10. Determine si las siguientes proposiciones son equivalentes o no.

a) [(p ∧ ∼q) v ∼ (q ∧ ∼p)] con [(p ⇒ q)⇒(q ⇒ p) ]

b) (p ⇔ q) con (∼p ⇔ ∼q)
c) [p ⇒ (q v r)] con [(p⇒ q) v (q⇒ r)]
d) [p ⇒ (q ∧ r)] con [∼p v (q ∧ r)]
e) [∼ (p v q)] con (∼p v ∼q)

11. Sean p y q dos proposiciones distintas , si (p v q) es falsa entonces:

a) p es verdadera y q es falsa
b) p es verdadera y q es verdadera
c) p es falsa y q es falsa
d) p es falsa y q es verdadera
e) Ninguna de las anteriores