CALCULO

Descargar como docx, pdf o txt
Descargar como docx, pdf o txt
Está en la página 1de 9

Cap.

2 Lógica Matemática

Por : Mario Paguay

4. ALFABETO DE CÁLCULO DE PREDICADOS


Nuestro objetivo de estudio lo constituyen los cuantificadores ( x ) y Ǝ ( x ). El
estudio de las propiedades operatorias de estos dos operadores lógicos se lleva a cabo en
la parte de la lógica conocida con el nombre de cálculo de predicados. Vamos primero a
especificar un lenguaje ene l cual podemos llevar a cabo ese estudio en condiciones
ideales. Este lenguaje lo denominaremos lenguaje del cálculo de predicados. Como
podrá paulatinamente apreciarse, este lenguaje es lo suficientemente rico como para
servir de base lingüística a la mayoría de las teorías matemáticas conocidas.
El lenguaje del cálculo de predicados tiene un alfabeto con las siguientes clases de
símbolos:

i) Símbolos de constantes individuales las primeras letras del alfabeto latino con
subíndice numérico cuando sea necesario: a, b, c, d, e, a1, b1, c1, d1, e1, etc. De
acuerdo con la teoría matemática que queramos expresar. Tomando como base
lingüística el cálculo de predicados, podemos adoptar como símbolos de
constantes individuales aquellos símbolos que usualmente se utilizan como
tales en la exposición de dicha teoría. Así, por ejemplo, podemos incluir la
notación simbólica de los números naturales 0, 1, 2,…….. si se trata de la
aritmética. En verdad, para toda teoría matemática, la lista de los símbolos
para constantes individuales es arbitraria pero fija y puede ser finita o infinita.

Aparte de la lista inicial muchas constantes podrán ser introducidas con


posterioridad también por definición

ii) Como símbolos de variables individuales las últimas letras del alfabeto latino
con o sin subíndice numérico: u, v, w, x, y, z, u1, v1, w1, y1, z1, etc.

iii) Símbolos de funciones n-arias: Las letras minúsculas del alfabeto latino con
subíndice numérico natural si fuese necesario, f1, g1, h1, etc. Aquí también, de
acuerdo con la lógica matemática para la cual tomásemos como base
lingüística el cálculo de predicados, podemos adoptar como símbolos del
constantes funcionales aquellos que usualmente denotan las funciones de
dicha teoría. Así por ejemplo, si se trata de aritmética podemos incluir los
símbolos de funciones binarias “+” y “.” También los símbolos de funciones
n-arias pueden ser introducidos por definición.

iv) Símbolos de relaciones n-arias: las letras mayúsculas del alfabeto latino P, Q,
R, S, con subíndice numérico si fuese necesario, P1, Q1, R1, etc. De nuevo aquí
de acuerdo con la teoría matemática para la cual tomásemos como base
lingüística el cálculo de predicados podemos adoptar como símbolos de
relaciones aquellos que usualmente denotan las relaciones de dicha teoría. Así,
Cap. 2 Lógica Matemática

por ejemplo, si se trata de la teoría de los números reales podemos incluir los
símbolos de relaciones binarias “=”.
También los símbolos de relaciones n-arias pueden ser introducidos por definción.

Símbolos de constantes proposicionales: 0 y 1


Símbolos de operadores proposicionales:
V
̚ (negación) , V (disyunción), (conjunción)
→ (implicación) ↔ (bicondicional)

Los símbolos del cuantificador universal ( ) y el cuantificador existencial Ǝ ( ).


Los símbolos auxiliares de la escritura [ ], ( ).

5. TERMINOS Y FORMULAS
A continuación vamos a definir una expresión fundamental constitutiva de toda
proposición de toda proposición o fórmulas matemáticas:
Los términos
La definición será recurrente

i) Toda constante y toda variable es un término.

ii) Si t1, t2,…………, tn son términos y f es un símbolo de función n-aria,


entonces f (t1, t2,……………..tn) es un término.
iii) Todo término es el resultado solamente de la aplicación un número finito de
veces de i) y ii).

