MÓDULO # 7

Funciones proposicionales

Contenidos del módulo

7.1 Función proposicional

Objetivos del Módulo

1. Definir función proposicional

2. Definir los diferentes tipos de funciones proposicionales.

3. Combinar funciones proposicionales.

Preguntas básicas

1. ¿Qué es una función proposicional?

2. ¿En que se diferencia una función proposicional de una proposición?

3. ¿Qué es una función proposicional compuesta?

Presentación

La expresión “x es médico” no puede considerarse como una proposición puesto

que no es en cuanto tal ni verdadera ni falsa. Aquí x es una variable que toma
valores dentro de un conjunto, llamado conjunto de referencia. Expresiones de
esta forma, dadas en términos de una o varias variables, reciben el nombre de
funciones proposicionales.
7.1 Función proposicional
Considérense las siguientes proposiciones:
Gustavo es médico
Álvaro es médico
Enrique es médico
Estas proposiciones tienen algo en común y es la propiedad de “ser médico”. Esto
puede formularse recurriendo a la expresión “x es médico”, en donde x es una
variable individual, que indica que el sujeto o término que tiene la propiedad de ser
médico es indeterminada. La expresión “x es médico” no puede considerarse
como una proposición puesto que no es en cuanto tal ni verdadera ni falsa. Aquí x
es una variable que toma valores dentro de un conjunto, llamado conjunto de
referencia. Expresiones de esta forma, dadas en términos de una o varias
variables, reciben el nombre de funciones proposicionales.

Cuando en una función proposicional se sustituyen las variables por constantes

individuales o términos específicos, se convierte en proposición. Comúnmente se
usarán las letras x, y, z, w para denotar las variables. Las funciones
proposicionales pueden negarse y también combinarse con otras funciones
proposicionales o proposiciones simples por medio de los conectivos.

Ejemplo:
“x es un número racional y z es un número irracional” se puede simbolizar como
Qx ∧ I z

Si en una forma compuesta hay por lo menos una función proposicional como
componente, entonces toda la forma compuesta es una función proposicional.

Ejemplo:
Ca ∨ (Ab → Px)
es una función proposicional puesto que Px lo es.