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:
  1. ∀x∃y = Necesariamente existe un Y para toda X.
  2. ∃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


PARA VOLVER A MI PROYECTO, OPRIMA AQUI