Вы находитесь на странице: 1из 5

Funciones Proposicionales

Carmen SÁNCHEZ DÍEZ

En la exposición de definiciones, teoremas, conclusiones relativas a afirmaciones, negaciones o interpretaciones de muy diversos resultados, aparecen siempre en la matemática, y en todas sus ramas, expresiones de tipo lógico que están generalmente controladas por cuantificadores tanto universales como existenciales. Son funciones de símbolos cuya estructura lógica es la de una función proposicional.

Función proposicional Sea S un conjunto de símbolos y sea (P,,) el álgebra de Boole de las proposiciones lógicas. Denominamos función proposicional en variable sobre S, a una correspondencia tal que a cada símbolo de S le corresponda una proposición de

P.

f

: S P

∀∈ x S ,

f

(

x

) =

a

x

P

Obviamente, la imagen,

bien una proposición falsa. Llamaremos V f

a , del elemento x puede ser una proposición verdadera o

al conjunto de valores de S para los

x

S

cuales f(x) es una proposición verdadera. O sea:

V f

S

=

{x

S / f (x)}

Esto nos indica que la condición necesaria y suficiente para que un elemento h S pertenezca al conjunto V f es que f(h) sea una proposición verdadera:

S

h

V f

S

f (h)

Se definen la conjunción, disyunción o negación de funciones proposicionales del mismo modo que se definen para las proposiciones lógicas:

Negación: es el conector que cambia el valor de verdad de la proposición que conecta. Su tabla de verdad:

f(x)

1

0

f’(x)

0

1

Conjunción: es el conector de dos funciones proposicionales, f(x), g(x), que da lugar a una proposición verdadera si ambas funciones son proposiciones verdaderas y a una proposición falsa en caso contrario

f(x)

g(x)

f (x) g(x)

1

1

1

1

0

0

0

1

0

0

0

0

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

a una proposición falsa si ambas funciones son proposiciones falsas y a una proposición verdadera en caso contrario

f(x)

g(x)

f (x) g(x)

1

1

1

1

0

1

0

1

1

0

0

0

Es útil el uso de los símbolos de cuantificación, los cuantificadores ordinarios, para representar la conjunción o disyunción de un número discreto de valores de una función proposicional:

Sea

S =

[

. [

h

1

,

h

2

,

f h

(

1

)

,

h

k

,

f

(

]

h

2

. Podemos simbolizar:

)

∧ ∧

f

(

h

k

)

] por (x S)f (x) , o bien, (x)f (x) si se

sobreentiende la pertenencia de x al conjunto S.

. [

f h

(

1

)

f

(

h

2

)

∨ ∨

f

(

h

k

)

] por (x S)f (x) , o bien, (x)f (x) si la

pertenecia a S se sobreentiende.

Es decir, se verifican las equivalencias:

Siempre que

[

xh

1

,

(

(

x f

(

x

)

)

)

x f

(

x

)

h

2

,

,

h

k

,

]

[

f

(

h

1

[

f

(

h

1

)

)

f

(

h

2

)

f

(

h

2

)

∧ ∧

∨ ∨

f

(

h

k

)

f

(

h

k

)

]

]

Propiedades:

Se verifican, para la conjunción, disyunción y negación de funciones proposicionales, las propiedades elementales siguientes:

1.

Demostración:

V

S

(

f (x)

g(x))

=

V f (x)

S

h

⇔ ∈

V

S

h

(

x

V f

(

f

S

)

(

x

)

g

(

I

)

x

V g

)

x

(

S

)

f

(

h

)

2.

Demostración:

V

S

(

f (x)

g(x))

=

V f (x)

S

I

U

V g(x)

S

g

(

h

)

h

⇔ ∈

V g(x)

S

V f

S

(

x

)

h

∧ ∈

V g

S

(

x

)

h

⇔ ∈

∈ ∨

S

V

h

