Funciones Proposicionales

Carmen SNCHEZ DEZ

En la exposicin de definiciones, teoremas, conclusiones relativas a afirmaciones,

negaciones o interpretaciones de muy diversos resultados, aparecen siempre en la
matemtica, y en todas sus ramas, expresiones de tipo lgico que estn
generalmente controladas por cuantificadores tanto universales como existenciales.
Son funciones de smbolos cuya estructura lgica es la de una funcin
proposicional.

Funcin proposicional
Sea S un conjunto de smbolos y sea (P,, ) el lgebra de Boole de las
proposiciones lgicas. Denominamos funcin proposicional en variable sobre S, a
una correspondencia tal que a cada smbolo de S le corresponda una proposicin de

P.

f :S P
x S , f ( x) = a x P
Obviamente, la imagen, a x , del elemento x puede ser una proposicin verdadera o
bien una proposicin falsa. Llamaremos VS f al conjunto de valores de S para los
cuales f(x) es una proposicin verdadera. O sea:
VS f = {x S / f ( x)}
Esto nos indica que la condicin necesaria y suficiente para que un elemento
h S pertenezca al conjunto VS f es que f(h) sea una proposicin verdadera:

h VS f f (h)
Se definen la conjuncin, disyuncin o negacin de funciones proposicionales del
mismo modo que se definen para las proposiciones lgicas:
Negacin: es el conector que cambia el valor de verdad de la proposicin que
conecta. Su tabla de verdad:

f(x)
1
0

f(x)
0
1

Conjuncin: es el conector de dos funciones proposicionales, f(x), g(x), que da lugar

a una proposicin verdadera si ambas funciones son proposiciones verdaderas y a
una proposicin falsa en caso contrario

f(x)
1
1
0
0

g(x)
1
0
1
0

f ( x) g ( x)
1
0
0
0

Disyuncin: es el conector de dos funciones proposicionales, f(x), g(x), que da lugar

a una proposicin falsa si ambas funciones son proposiciones falsas y a una
proposicin verdadera en caso contrario

f(x)
1
1
0
0

g(x)
1
0
1
0

f ( x) g ( x)
1
1
1
0

Es til el uso de los smbolos de cuantificacin, los cuantificadores ordinarios, para

representar la conjuncin o disyuncin de un nmero discreto de valores de una
funcin proposicional:

Sea S = h1 , h2 ,..., hk ,... . Podemos simbolizar:

.

[ f (h1 ) f (h2 ) ... f (hk ) ...] por (x S ) f ( x) , o

bien, (x ) f ( x) si se

sobreentiende la pertenencia de x al conjunto S.

.

[ f (h1 ) f (h2 ) ... f (hk ) ...] por (x S ) f ( x) , o bien, (x ) f ( x)

si la

pertenecia a S se sobreentiende.
Es decir, se verifican las equivalencias:

(x ) f ( x) [ f (h1 ) f (h2 ) ... f (hk ) ...]

(x ) f ( x) [ f (h1 ) f (h2 ) ... f (hk ) ...]

Siempre que x h1 , h2 ,..., hk ,...

Propiedades:
Se verifican, para la conjuncin, disyuncin y negacin
proposicionales, las propiedades elementales siguientes:

de

funciones

1. VS ( f ( x ) g ( x ) ) = VS f ( x) I VS g ( x)

Demostracin:

h VS ( f ( x) g ( x) ) f (h) g (h) h VS f ( x) h VS g ( x)
h VS f ( x) I VS g ( x)

2. VS ( f ( x ) g ( x ) ) = VS f ( x) U VS g ( x)

Demostracin:

