Taller Lógica de predicados: para realizarlo 20-25 de marzo.

Va a ser solicitados a algunas personas al azar, les escribiré por correo. Si

no lo pido no mandármelo, gracias. Realizarlo en cuaderno sin escribir el
anunciado. Anunciado pueden imprimir si lo desean y pegar también en su
cuaderno.

1. Mostrar que las siguientes formas de enunciados son lógicamente

equivalentes:
𝑝 → 𝑞⋁𝑟 𝑝 ∧∼ 𝑞 → 𝑟 𝑝 ∧∼ 𝑟 → 𝑞

2. Utilizando las equivalencias lógicas establecida en el punto 1, reescribir la

siguiente frase de dos maneras diferentes:
Si n es primo, entonces n es impar o n es 2

3. Reescribir el siguiente enunciado en la forma

∀_____________, si ___________ entonces _________________
Si un número real es un número entero, entonces es un número racional
4. Escribir una negación del enunciado:
Si un programa de computadora tiene más de 100000 líneas, entonces
tiene un error.
5. Escribir el enunciado en la forma si-entonces:
Llegar a tiempo cada día es una condición necesaria para conservar este
trabajo.
6. Formalizar el siguiente titulo de articulo en un periódico:
Todos no pueden pagar una casa. Indicar que dominio y que predicado(s)
va a usar.
7. Sea L(x,y) la sentencia “x quiere a y”, donde el dominio tanto para x como
para y consiste en todas las personas del mundo. Usa cuantificadores para
expresar siguiente sentencia:
Hay alguien que no quiere a los que están a su lado.

8. Sea dominio: todos los estudiantes de su escuela y sea M(s) “s es un

estudiante de la licenciatura en matemáticas”, sea C(s) “s es un estudiante
de ciencias de computación” y sea E(s) “s es un estudiante de ingeniería”.
Expresa el siguiente enunciado utilizando cuantificadores, variables y los
predicados:
Algunos estudiantes de ciencias de computación también son estudiantes
de matemáticas.
9. Cada estudiante de ciencias de la computación es un estudiante de
ingeniería.
10. Encuentra una formula con las variables proposicionales p, q, r y s que sea
verdadera cuando exactamente tres de estas variables proposicionales
sean verdaderas y falsa en cualquier otro caso.