MATEMÁTICAS I: VOLUMEN I

2.6. FUNCIONES PROPOSICIONALES

Tomemos un conjunto no vacío E, finito o infinito, al cual llamaremos

referencial. Recordemos ahora que en la teoría de conjuntos se emplean los
siguientes símbolos:
a) ∈ : pertenece.
b) ∉ : no pertenece.
c) /: tal que.
d) ∪ : unión de conjuntos.
e) ∩ : intersección de conjuntos.
f) ∀ : para todo elemento (cuantificador universal).
g) ∃ : existe al menos un elemento (cuantificador existencial).
h) ⊂ : subconjunto.
i) φ : conjunto vacío (sin elementos).
Definición 2.6.1.-
Se denomina función proposicional sobre E a toda expresión f (x) tal
que, al sustituir x por cualquier elemento a ∈ E, se obtiene una proposición f (a),
cuyo valor (verdadero o falso) está perfectamente determinado.
Ejemplo 2.6.1.- Consideremos el conjunto de los números naturales. En este
conjunto la expresión “f (x) / x es primo” es una función proposicional, ya que de
ella obtenemos proposiciones tales como “f (3) / 3 es primo” (V) y “f (8) / 8 es
primo” (F).
Parece evidente que una función proposicional arbitraria f (x) determina en
el conjunto E una clasificación (partición). Las clases serían:
a) E f ,1 (clase verdadera o verdad): subconjunto de E con los elementos para

los que la proposición es cierta, o sea, E f ,1 = {x ∈ E / f (x) es verdadera}.

b) E f ,0 (clase falsa): subconjunto de E formado por la totalidad de elementos

para los cuales la proposición es falsa, es decir, E f ,0 = {x ∈ E / f (x) es falsa}.

Copyright © 2013. Editorial Tébar Flores. All rights reserved.

Ejemplo 2.6.2.- Si admitimos que 1 es primo, las clases resultantes en el ejemplo

anterior son E f ,1 = {1, 2, 3, 5, 7, 11, …} y E f ,0 = {4, 6, 8, 9, 10, 12, …}.

NOTA 2.6.1.- Dado que el conjunto unión está compuesto por los elementos que
pertenecen, al menos, a uno de los conjuntos y el conjunto intersección lo
constituyen los elementos comunes a ambos conjuntos, de la clasificación
precedente colegimos que:
1) E f ,1 ∪ E f ,0 = E.
2) E f ,1 ∩ E f ,0 = φ .

30
Rodríguez, V. R. (2013). Conjuntos numéricos, estructuras algebraicas y fundamentos de álgebra lineal. volumen i : Conjuntos numéricos, complementos. Retrieved from http://ebookcentral.proquest.com
Created from unadsp on 2019-09-06 13:30:33.
© Editorial Tébar Flores. Prohibida la reproducción sin la autorización expresa de la editorial
 RAMÓN RODRÍGUEZ VALLEJO

PROPIEDADES DE LAS FUNCIONES PROPOSICIONALES.-

Para las funciones proposicionales definimos la conjunción, disyunción y
negación de manera análoga a como hicimos con las proposiciones. Teniendo esto
en cuenta y suponiendo que f (x) y g (x) son dos funciones proposicionales sobre el
mismo referencial E, se verifican las siguientes propiedades:
1ª) La clase verdadera de la función proposicional conjunción es igual a la
intersección de las clases verdad de las dos funciones proposicionales; es decir:
E f ∧ g ,1 = E f ,1 ∩ E g ,1 .

Demostración.- En efecto, ∀ a ∈ E f ∧ g,1 ⇔

{ (f ∧ g) (a) es verdadera ⇔
{ f (a)
DEF DEF. ∧

es verdadera y g (a) es verdadera ⇔

{ a ∈ E f ,1 y a ∈ E g,1 { a ∈ E f ,1 ∩ E g,1 ;
⇔
DEF DEF. ∩

luego, por la definición de igualdad de conjuntos, E f ∧ g,1 = E f ,1 ∩ E g,1 , c. q. d.

2ª) La clase verdadera de la función proposicional disyunción es igual a la unión de
las clases verdad de las dos funciones proposicionales; o sea:
E f ∨ g ,1 = E f ,1 ∪ E g ,1 .

Demostración.- En efecto, ∀ a ∈ E f ∨ g,1 ⇔

{ (f ∨ g) (a) es verdadera ⇔
{ f (a)
DEF DEF. ∨

es verdadera, o g (a) es verdadera, o ambas ⇔

{ a ∈ E f ,1 o a ∈ E g,1 ⇔
{
DEF DEF. ∪

⇔ a ∈ E f ,1 ∪ E g,1 ; por ello, según la definición de igualdad de conjuntos, resulta

que E f ∨ g,1 = E f ,1 ∪ E g,1 , c. q. d.
3ª) La clase verdadera de la función proposicional negación es igual al
complementario de la clase verdad de la función proposicional; es decir:

E ¬f ,1 = E cf ,1 .

Demostración.- Como el complementario (designado por A c ) de un subconjunto A

de E es el conjunto formado por todos los elementos de E que no pertenecen al

∀ a ∈ E ¬f ,1 { a ∉ E f ,1 ⇔
⇔ { a ∈ E f ,1 ; entonces,
c
subconjunto A, tendremos que
Copyright © 2013. Editorial Tébar Flores. All rights reserved.

DEF. ¬ DEF

partiendo de la definición de igualdad de conjuntos, E ¬f ,1 = E cf ,1 , c. q. d.

NOTA 2.6.2.- En este último apartado hemos utilizado una serie de principios
detallados en el próximo epígrafe. Se ha hecho así para mantener la unidad de la
exposición. No obstante, creemos que aquellos son perfectamente conocidos por el
lector. La expresión “c. q. d.” que aparece (y lo hará reiteradamente) al término de
las demostraciones significa “como queríamos demostrar”.

31

Rodríguez, V. R. (2013). Conjuntos numéricos, estructuras algebraicas y fundamentos de álgebra lineal. volumen i : Conjuntos numéricos, complementos. Retrieved from http://ebookcentral.proquest.com
Created from unadsp on 2019-09-06 13:30:33.
© Editorial Tébar Flores. Prohibida la reproducción sin la autorización expresa de la editorial