Práctica de la formalización

Teclea en los recuadros la formalización lógica de cada una de las frases siguientes de acuerdo con las siguientes convenciones (se repiten fijas abajo):

  • p: El profesor es gracioso
  • q: El profesor es muy sabio
  • r: El profesor es muy abnegado
  • p: El profesor es gracioso
  • q: El profesor es muy sabio
  • r: El profesor es muy abnegado

  1. Aunque el profesor no es gracioso es muy sabio y abnegado.

  2. El profesor o es gracioso o es muy abnegado.

  3. El profesor es un sabio gracioso con gran abnegación.

  4. Aunque el profesor es muy gracioso no tiene sabiduría ni tampoco abnegación.

  5. Si el profesor es gracioso entonces no es ni sabio ni abnegado.

  6. Que el profesor sea abnegado es una razón necesaria y suficiente para que sea sabio

  7. Puede que sea el caso, o puede que no, que el profesor sea abnegado.