UNIVERSIDAD DISTRITAL

Facultad de Ingenierı́a
Segundo Parcial - Lógica:
Gerardo Tole-Galvis M.Sc.
Martes 07 de Septiembre, 2021

Observaciones

• Por favor, siga al pie de letra, todos los ı́tem del documento Recomendaciones.

• Envı́e la solución exclusivamente al correo gtole@udistrital.edu.co

• El tiempo máximo para la solución, revisión, escaneo y envı́o es de 120 minutos , a partir de las 8:00AM.

1. Utilice cuantificadores, para expresar formalmente que lı́m f (n), no existe.

n→∞

2. Traduzca las siguientes expresiones a lenguaje natural, donde F (p) es ”La impresora p está fuera de servicio”, B(p) es ”La
impresora p está ocupada ”, L(j) es .El trabajo de impresión j se ha perdido ” y Q(j) es .El trabajo de impresión j está en
cola ”.
a. (∀p) [B(p) → (∃j) Q(j)]
b. (∃j) [Q(j) ∧ L(j)] → (∃p) (F (p))

3.

4. Utilice exclusivamente tablas de verdad para probar la validez del siguiente argumento:
* Si estudio, entonces no reprobaré Lógica.
* Si no juego ”banquitas”, entonces estudiaré.
* Pero reprobaré Lógica.
* Por tanto, debo haber jugado ”banquitas”

1 de 1