Usuario:Juan rincon/ejercicio4
PRESENTADO POR:
JUAN MIGUEL RINCÓN MERCHÁN
(Ejercicio 1 de los Problemas 2.2 de las páginas 74 y 75 del libro Matemática Discreta y lógica de Grassman.)
1) Un universo contiene los tres individuos a, b y c. Para estos individuos, se define un predicado Q(x,y) y sus valores de verdad están dados por la tabla siguiente:
| Q(x,y) | a | b | c |
| a | V | F | V |
| b | F | V | V |
| c | F | V | V |
Calcular ∀x∃yQ(x, y), ∀yQ(y, b) y ∀yQ(y, y)
SOLUCIÓN
Para resolver este tipo de ejercicios debemos tener en cuenta dos cosas:
- Claridad en estos dos conceptos:
- ∀x∃y = Necesariamente existe un Y para toda X.
- ∃x∀y = X es válido para toda Y.
- Analizar bien los datos sumnistrados por la tabla, para determinar los valores de verdad.
∀x∃yQ(x, y)
V
∀yQ(y, b)
F
∀yQ(y, y)
V
PARA VOLVER A SOLUCIONARIO, OPRIMA AQUI