Ejercicio 0.

P(x,y) :x es mas rpido que y.

Q(x,y) :y es mas alto que x.
R(x) :x pesa mas de 200 libras.

Escriba las siguientes expresiones:

1)- P(x,Jose)
X es mas rpido que Jos

2)- Q(Miguel, Luis) R(Juan)

Luis es mas alto que Miguel y Juan pesa mas de 200 libras

3)- P(x,y) Q(x,y)

x es mas rpido que y entonces y es mas alto que x

4)- Q(x,y) R(x)

y es mas alto que x entonces x pesa mas de 200 libras

5)- P(Miguel, Jos) [Q(Miguel, Jos) R(Jose) ]

Miguel es mas rpido que Jos o Jos es mas alto que Miguel y Jos pesa mas de 200 libras.

Ejercicio de repaso

63)- (AB)C AB implica que A=B

Para que a(AB) ab
De igual b(AB) bA
Por lo tanto aA bA
aB bB
En conclusin A B Deben ser iguales
A=B
64)- (A) B=B A,B Falsa

Si A
A
(A)BB
La proposicin es verdadera si y solo si A=