EJEMPLO 4:
a b x
y1 2 3
f(x) g(a, f (y) ) g(y, h (f (a) , x))
+ (x, y) ó x + y

Sin embargo, xf y af(x)f no son términos.

Cuando estudiamos el cálculo proposicional dejamos en suspenso un problema: la


definición de proposición elemental. La solución de este problema es factible para las
Cap. 2 Lógica Matemática

teorías científicas que puedan tomar como base el lenguaje del cálculo de predicados
dado que entonces la noción de proposición elemental puede ser definida dentro de la
teoría a partir de la noción de fórmula elemental o atómica del cálculo de predicados
que pasamos a definir:

DEFINICIÓN: Sean t1, t2, ……………. tn términos, y sean P un símbolo de relación n-


aria. Entonces P (t1, t2, ………….tn) es una fórmula elemental o átomo.
EJEMPLO 5:
Son fórmulas elementales
P (a,b)
R (f(x), y)
S (f(x), g (a, y), y)
= (f(x), y), escrita usualmente como f(x)= y
≤ (x, g(x)), “ “ “ x ≤ g(x)

A continuación definiremos la noción de fórmula


i) Toda fórmula elemental es una fórmula.
ii) Si A es una fórmula, entonces – [A] es una fórmula
Si A y B son fórmulas, entonces [A V B], [A H B], [A → B], [A ↔ B]
V
iii)
son fórmulas.

iv) Si A es una fórmula donde x ocurre libre, entonces (x) A y Ǝ (x) A


son fórmulas.
v) Toda fórmula es el resultado solamente de la aplicación un número finito de
veces de las reglas anteriores.

EJEMPLO 8:
Son fórmulas:
P(x)
Q(x, y)
R (f(x), a)
x +y=y
f (x, y) ≤ g (x, y)
a≥ b + c
⌐ [Q (x, y)]
⌐ [R (f(x), (a)]
⌐ [x + y = y], escrita usualmente como x + y ≠ y
Cap. 2 Lógica Matemática

[⌐ [Q(x, y)] V R (f(x), a)]


[P (f(x) V R (f(x), a)]
[R (f(x), a) → Q (x, y)]
[⌐ [R (f(x), a)] ↔ [Q (x, y)
V
R(x)]]
(x) P(x)
(x) Ǝ (y) [⌐ [Q (x, y)] V R (f(x), a)]
(x) [R (f(x), a) → Q (x, y)]
Ǝ (y) Q (x, y)

Por el contrario, no son fórmulas:


Ǝ (x) x R
(x) R x V R f(x) a → Q (x, y)

A continuación podemos dar una definición bien precisa de función proposicional.

DEFINICIÓN: Una fórmula A se denomina una función proposicional o predicado ssi


A contiene al menos una ocurrencia de variable y se puede representar como A(x). En
general si A es una función proposicional de n argumentos o predicado n-ario, entonces
A se puede representar como A (x1, x2, ……………,xn) .

DEFINICIÓN: Una fórmula A se denomina enunciado o proposición ssi no contiene


ocurrencia alguna de variable libre.

Esta notación es hará extensiva al resto de los términos A (a), A(t) , etc. , para destacar la ocurrencia del
término a, etc. En la fórmula A

7. INTERPRETACIÓN DE FORMULAS DEL CALCULO DE PREDICADOS

En el cálculo de proposicional se definió la interpretación de una fórmula como una


asignación de valores veritativos 0 y 1 a las variables proposicionales de la fórmula. En
el cálculo de predicados con la aparición de las funciones proposicionales y la
cuantificación, es decir, fórmulas con variables libres y ligadas que toman valores en un
domino o universo de discurso dado, el concepto de interpretación se complica.

Para definir o realizar una interpretación de una fórmula A del cálculo de predicados en
un dominio U es necesario definir o establecer lo siguiente.
Cap. 2 Lógica Matemática

i) Si x es una variable libre de A, entonces x tiene como dominio de valores a


U.
ii) Si a es una constante de A, entonces a tiene como interpretación un elemento
de U, es decir, a nombra un elemento bien determinado de U.
iii) Si f es un símbolo de función n-aria de A , entonces f , se interpreta como una
función con dominio en Un y valores de U.
iv) Si R es un símbolo de relación n-aria de A, entonces R se interpreta como una
realción n-aria en U, es decir, R denota un subconjunto de Un..

