Usuario:Camilo maldonado/ejercicio 12 capitulo 2 pagina 117

De Wikilibros, la colección de libros de texto de contenido libre.
Ir a la navegación Ir a la búsqueda

Sea p(x,y) la propocicion abierta "x divide a y"; El universo para cada una de las variables x,y es el conjunto de todos los enteros . (en este contexto "divide" significa "divide exactamente"). Determine el valor de verdad de cada una de las propociciones siguientes:

1) p(3,7): F

2) p(7,3): F

3) p(3,27): V

4) ∀Y p(1,y): F

5) ∀x p(x,0): F

6) ∀x p(x,x): F

7) ∀yЭx p(x,y): F

8) Эy∀x p(x,y): V

9) ∀x∀y[(p(x,y)p(y,x))(x=y)]: V

10) ∀x∀y∀Z[P(X,Y)P(Y,Z))P(X,Z)]: V