PRACTICA INF-144

(Lógica para la ciencia de la computación)

Paralelo A, B, C

NOTA: La práctica será calificada bajo los siguientes puntos:

 La practicas deben estar resueltas en un 100%

 También se observará la organización y presentación
 Debe ser presentada hasta la fecha limite definida por el docente (día del examen)

Defina:

1. ¿Qué es un predicado?
Un predicado se expresa la proposición lógica, en tanto que función predicativa es 'F(x)'
simboliza el nombre del predicado; 'x' simbolizan una variable o una constante si
el predicado es monádico, es decir, actúa sobre un único argumento. La lógica de predicados
estudia las frases declarativas con mayor grado estudia los sistemas formales en relación con el
modo en el que codifican nociones intuitivas de objetos matemáticos como conjuntos,
números,demostraciones.

2. ¿A qué se dice una sentencia cerrada o sentencia Abierta?

En general, una variable está ligada si está dentro del alcance de un cuantificador,
y libre si no es así. Una sentencia es abierta si contiene alguna variable libre, y cerrada si
todas sus variables están ligadas.
 3. ¿Qué tipos de cuantificadores existe? Dar ejemplos

Existen dos clases de cuantificadores que nos permiten construir proposiciones a partir de
funciones proposicionales

Formalizar los siguientes ejercicios:

4. Sócrates es mortal.
5. Sócrates es sabio y prudente.
6. Si Sócrates es sabio, entonces también es prudente.
7. Alguien juega con Carlos
8. Juan afeita a los que no se afeitan a símismos.
9. Existe un estudiante que afeita a todos los que no se afeitan a sı mismos.
10. Hay estudiantes que no afeitan a nadie, pero Juan se afeita a sı mismo
11. Todos los estudiantes afeitan a Juan solo si Juan no se afeita a sı mismo
12. Los estudiantes no afeitan a Juan a menos que Juan sea estudiante
13.

Todos los hombres son mortales

Sócrates es hombre
---------------------------------------------
Luego Sócrates es Mortal

14.
Ningún profesional es dilitante
Todos los buenos informáticos son profesionales
-------------------------------------------------------------------
Ningún buen informático es dilitante
 15.

Algunos ordenadores se equivocan

El que tiene boca se equivoca
-----------------------------------------------------
Ningún ordenador tiene boca

16. Todos los bailarines de claqué son saltarines.

Nadie que sea saltarín pesa mucho.
------------------------------------------------------------------------
Por lo tanto, ningún bailarín de claqué pesa mucho.

De los siguientes ejercicios realizar:

a.- Formalizar el ejemplo.

b.- Eliminar cuantificadores.
c.- Aplicar leyes de derivación, reglas de inferencia, teoremas.

17. Todos los felinos son mamíferos.

Todos los tigres son felinos.
------------------------------------------------------
Luego, Todos los tigres son mamíferos

18. Todos los tiranos son crueles.

Algunos civiles son tiranos.
------------------------------------------------------
Luego, Algunos civiles son crueles.

19. Si todo es fácil y agradable, entonces Martha no estudiara.

No hay cosas que sean agradables.
------------------------------------------------------
Luego, Martha no estudiara.
Demostrar mediante teoremas, reglas de inferencia y deducción.

20. {∀x(P (x) →Q(x)), ∀x(R(x) →Q(x)), ∀x(P (x) ∨R(x))}⇒∀xQ(x)

21. {∃x(P (x)} ⇒ ¬∀x¬P (x)
22. {∀x(¬(¬Q(x) ∨¬R(x))), ∃x(P (x) →¬R(x)), ∃x(¬R(x) ∨S(x))}⇒∃xS(x)
23. {∀x∀y(¬(R(x) → ¬S(x, y))), ∀x∃y(P (x) → Q(x, y)), ∃x∀y(R(x) ∧Q(x, y) → ¬S(x, y))}⇒∃x¬P (x)