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
-
Aunque el profesor no es gracioso es muy sabio y abnegado.
-
El profesor o es gracioso o es muy abnegado.
-
El profesor es un sabio gracioso con gran abnegación.
-
Aunque el profesor es muy gracioso no tiene sabiduría ni tampoco abnegación.
-
Si el profesor es gracioso entonces no es ni sabio ni abnegado.
-
Que el profesor sea abnegado es una razón necesaria y suficiente para que sea sabio
-
Puede que sea el caso, o puede que no, que el profesor sea abnegado.