TÉCNICO SUPERIOR UNIVERSITARIO EN TECNOLOGÍAS

COMPUTACIONALES
2o EXAMEN PARCIAL

Nombre __________________________________ Fecha _______________

Instrucciones: Lea cuidadosamente las preguntas y responda correctamente cada una de
ellas, no se permite celular, ni computadora.
1.- ¿Qué es la programación lógica? ​(valor 0.5 puntos)
2.- ¿Qué intenta resolver la programación lógica? ​(valor 0.5 puntos)
3.- ¿Para qué sirve la negación? ​(valor 0.5 puntos)
4.- ¿Para qué sirve la disyunción? ​(valor 0.5 puntos)
5.- ¿Para qué sirve la conjunción? ​(valor 0.5 puntos)
6.- ¿Para qué sirve la implicación? ​(valor 0.5 puntos)
7.- ¿Para qué sirve la doble implicación? ​(valor 0.5 puntos)
8.- ¿Qué aplicaciones tiene este paradigma de programación? ​(valor 0.5 puntos)
9.- Dar la tabla de verdad para la implicación y la doble implicación. ​(valor 0.5 puntos)
10.- Formalizar las siguientes sentencias del lenguaje proposicional. ​(valor 2 puntos)
​I.​ ​Juan compró un libro y un cuaderno

​II.​ ​Si llueve Carlos no va al cine

​III.​ ​Ni María, ni Silvia, ni Juan van al concierto

​IV.​ ​Juan come con Pepe

11.- Interpretar las siguientes proposiciones lógicas en una sentencia comprensible.​(valor 3

puntos)
​I.​ ​Ir (María, concierto) → Ir (Silvia, concierto)

​II.​ ​Ir (María, concierto) ↔ Ir (Silvia, concierto)

​III.​ ​Ver hoy (Nosotros, película) ​∧​Ir mañana (Nosotros, paseo)

​IV.​ ​Come (María, palomitas) ​∨​Come (Juan, palomitas) ​∧ ​¬(Come (María, palomitas)

∨​Come(Juan, palomitas))
12.- Obtener la forma condensada del predicado (aplicando equivalencias). ​(valor 1.5 puntos)
I.​
​ ​(¬p ​∨​q) ​∧​(¬p ​∨​q ​∨​¬r) ​∧​p
​II.​ ​((p → q) → r) → (p → r) ​∧​(q → r)

1.- Permite definir relaciones sobre ciertos dominios dados.Se sustenta en la idea de que un programa puede
ser descripto definiendo ciertas relaciones entre conjuntos de objetos, a partir de las cuales otras pueden ser
calculadas empleando deducción.

2.- L
​ a programación en lógica se ocupa del "que" y no del "como".
3.- ​Negación​.- Genera una fórmula que posee valores lógicos complementarios a los de la fórmula
sobre la que se aplica. Estrictamente no es un conector, pues no conecta dos fórmulas sino que
transforma una.
4.- Disyunción: Genera una fórmula cuyo valor lógico es el “OR” de los valores de las dos fórmulas
que conecta.
5.- Conjunción: Genera una fórmula cuyo valor lógico es el “AND” de los valores de las dos
fórmulas que conecta.
6.- Implicación: Genera una fórmula compuesta no-simétrica que es cierta siempre, salvo cuando el
antecedente es cierto y el consecuente falso.
7.- Equivalencia o doble implicación: Genera una fórmula que es cierta sólo si las dos componentes
poseen idéntico valor.
8.-
● Demostración de teoremas: álgebra y geometría.́Juegos: técnicas de exploración de espacios
de búsqueda .
● Robótica: diseño de robots inteligentes.
● Percepción visual: reconocimiento de contornos y formas.
● Procesamiento del lenguaje natural: reconocimiento y expresión.
● Sistemas expertos: capacidad de "aprender".

9.-

10.-
I. compro(juan, libro)​∧ compro(juan,cuaderno)
II. está(lloviendo)​→ir(carlos, cine)
III. ¬Ir(Maria, concierto) ​∧ ​¬Ir( juan,concierto) ​∧​ ¬Ir(silvia, concierto)
IV. Error no se puede usar expresión lógica
11.-
I. Si maria va al concierto puede que silvia también vaya
II. Si maria va al concierto silvia también irá
III. Hoy veremos una película y mañana saldremos de paseo
IV. Si maria come palomitas juan no come palomitas pero si juan come palomitas maria no
come palomitas.
12.-
I. ¬(q→r) ​∧​¬p
II. ¬p