(

x

V f

f

( )

S

( )

x

g

(

U

)

x

V g

)

x

(

S

)

f

(

h

)

g

(

h

)

h

⇔ ∈

V f

S

(

x

)

h

∨ ∈

V g

S

(

x

)

3. V

S

(

f (x)

g'(x))

Demostración:

h

⇔ ∈

V

S

h

(

f

V f

x

( )

S

( )

x

)

∧ ∉

h

'(

g

x

=

V f (x)

S

V g(x)

S

)

V g

S

f

(

(

h

)

'(

g

x

)

h

⇔ ∈

h

)

⇔ ∈

x

h

)

V f

S

(

V f

S

(

x

)

V g

S

(

x

)

∧ ∈

h

V g

S

'(

x

)

4. V f '(x)

S

=⊄

Demostración:

h

V f '(x)

S

V f (x)

S

(el símbolo significa “complementario de”)

f '(h)

h

⇔ ∉

V f (x)

S

h

⇔ ∈⊄

V f (x)

S

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 ⇒∃x f x

(

)

(

0

)

(

)

(

)

)

6. [(x)f (x)]' (x)f '(x)

7. [(x)f (x)]' (x)f '(x)

Las dos últimas fórmulas, 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 más variables:

Sean S 1 ,S 2 dos conjuntos de símbolos y sea (P,,) el álgebra de Boole de las

proposiciones lógicas. Denominamos función proposicional en dos variables sobre S 1 y S 2 , a una correspondencia tal que a cada símbolo del producto cartesiano S 1 xS 2 le corresponda una proposición de P.

f

:

S xS

1

2

P

( , )

x

y

S xS

1

2

,

f

(

x

,

y

) =

a

xy

P

Asimismo, si consideramos n conjuntos de símbolos, S 1 ,S 2 ,…,S n , y siendo (P,,) el álgebra de Boole de las proposiciones lógicas, denominamos función proposicional en n variables sobre S 1 ,…, S n , a una correspondencia tal que a cada símbolo del

producto cartesiano

S

1

×

(

x

1

×

,

S

n

,

x

n

= Π

i = 1

S

i le corresponda una proposición de P.

f

n

S

: Π →

i =1

i

P

n

)

n

∈Π

i = 1

S

i

,

f

(

x

1

,

,

x

n

)

=

a

x

1

x

n

P

Podemos disminuir el número de variables de la función 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) son funciones proposicionales de la variable y.

(y)f (x, y), ()y f (x, 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 símbolos coinciden (S 1 =S 2 ), 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 expresión de la continuidad de una función f en un punto x R

0

es, en

la formulación de Cauchy: ( ∀ ε δ )( ∃ )( ∀ h )( h
la formulación de Cauchy:
(
ε δ
)(
)(
∀ h
)(
h
< ⇒
δ
f
(
x
+
h
)
f
(
x
)
< ε)
, con ε > 0,δ > 0
0
0
2) La continuidad de una función
expresa por:
f
en
un
intervalo abierto a < x < b
(
ε
)(
x
)(
δ
)(
h
)(
h
< ⇒
δ
f (x
+
h)
f (x)
< ε)

se

3) Si intercambiamos en la expresión anterior (δ ) por condición de la continuidad uniforme:

Bibliografía:

(

ε δ )( ∃ )( ∀ ∀ x )( h )( h < ⇒ δ
ε δ
)(
)(
∀ ∀
x
)(
h
)(
h
< ⇒
δ
f (x
+
h)
f (x)

< ε)

(x) tenemos la

Hilbert, D

Ackermann,

W.; “Elementos de Lógica Teórica”, Editorial Tecnos, 1962,

Madrid.

Suppes, P

Hill,

S.; “Introducción a la Lógica Matemática”, Ed. Reverté, 1986,

Barcelona.

Russel y Whitehead, “Principia Matemathica”, Ed. Cambridge University Press, 1927-1994, Cambridge.