Usuario:Aaaw04/ejercicio12

Formular las sentencias siguientes en cálculo de predicados. Para hacerlo se necesitara el dominio correspondiente (el universo de discurso).Estos dominios se dan entre paréntesis al principio de cada enunciado. Obsérvese que los enunciados que constan de varias sentencias son las conjunciones de las sentencias en cuestión.

a)(Seres humanos)El profesor dio una tarea el lunes, y la siguiente el miércoles. Todos los alumnos se quejaron, y algunos no pudieron finalizar su trabajo.

b)(Números naturales, esto es, 0,1,…)Un numero se encuentra entre a y b si y solo si es mayor que a y menor que b.

c)(Seres humanos, Días) Se pueden engañar a algunas personas todos los días, pero no se puede engañar a ‘todas las personas todos los días.

d)(Desayuno, Comida, Cena) No existe cosa tal como comer sin parar.

                                         Ë: existe
                                         Â: para todo          

   a) P(x) (Ë(x)): x es un profesor (estudiante)
      PL(x)(PM(x)): x pone tareas para el lunes (miércoles)
      Q(x): x se queja
      T(x): x termina el trabajo
      P(a) ^ PL(x) ^ PM(x) ^ Âx Ë(x)→Q(x) ^ Ëx(Ë(x) ^ -T(x))
  

   b) Ë(x,y,z): y esta entre x e z

   c) Âx(Personal(x) → y(dia(y) ^ engañar (x,y)))
      ^ Ëx(Personal(x) ^ Ây(dia(y) →engañar(x,y)))
      ^ -Âx(Personal(x) →Ây(dia(y)→engañar(x,y)))

   d) -Ëx(gratis(x)^ x=comida