Para esta semana en la clase de verificación a manera de ejercicio nos toco hacer escoger dos enunciados de el libro "Symbolic Logic" de Lewis Carroll y pasarlas a su forma predicativa. Como ejercicio yo seleccione el #23 de la página 102, el cuál es el siguiente:
"All clever people are popular;
All obliging people are popular."
Traducido al español:
"Toda la gente inteligente es popular;
Toda la gente servicial es popular."
Lo primero que haré sera descomponer estos enunciados usando notación de lógica formal.
Lo primero
I(x) = Ser gente inteligente
P(x) = Ser popular
S(x) = Ser gente servicial
La palabra "Toda" implica un cuantificador universal lo cual se representa con el siguiente símbolo "
" y la palabra "es" puede traducirse como una implicación, "Si es inteligente entonces es popular" que se representa con el signo "→".
" y la palabra "es" puede traducirse como una implicación, "Si es inteligente entonces es popular" que se representa con el signo "→".
Entonces las expresión quedaría de la siguiente manera:
"Toda la gente inteligente es popular." entonces aplica que para cada persona que tenga la cualidad de ser inteligente debe ser popular:
x( I(x) → P(x) )
"Toda la gente servicial es popular." entonces aplica que para cada persona que tenga la cualidad de ser servicial debe ser inteligente.
x( S(x) → P(x) )
Con esto podemos sacar conclusiones, pues si cada persona inteligente es popular y cada persona servicial es popular, entonces una persona que es popular debería tener ambas características:
x( P(x) → ( S(x)^I(x) ) )
x( P(x) → ( S(x)^I(x) ) )
Referencias:
La conclusión está mal. Nada dice que no pudieras ser popular sin tener estas características. Van 8 pts.
ResponderBorrar