h VS ( f ( x) g ( x) ) f (h) g (h) h VS f ( x) h VS g ( x)
h VS f ( x) U VS g ( x)
3. VS ( f ( x ) g ' ( x ) ) = VS f ( x ) VS g ( x )
Demostracin:

h VS ( f ( x) g ' ( x) ) f (h) g ' (h) h VS f ( x) h VS g ' ( x)

h VS f ( x) h VS g ( x) h VS f ( x) VS g ( x)

4. VS f ' ( x ) = VS f ( x)

(el smbolo significa complementario de)

Demostracin:

h VS f ' ( x) f ' (h) h VS f ( x) h VS f ( x)

Propiedades derivadas del uso de los cuantificadores:

Es sencillo establecer relaciones muy simples entre expresiones que usan el
cuantificador universal, , con expresiones que utilizan el cuantificador existencial
. Se tiene:
1. (x ) f ( x ) (x )g ( x) (x ) f ( x ) g ( x )

2.

[(x ) f ( x) (x )g ( x)] (x )[ f ( x) g ( x)]

3.

[(x ) f ( x) (x )g ( x)] (x )[ f ( x) g ( x)]

4.

[(x ) f ( x) (x )g ( x)] (x )[ f ( x) g ( x)]

5. (x ) f ( x) f ( x 0 ) (x ) f ( x )
6.

[(x ) f ( x)]' (x ) f ' ( x)

7.

[(x ) f ( x)]' (x ) f ' ( x)

Las dos ltimas frmulas, en concreto, permiten escribir las leyes de De Morgan de
manera sencilla:

(x ) f ( x) [(x ) f ' ( x)]'

(x ) f ( x) [(x ) f ' ( x)]'

Las funciones proposicionales de dos o ms variables:

Sean S1,S2 dos conjuntos de smbolos y sea (P,, ) el lgebra de Boole de las
proposiciones lgicas. Denominamos funcin proposicional en dos variables sobre S1
y S2, a una correspondencia tal que a cada smbolo del producto cartesiano S1xS2 le
corresponda una proposicin de P.

f : S1 xS 2 P

( x, y ) S1 xS 2 , f ( x, y ) = axy P
Asimismo, si consideramos n conjuntos de smbolos, S1,S2,,Sn, y siendo (P,, ) el
lgebra de Boole de las proposiciones lgicas, denominamos funcin proposicional
en n variables sobre S1 ,, Sn, a una correspondencia tal que a cada smbolo del
n

producto cartesiano S1 ... S n = Si le corresponda una proposicin de P.

i =1

f : Si P
i =1

( x1 ,..., xn ) Si , f ( x1 ,..., xn ) = ax1 ... x n P

i =1

Podemos disminuir el nmero de variables de la funcin proposicional fijando

algunas de ellas. As, por ejemplo, las funciones proposicionales siguientes son
funciones de una sola variable:

(x ) f ( x, y ), (x ) f ( x, y )
(y ) f ( x, y), (y ) f ( x, y)

son funciones proposicionales de la variable y.

son funciones proposicionales de la variable x.

Y las propiedades para estas funciones proposicionales son las mismas que las
propiedades vistas anteriormente para funciones proposicionales de una sola
variable.
En general, con respecto al uso de los cuantificadores se verifican de forma obvia
las propiedades:
1) (x )(y ) f ( x, y ) (y )(x ) f ( x, y )

2) (x )(y ) f ( x, y ) (y )(x ) f ( x, y )

3) (x )(y ) f ( x, y ) (y )(x ) f ( x, y )

y, si los espacios de smbolos coinciden (S1=S2), se tiene:

1) (x, y ) f ( x, y ) (x ) f ( x, x ) (x ) f ( x, x ) (x, y ) f ( x, y )

2) (x )( f ( x ) g ( x ) ) (x, y )( f ( x ) g ( y ) ) (x ) f ( x ) (y )g ( y )

((x ) f ( x ) (x )g ( x ) )
3) (x )( f ( x ) g ( x ) ) (x, y )( f ( x ) g ( y ) ) (x )( f ( x ) g ( x ) )
Ejemplos:

1) La expresin de la continuidad de una funcin f en un punto x0 R es, en

la formulacin de Cauchy:

( )( )(h )( h <

f ( x0 + h ) f ( x0 ) < ) , con > 0, > 0

2) La continuidad de una funcin

expresa por:

f en un

( )(x )( )(h )( h <

intervalo abierto a < x < b se

f ( x + h) f ( x) < )

3) Si intercambiamos en la expresin anterior

condicin de la continuidad uniforme:

( )( )(x )(h )( h <

( )

por

(x )

tenemos la

f ( x + h) f ( x) < )

Bibliografa:
Hilbert, D._Ackermann, W.; Elementos de Lgica Terica, Editorial Tecnos, 1962,
Madrid.
Suppes, P._Hill, S.; Introduccin a la Lgica Matemtica, Ed. Revert, 1986,
Barcelona.
Russel y Whitehead, Principia Matemathica, Ed. Cambridge University Press,
1927-1994, Cambridge.