Hola
Indicar cuáles de los siguientes enunciados son esquemas proposicionales o funciones proposicionales en una indeterminada y establecer sus raices:
a) X es profesor de Historia
b) \( x=x \)
c) \( x \neq x \)
el profesor suguiere utilizar como conjunto de referencia a los numeros Reales cuando corresponda.
Tengo entendido que para determinar si es esquema proposicional tengo que poder transformar cada item utilizando cuantificadores (\( \exists,{\forall{}}). \). Es asi?
Parcialmente. Una función proposicional se convierte en proposición lógica si:
i) Se cuantifican las variables (a través de cuantificadores existenciales o universales).
ii) Se asignan valores concretos a las variables.
a) es función proposicional. Si uso ii) podría usar a mi hermano que nunca estudió el profesorado de Historia y esa proposición sería falsa.
b) y c) también lo son, dado que no aparece ningún cuantificador ni tampoco se le han asignado valores particulares a las variables (una sola, la \( x \)). Si usamos i) y tomamos a los números reales como conjunto universal, entonces b) es verdadera y c) es falsa.
Por otro lado, no sé a qué se refiere con "raíces". ¿Podrías aclararlo?
Saludos