DEFINICIÓN: Dada una interpretación de una fórmula A en un dominio U, se


establece por recurrencia cuando A es verdadera en U:
i) Si A es una fórmula atómica de la forma R( a1…………, an), entonces A es
verdadera en U ssi el n-uplo de elementos que denotan las constantes
a1,……………, an pertenece a la relación que denota R.
Las reglas ii) a vi), como se podrá apreciar a continuación, son dadas en
término de las definiciones de las operaciones proposicionales.
ii) Si A es la fórmula ⌐ B, entonces A es verdadera en U ssi B es falsa en U.
iii) Si A es la fórmula B V C, entonces A es verdadera en U ssi al menos una de
las dos fórmulas B ó C es verdadera en U.
V
iv) Si A es la fórmula A es la fórmula B CC, entonces A es verdadera en U ssi
ambas fórmulas B y C son verdaderas en U.
v) Si A es la fórmula B → C, entonces A es verdadera en U ssi nunca en U, B
es verdadera y C es falsa simultáneamente.
vi) Si A es la fórmula B ↔ C, entonces A es verdadera en U ssi B y C son
simultáneamente verdaderas o simultáneamente falsas en U .
vii) Si A es la fórmula (x) B (x) , entonces A es verdadera en U ssi B(x) es
verdadera para cualquier valor x en U.
viii) Si A es la fórmula Ǝ(x) B(x), entonces A es verdadera en U ssi B(x) es
verdadera para al menos un valor de x en U.

EJEMPLO 9:
Sea la fórmula
⌐[ (x) R (x, a) ] → Ǝ (y) R(f(b), y)
Definida en U = { 1, 2, 3 } de la siguiente manera
a denota el número 1
b “ “ “ 2
R = { < 1, 1>, <1, 2>, <1, 3>, <2, 3> }
f = { <1, 2>, <2, 3>, <3, 1> }
Cap. 2 Lógica Matemática

ó
f (1) = 2, f(2)= 3, f(3)= 1
Determinemos el valor veritativo por esta interpretación de la fórmula dada.
R(x,1) para x = 2 es falsa, luego Ɐ(x) R( x, a ) es falsa y entonces ¬[ Ɐ (x) R ( x, a)] es
verdadera.
Por otra parte, b = 2, f(2)=3
R( 3 , y ) para y = 1, y = 2, y = 3, es falsa, luego Ǝ (y) R ( f(b) , y ) es falsa.
Por lo tanto, la formula dada originalmente es falsa para la interpretación dada.
8. LEYES Y REGLAS DE INFERENCIADEL CALCULO DE PREDICADOS
Las siguientes propiedades establecen las tautologías o leyes y las reglas de inferencia
deductiva fundamentales del cálculo de predicados. Las mismas formulan las propiedades
principales de la operación de cuantificación. Ha de tenerse en cuenta además que todas
las leyes del cálculo proposicional son leyes también del cálculo de predicados, por ello
habiendo numerado dese L1 hasta L40 (copia) las leyes del cálculo proposicional
comenzamos la numeración de las leyes especificas del cálculo de predicados a partir de
L41.
Para facilitar la explicación de estas propiedades, en lo que sigue denotaremos mediante
A y B formulas en las que no aparece libre la variable X.
L41 Y L42 las tomaremos como axiomas. Todas las siguientes propiedades puedes ser
demostradas. Las que no demos aquí quedas propuestas al estudiante como ejercicio
L41. Ɐ (x) A(x) ≡> A(t)
donde A (t) es el resultado de sustituir la variable x por el termino t en todos los lugares
donde aparezca x en A (x).
Condición: Si x es variable de t, x es libre en A(t).
L42. Ɐ (x) [ A( x ) ꓿˃ B ] ≅ [ Ǝ (x) A (x) => B]
L43. Ɐ (x) ¬ A(x) ≅ ¬ Ǝ (x) A(x)
DEMOSTRACION:
Ɐ (x) ¬ A (x) ≅ Ɐ (x) [ ¬ A(x) v 0 ] L9
≅ Ɐ (x) [ A(x) => 0 ] L20
≅ Ǝ(x) A(x) => 0 L42
≅ ¬ Ǝ (x) A (x) v 0 L20
≅ ¬ Ǝ (x) A (x) L9
L44. Ɐ (x) A(x) ≅ ¬ Ǝ (x) ¬ A(x)
Cap. 2 Lógica Matemática

