Formalización

Teclea en los recuadros la formalización lógica de cada una de las frases siguientes de acuerdo con las siguientes convenciones:

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.
 
 
Mientras que el profesor es muy gracioso, no tiene sabiduría ni tampoco abnegación.
 
 
Si el profesor es gracioso, entoces no es ni sabio ni abnegado.
 
 
El hecho de 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.
 
Atrás