Formalización

Expresa las siguientes fórmulas en palabras teniendo en cuenta el significado de cada una de las atómicas siguientes (se repiten fijas abajo):

  • p: El profesor es sabio
  • q: Los alumnos son inteligentes
  • r: Aprender es divertido
  • s: Las clases son aburridas
  • p: El profesor es sabio
  • q: Los alumnos son inteligentes
  • r: Aprender es divertido
  • s: Las clases son aburridas

  1. (p∧q)→(r∧¬s)

  2. ¬s→(p∧(r∨q))

  3. ¬s→(r∧p)

  4. (r∨¬s)→(p)

  5. p→r

  6. s∧(p→r)