DEMOSTRACION :
¬ Ǝ (x) ¬ A (x) ≅ Ɐ (x) ¬ ¬ A (x) L43
≅ Ɐ (x) A (x) L15
L45. ¬ Ɐ (x) A (x) ≅ Ǝ (x) ¬ A (X)
L46. ¬ Ɐ (x) ¬ A (x) ≅ Ǝ (x) A (X)
L47 Ɐ (x) [ A (x) v B ] ≅ Ɐ (x) A (x) V B
DEMOSTRACION:
Ɐ (x) [ A (x) V B] ≅ Ɐ (x) [ ¬ ¬ A(x) v B ] L15
≅ Ɐ (x) [ ¬ A(x) => B ] L20
≅ Ǝ (x) ¬ A (x) => B L42
≅ ¬ Ɐ (x) A (x) => B L45
≅ ¬ ¬ Ɐ (x) A(x) v B L20
≅ Ɐ (x) A (x) v B L15

L48. Ǝ (x) [ A (x) ˄ B ] ≅ Ǝ (x) A (x) ˄ B


L49. A(t) ≡> Ǝ (x) A (x)
Condición: Si x es variable de t, x es libre en A(t).
DEMOSTRACION:
ᴦ ͱ Ɐ (x) ¬ A(x) => ¬ A(t) L41
ͱ A (t) => ¬ Ɐ (x) ¬ A(x) L24
ͱ A (t) => Ǝ (x) A(x) L46

NOTA : DE LA L50 A LA L62 NO DEMOSTRAR pero si escribir con ejemplos


prácticos

L50. Ɐ (X) A (x) ≡> Ǝ (x) A (x)


Ejemplo :
D=ℤ
A(X) : X2≥0
Como Ɐ (X) A (x) es verdadero puedo concluir que Ǝ (x) A (x)
Cap. 2 Lógica Matemática

L51. Ɐ (x) [ A(x) ˄ B ] ≅ Ɐ (x) A(x) ˄ B

L52. Ǝ (x) [ A (x) V B] ≅ Ǝ (x) A(x) V B


Sugerencia para la demostración : Aplicar L46
L53. Ɐ (x) [ A => B(x) ] ≅ [ A => Ɐ (x) B (x) ]
Sugerencia : Aplicar L20
L54. Ǝ (x) [ A (x) V B (x) ] ≅ Ǝ (x) A(x) V Ǝ (x) B(x)
L55. Ǝ (x) [ A (x) ˄ B(x) ] ≡> Ǝ (x) A (x) ˄ Ǝ (x) B(x)
L56. Ɐ(x) [ A(x) ˄ B(x) ] ≅ Ɐ (x) A(x) ˄ Ɐ (x) B(x)
L57. Ɐ(x) A(x) V Ɐ (x) B(x) ≡> Ɐ (x) [ A(x) V B(x) ]
L58. Ɐ(x) Ɐ(y) A(x, y) ≅ Ɐ (y) Ɐ(x) A(x, y)
L59. Ǝ(x) Ǝ(y) A(x, y) ≅ Ǝ (y) Ǝ(x) A(x, y)
L60. Ǝ(x) Ɐ(y) A(x, y) ≡> Ɐ (y) Ǝ(x) A(x, y)
L61. Ǝ(x) [ A (x) => B ] ≅ Ɐ (x) A(x) => B
L62. Ɐ (x) A (x) v Ɐ (y) B(y) ≡> Ɐ (x) Ɐ (y) [ A (x) V B(y) ]
Cap. 2 Lógica Matemática

También podría gustarte