FUNCIONES PROPOSICIONALES Y PROPOSICIONES

Hola! La caracterización de "funciones proposicionales" y "proposiciones" aparece en nuestro querido libro en las páginas 32 y 33. Sin embargo, a veces es útil explorar otras fuentes de referencia para entender mejor los conceptos, porque se explican de otra manera que nos resulta más clara o simplemente porque de tanto investigar y seguir leyendo y explorando, las definiciones terminan por resultarnos familiares.

Aquí les dejo una definición y un enlace que encontré y creo que son valiosos. 

Función Proposicional

Supongamos los enunciados abiertos: 

" x es la capital de Buenos Aires"

" y + 4 = 11"

Estos no tienen un valor veritativo. Pero si en el primero de ellos hacemos x = La Plata, tenemos:

"La Plata es la capital de Buenos Aires" (V)

Asimismo, si en el segundo hacemos x = 9, resulta:  9 + 4 = 11 (F)

Podemos, entonces, dar la siguiente definición: "Una función proposicional es un enunciado abierto de la forma P_(x) que se convierte en una proposición cuando se le asigna un valor específico a la variable".

Fuente: http://logicadigitalufps.blogspot.com.ar/2012/02/funciones-proposicionales-y.html (consultada 4/03/2016)


Claves de lectura para la página web enlazada más abajo: no presten atención al ejemplo ni a los ejercicios 1 y 2 (que utilizan una notación simbólica que no usamos en el CPU). EN cambio, sí es interesante el ejercicio 3 como un ejercicio adicional del tema... ¿alguien querrá mandar su solución para publicarla, compartirla y discutirla colectivamente?

otra definición de funciones proposicionales y proposiciones (consultada 4/03/2016)