VARIABLES LIBRES Y VARIABLES LIGADAS

A las expresiones de la forma x y x las llamaremos expresiones cuantificadas.

Son expresiones formadas por un cuantificador seguido por una variable. Pues bien,
en una frmula un mismo smbolo puede aparecer varias veces, pudiendo presentar
distintas apariciones. Y esto se aplica tambin a las variables. En el caso de estas,
pueden aparecer como variables libres o variables ligadas.
Una variable es ligada cuando dada una frmula en la que tal variable aparece,
esta forma parte de una subfrmula del tipo xB o xB. En este caso, decimos
que x es una variable ligada por el cuantificador universal o existencial,
respectivemente. Y, al contrario, cuando la aparicin de una variable en una
frmula no es ligada, decimos que es una variable libre. Vamos a poner un par
de ejemplos de variables libres y ligadas:
x(Qx Rxy), en esta frmula la x es una variable ligada por un cuantificador
universal, tanto en Qx como en Rxy, y la variable y es libre.
x(Qx Rxy) (yQy Rxz), en esta frmula, la primera aparicin de x, en Qx y
en Rxy, es ligada por un cuantificador universal. Por su parte, la segunda aparicin
de x, en Rxz, es libre. En cuanto a y, en su primera aparicin es libre, mientras que
en la segunda, yQy, aparece ligada por un cuantificador existencial. Por ltimo, z
aparece una sola vez y es libre.
A las frmulas con una o ms variables libres las llamamos frmulas abiertas,
mientras que a las frmulas sin variables libres las llamamos frmulas
cerradas o sentencias. Estas se corresponden con enunciados del lenguaje
natural y cuando se las interpreta tiene sentido preguntarse si son verdaderas o
falsas. Las siguientes son frmulas cerradas:
a=b
x(Px Qx)
Pc Rac
xy(Sxy Syx)
Y las siguientes frmulas son ejemplos de frmulas abiertas:
a=x
x(Px Qy)
Pz
xy(Sxy Syx) (Px Sxy)
Sustitucin de variables
Las frmulas abiertas pueden transformarse en sentencias sustituyendo las
variables libres por trminos. Al hacer tal sustitucin obtenemos una nueva frmula.
De este modo, si en una frmula, A, aparece libre la variable y, si sustituimos
y por un trmino, t, obtenemos la sustitucin de y por t, que expresamos
formalmente as A(y/t). As,
1. Py(y/c) su sustitucin es la frmula Pc
2. Qx x(Px yQy)(x/a) su sustitucin es la frmula Qa x(Px yQy)
3. Rxy Ryx(y/c) su sustitucin es la frmula Rxc Rcx
4. x(Px Qy)(x/a) su sustitucin es la frmula x(Px Qy)
5. Py(x/c) su sustitucin es la frmula Py
En los ejemplos 4 y 5 no hay que reemplazar smbolo alguno, puesto que en ningn
caso la variable a sustituir aparece libre en estas frmulas. En cuanto al ejemplo 2,
solo se reemplaza la x en la primera aparicin, Qx, que es en la nica en la que
aparece libre.

SUSTITUCIN
1. Se despeja una incgnita en una de las ecuaciones.
2. Se sustituye la expresin de esta incgnita en la otra ecuacin, obteniendo una
ecuacin con una sola incgnita.
3. Se resuelve la ecuacin.
4. El valor obtenido se sustituye en la ecuacin en la que apareca la incgnita
despejada.
5. Los dos valores obtenidos constituyen la solucin del sistema.
Ejemplos

1. Despejamos una de las incgnitas en una de las dos ecuaciones. Elegimos la

incgnita que tenga el coeficiente ms bajo.

2. Sustituimos en la otra ecuacin la variable x, por el valor anterior:

3. Resolvemos la ecuacin obtenida:

4. Sustituimos el valor obtenido en la variable despejada.

5. Solucin

TABLAS DE VERDAD FORMULAS VERDADERAS Y FALSAS

Estas tablas pueden construirse haciendo una interpretacin de los signos lgicos,
, , , , ,como: no, o, y, sientonces, s y slo si, respectivamente. La
interpretacin corresponde al sentido que estas operaciones tienen dentro del
razonamiento.
Puede establecerse una correspondencia entre los resultados de estas tablas y la
deduccin lgico matemtica. En consecuencia, las tablas de verdad constituyen
un mtodo de decisin para chequear si una proposicin es o no un teorema.
Para la construccin de la tabla se asignar el valor 1(uno) a una proposicin cierta
y 0 (cero) a una proposicin falsa.
Negacin: El valor de verdad de la negacin es el contrario de la proposicin
negada.

P P

1 0

0 1

Disyuncin: La disyuncin solamente es falsa si lo son sus dos componentes.

P Q P Q

1 1 1

1 0 1
0 1 1

0 0 0

Conjuncin: Solamente si las componentes de la conjuncin son ciertas, la

conjuncin es cierta.

P Q PQ

1 1 1

1 0 0

0 1 0

0 0 0

Condicional: El condicional solamente es falso cuando el antecedente es verdadero

y el consecuente es falso. De la verdad no se puede seguir la falsedad.

P Q P Q

1 1 1

1 0 0

0 1 1

0 0 1

Bicondicional: El bicondicional solamente es cierto si sus componentes tienen el

mismo valor de verdad.

P Q P Q

1 1 1

1 0 0
0 1 0

0 0 1

Se denomina tautologa una proposicin que es cierta para cualquier valor de

verdad de sus componentes. Por tanto, la ltima columna de su tabla de verdad
estar formada nicamente por unos.
Contradiccin es la negacin de una tautologa, luego es una proposicin falsa
cualesquiera sea el valor de verdad de sus componentes. La ltima columna de la
tabla de verdad de una contradiccin estar formada nicamente por ceros.

Ejercicios 1.3
1. Sean P, Q, R y S frmulas. Si se sabe nicamente que P es verdadero, Qu
puede afirmarse del valor de verdad de cada una las proposiciones siguientes?
P Q RP S P
R P P Q R (S P)
RP PPS P S (Q P)
S P PQR Q P R Q

2. Qu puede concluirse de cada una de las proposiciones anteriores, en los

siguientes casos?
Si P es falsa.
Si P es falsa, Q es verdadera y R es verdadera.

3. Sean P, Q y R frmulas , entonces:

Si R P Q P es falsa y P es falsa; Qu puede afirmarse de R y de Q?.
Si Q Q P es verdadera y P es falsa; Qu puede afirmarse de Q?.
Si R PQ P es falsa; Qu puede afirmarse de P, Q y R?.
Si (Q R) (PQ) R es falsa; Qu puede afirmarse de P, Q y R?.
 Si (P Q) ( R P R Q) es verdadera; Qu puede afirmarse de P, Q y
R?

4. Sean P, Q y R frmulas. Determinar cuales de las siguientes proposiciones son

tautologas:
P Q P R (P Q ) ( Q P )
P P Q (P Q) (P Q)
P (Q P) P ((P Q) R)
(P (Q P)) Q P (P R)