FACYT. Departamento de Computacin. Prof. Patricia Guerrero.

Elementos Discretos I: Lgica de Predicados

1. Simbolice los siguientes enunciados:

- Algn estudiante no asisti a clases hoy.
- Todos los nios menores de tres aos tienen poca capacidad de abstraccin.
- Algn venezolano es medallista olmpico.
- Si nada se pierde, nadie ser culpado.
- Todos aman u odian a Barrabs.
- Cualquiera que se enferme necesitar reposo para recuperarse.
- El resfro comn nunca es fatal.
- Algunas serpientes no son venenosas.
- Jos Miguel estudia el mismo ao que Ana Sofa.

2. Funcin Proposicional:
- P(x): Predicado o Propiedad P(x,y): Relacin binaria
S(x, y, z): Relacin Ternaria P(x1,x2,,xn): Relacin n-aria
- Universo del discurso: U
- Variables: x, y, z, , x1, x2, x3, xn. Son elementos que pertenecen al universo del discurso.
- Se hace proposicin cuando:
Las variables se sustituyen por elementos del universo, o
Se antepone un cuantificador a la funcin proposicional

3. Cuantificadores
- Universal: "todo", "cualquiera", "cada uno"
x[P(x)]: para todo x perteneciente a U se cumple P(x).
x[P(x)]: es verdad si el predicado p(x) es una proposicin verdadera para todos los valores de x en el universo U.
x[P(x)]: es falsa si hay al menos un valor de x en U para el cual el predicado p(x) sea una proposicin falsa.

- Existencial: "alguno", hay", "existe", "algn", "al menos uno"

x[P(x)]: existe al menos un x perteneciente a U tal que se cumple P(x).
x[P(x)]: es verdad si el predicado p(x) es una proposicin verdadera para al menos uno de los valores de x en U.
x[P(x)]: es falsa si el predicado p(x) es una proposicin falsa para todos los valores de x en U.

4. Tipos de Proposiciones Cuantificadas

Proposicin universal afirmativa. Proposicin universal negativa.
Todo S es P x [S(x) P(x)] Ningn S es P x [S(x) P(x)]]
Proposicin particular o existencial afirmativa. Proposicin particular o existencial negativa.
Algn S es P x [S(x) P(x)] Algn S es no P x [S(x) P(x)]]

5. Primeras equivalencias entre cuantificadores: x[P(x)] x[

P(x)] x[P(x)] x[
P(x)]

6. Simbolice los siguientes razonamientos, definiendo previamente el universo del discurso:

a) Todos los lgicos son reflexivos y estudiosos. Algunos lgicos son filsofos. Luego, algunas personas reflexivas son filsofos.
b) Todos los humanos son mortales. Alejandro es un ser humano. Por lo tanto, Alejandro es mortal.
c) Si todo es fcil y agradable, Marta no estudiar. No hay cosas que no sean agradables. Y todo es fcil. Luego, Marta no
estudiar.
d) Cada cosa viviente es una planta o un animal. El conejo de Raquel est vivo y no es una planta. Todos los animales tienen
corazn. Por lo tanto, el conejo de Raquel tiene corazn.
e) Todo guerrero romano lucha en la arena del coliseo. Algunos romanos se divierten. Ninguno que luche en la arena se
divierte. Por lo tanto, no todos los que luchan en la arena son guerreros.

7. Demuestre:
a) x[P(x) Q(x)] x[Q(x) ] x[ P(x)]
b) x[P(x) (Q(x) R(x))] x[P(x)] x[Q(x) R(x)]