UNIVERSIDAD CATÓLICA DE CUENCA

FACULTAD DE FILOSOFÍA Y TEOLOGÍA
“CARDENAL ECHEVERRÍA”
EXAMEN DE: LÓGICA SIMBÓLICA
FINAL CALIFICACIÓN
DOCENTE: Rodrigo Reinoso

CARRERA ___________________________________
NOMBRE ____________________________________
FECHA ____________________

1. Identifica si las siguientes formulas están bien o mal formadas. Justificar la
respuesta (4 puntos)

 ͠ P^

 (R˅S) ^ (P˅Q)

 (P S) (R˅Q)

 ͠ (P ^Q) ^ ͠ Q

2. Escribe en el espacio correspondiente el valor de verdad que tendría cada uno de
los siguientes enunciados sabiendo que “p” es verdadero y “q” es falso.

 ENUNCIADO 1: ( ͠ P ^ Q)

 ENUNCIADO 2: (͠ Q ˅ P)

3. Traduce al lenguaje de la lógica de enunciador el siguiente argumento.

O bien Jorge estudia y obtiene buenas calificaciones; o bien se pone a
trabajar y no recibe apoyo económico de sus padres

A) Identificar las proposiciones
B) Identificar los conectores
C) Traducir a lenguaje simbólico el enunciado

Av. Américas y Tarqui, Cuenca – Ecuador. Tel: (593) 7 2830751
www.ucacue.edu.ec