Introduccin a la Teora de Conjuntos y a la Lgica

por

Luciano Garca Garrido

Profesor Titular Dpto. de Ciencia de la Computacin Facultad de Matemtica y Computacin Universidad de La Habana

[Texto provisional]

Luciano Garcia

Pgina 1 19/11/2002

Tabla de contenidos

1. INTRODUCCIN
1. Teora de Conjuntos 1.1. CONJUNTOS Representacin de Conjuntos Relacin de inclusin Igualdad de conjuntos Conjuntos distinguidos Operaciones entre conjuntos Algebra de conjuntos 1.2. RELACIONES Pares ordenados Relaciones binarias Operaciones entre relaciones Propiedades de las relaciones Relaciones de equivalencia Relaciones de Orden 1.3. FUNCIONES Tipos de funciones Operaciones con funciones Funciones de n variables

2. LGICA PROPOSICIONAL
2.1. PROPOSICIONES Operaciones entre proposiciones Lenguaje de la lgica proposicional Frmulas Definicin de las operaciones proposicionales Interpretacin de frmulas Leyes de la lgicas proposicional 2.2. DEDUCCIN LGICA Reglas de Inferencia Demostracin matemtica

3. LOGICA DE PREDICADOS
3.1. PREDICADOS Proposiciones en la lgica de predicados El lenguaje de la lgica de predicados Alfabeto Trminos Frmulas Lgica de predicados y aritmtica Interpretacin de frmulas 3.2. DEDUCCIN LGICA Leyes y reglas de inferencia Demostracin matemtica

1. Teora de Conjuntos
1.1. CONJUNTOS Considere las siguientes expresiones: 1. Los estudiantes de la Facultad de Matemtica y Computacin de la Universidad de La Habana del curso 2001-2002. 2. Los tomos de la ltima edicin de las obras completas de Jos Mart. 3. Los nmeros naturales. 4. Los nmeros reales entre 0 y 1. 5. Los nmeros perfectos mayores que 25 6. Las direcciones electrnicas 7. Los grupos de clases prcticas de lgica. Tales expresiones denotan colecciones o conjuntos de entidades de diversa naturaleza (individuos: estudiantes; objetos concretos: tomos; objetos abstractos: nmeros; incluso colecciones de objetos: grupos de clase prctica). En una nueva lectura se prefijar "el conjunto de" a cada una de las expresiones anteriores. De esta manera se ha ejemplificado el concepto de conjunto. No ser difcil para el lector aadir ms ejemplos a partir de su nocin intuitiva de este concepto. Ntese que en el lenguaje natural existen muchos sinnimos de conjunto tales como grupo, colectivo, rebao, manada, colonia, enjambre, etc. que se aplican segn las entidades y el contexto en cuestin. La palabra conjunto, que tambin en el lenguaje ordinario suele tener usos especficos, por ejemplo, conjunto musical, es la que comnmente se utiliza en el quehacer matemtico y computacional en lengua espaola y ser la adoptada en este libro. Otros sinnimos de conjunto, que aparecen en la actividad cientfica, son clase, familia, los cuales sern introducidos en algn momento de nuestra exposicin para referirnos tambin a conjuntos. Ntese que se ha ejemplificado pero no definido que es un conjunto, el concepto de conjunto ser tomado en los desarrollos que siguen como un concepto primitivo, es decir, no definido. Vamos a desarrollar una teora elemental sobre los conjuntos basada en este concepto primitivo.

Notacin para conjuntos

Para desarrollar la teora de conjuntos se introducir paulatinamente una notacin que permitir construir las expresiones de dicha teora. En primer lugar, para denotar conjuntos cualesquiera se utilizarn letras maysculas del alfabeto latino: A, B, C, ...

Tambin se utilizarn algunos smbolos de uso constante en la prctica matemtica para denotar a determinados conjuntos numricos: : conjunto de los nmeros naturales. : conjunto de los nmeros reales.

Elementos

Se denomina elemento (miembro) de un conjunto a cada una de las entidades que el mismo contiene. Los elementos de un conjunto se representan mediante alguna notacin particular que se introduzca para nombrarlos. Por ejemplo, los smbolos que representan los nmeros en el sistema decimal: 0, 1, 2, 3, 4, 5, 6, 7, 8, 9, nombres de personas: Maria, Pedro, etctera.

Relacin de pertenencia

Existe una relacin fundamental entre un conjunto y cualquiera de sus elementos la cual se denomina relacin de pertenencia. Esta relacin es precisamente la que afirma que una entidad es un elemento de un conjunto. El enunciado "x pertenece a A" (expresin sinnima: "x es elemento de A") ser representado por xA donde x es cualquier entidad y el smbolo denota la relacin de pertenencia. Note que no se ha definido sino slo mostrado a la intuicin lo que es la relacin de pertenencia. Al igual que la nocin de conjunto se acepta aqui como un concepto primitivo. La negacin de dicho enunciado "x no pertenece a A" se representa por xA (expresin sinnima: "x no es elemento de A").

Representacin de Conjuntos La notacin introducida para conjuntos es una notacin compacta y servir con esta caracterstica para muchos de los desarrollos que siguen. Sin embargo, en la prctica resulta conveniente una representacin de conjunto que nos permita saber cules son precisamente los elementos que lo constituyen. Esta representacin puede hacerse de dos formas no excluyentes:

a) Relacionando todos sus elementos (representacin extensional) b) dando una propiedad que debe ser satisfecha por todos sus elementos (representacin intensional)
Representacin extensional

Se representar un conjunto en forma extensional escribiendo, encerrados entre llaves y separados por comas, los nombres de sus elementos. Ejemplos: A = {0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10} B = {Andrs, Mara, Juan} La anterior representacin no implica ningn orden entre los elementos de un conjunto y en caso de que sus elementos se repitiesen se cuentan como uno. Slo con el objeto de facilitar la exposicin que sigue utilizaremos una representacin grfica para conjuntos dados extensionalmente, consistente en un crculo en cuyo interior aparecen los nombres de sus elementos. Ejemplo: Para A = { 0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10 }, su representacin grfica es la siguiente

Representacin intensional

Se representar un conjunto en forma intensional mediante una propiedad que debe cumplir cualquier entidad para ser elemento del conjunto de la siguiente forma: { x | P(x)} y se lee "el conjunto de las x tales que x cumple la propiedad P". Ejemplos: a) A = {x | x es estudiante universitario y x tiene menos de 19 aos de edad} b) B = {x | x y x < 11} Note que B es una representacin intensional del conjunto representado extensionalmente por {0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10}. Volviendo a la nocin de conjuntos, dado que la representacin intencional introducida nos permite realmente definir en la prctica conjuntos mediante propiedades no se podra acaso considerar propiedad como sinnimo de conjunto? De hecho como se ver ms adelante la lgica permite disear lenguajes bien rigurosos, formales, para definir propiedades. Resulta que esta identificacin entre conjunto y propiedad est implcita en la definicin de conjuntos dada por el fundador de la teora de conjuntos, el matemtico alemn Georg Cantor (1845-1918) al considerar que un conjunto es una coleccin en un todo de entidades determinadas, distintas, de nuestra intuicin o de nuestro pensamiento (Principio de abstraccin de Cantor ). Uno de los fundadores de la lgica moderna, el lgico ingls Betrand Russell (1872-1970) descubri a principios de siglo que tal identificacin conduce a una contradiccin: Considere la siguiente propiedad: x es conjunto y x x y sea A = { x / x es conjunto y x x }. Dado que A es un conjunto, entonces si consideramos que A A, entonces A A y si consideramos que A A, entonces A A, es decir, A A si y slo si A A. esta contradiccin fue descubierta por Russell en los momentos que otro lgico alemn Gotllob Frege (1848-1925) intentaba fundamentar la aritmtica sobre la nocin de conjuntos. No se ha renunciado por ello a definir conjuntos mediante propiedades, pero si a impedir de alguna forma la posibilidad de definir conjuntos con propiedades tan totalizantes como la anterior. Las propuestas pertenecen al rea de la teora axiomtica de conjuntos y el lector interesado puede consultar Mendelson [1964]. Un conjunto es finito si tiene un nmero n de elementos, siendo n . Un conjunto es infinito si no es finito. Todos los conjuntos dados hasta aqu como ejemplos, excepto el conjunto de los nmeros naturales son conjuntos finitos. Una representacin extensional usual de como conjunto infinito es la siguiente:

 = {1, 2, 3,..., n,...} Un conjunto unitario es un conjunto que posee un nico elemento. Ejemplos: a) {2} b) {x | x es par y x es primo} Observe que a) es una representacin extensional de b), y viceversa que b) es una representacin intensional de a).

Relacin de inclusin Al comenzar este tpico se debe llamar la atencin sobre lo siguiente: se han introducido como primitivas o sin definiciones las nociones de conjunto y relacin de pertenencia. A continuacin, se observara un primer ejemplo tpico de definicin en lgica: a partir de las nociones primitivas anteriores se define una relacin importante entre conjuntos, la relacin de inclusin. Definicin: Si A y B son conjuntos, entonces A est incluido en B, (A es subconjunto de B) lo cual representaremos por AB si y slo si para toda x, si x A, entonces x B. Tambin se dice en este caso que A es subconjunto de B. Ejemplo: Sea A = {a, c, d, f } y sea B = {a, b, c, d, e, f, g}, entonces se verifica que A B.

La negacin de A f B se escribe A B y se lee "A no esta incluido en B" ("A no es subconjunto de B"). Ejemplo: Sean los conjuntos A = {4, 5, 6, 7, 8, 9}, B = {10, 11, 12 } y C = {1, 2, 3, 4, 5, 6 } entonces se verifica que A B y que A C.

Igualdad de conjuntos A partir de la relacin de inclusin se obtiene la siguiente Definicin: Si A y B son conjuntos, entonces A es igual a B, lo cual denotaremos por A=B si y slo si A f B y B f A. Esta definicin equivale a la siguiente: dos conjuntos son iguales si y slo si tienen exactamente los mismos elementos. La negacin de A = B se denota por AB y se lee A es desigual de B ( A es distinto de B. Ejemplo a) Dado que 2 el el nico nmero que es primo y par a la vez se tiene que {2} = {x | x es primo y x es par} b) Dado que si un nmero es divisible por 2, es mltiplo de 2, se tiene que {x | x y x es divisible por 2 } = { x | x y x es mltiplo de 2 } El ejemplo b) revela lo siguiente: un mismo conjunto puede ser definido por propiedades diferentes, siendo por lo tanto ambas propiedades extensionalmente equivalentes.

Los siguientes enunciados establecen propiedades de la relacin de inclusin. La validez de estos enunciados se desprende de la propia definicin de la relacin de inclusin. Las propiedades mencionadas sern objeto de estudio cuando se trate el concepto de relacin.

a) A A (la relacin f es reflexiva). b) si A B y B A, entonces A = B (la relacin es antisimtrica). c) Si A B y B C, entonces A C (la relacin es transitiva). Se dice que A es un subconjunto propio de B, lo cual se denota por A d B, si A es subconjunto B y desigual de B, es decir, Definicin: A d B si y slo si A B y A ? B

Conjuntos distinguidos
Conjunto universo o dominio

En la prctica resulta conveniente fijar un conjunto que incluya todas las entidades que ocupan nuestra atencin en un momento dado. Vamos a llamar conjunto universo o dominio a este conjunto. Por ejemplo, la teora de nmeros investiga las propiedades de los nmeros naturales, entonces su dominio es precisamente el conjunto de los nmeros naturales. En Anlisis, el dominio puede ser el conjunto de los nmeros reales (Anlisis Real) o el conjunto de los nmeros complejos (Anlisis Complejo). En el desarrollo de la teora de conjuntos se utilizar el smbolo U para denotar un dominio. Ntese que una vez fijado un dominio, todos los conjuntos que se consideran se definen con respecto a dicho dominio y son por lo tanto subconjuntos del mismo. Por lo tanto, dado U, para cualquiera que sea el conjunto A, A U.

10

Conjunto vaco

Es posible definir propiedades las cuales no son cumplimentadas por ninguna entidad. Por ejemplo "x es nmero natural y x es par e impar". Propiedades como la dada definen un conjunto, que no tiene elementos al cual denominaremos conjunto vaco y denotaremos con el smbolo . La relacin entre y el resto de los conjuntos es la siguiente: A Analice por qu el enunciado anterior satisface la definicin de la relacin de inclusin. Se volver sobre el mismo ms adelante.
Conjunto potencia

En ocasiones resulta conveniente hablar de los subconjuntos que puedan estar incluidos en un conjunto dado. Entonces, dado el conjunto A, se define un nuevo conjunto que denominaremos conjunto potencia de A, este se denota por 2A y tiene como elementos todos los subconjuntos de A, es decir: Definicin: 2A = {B | B A} Observe que 2A es un conjunto cuyos elementos son conjuntos. Si el conjunto A tiene un nmero finito n de elementos, el nmero de elementos de 2A es igual a 2 n. Ejemplo: Sea A = {Pedro, Luisa, Ana}, entonces 2A = {{Pedro}, {Luisa}, {Ana}, {Pedro, Luisa}, {Pedro, Ana}, {Luisa, Ana}, A, }

11

Operaciones entre conjuntos A partir de conjuntos dados es posible, mediante ciertas operaciones que se definen a continuacin, construir nuevos conjuntos.
Unin de Conjuntos

Definicin: Dados los conjuntos A y B se obtiene, mediante la operacin unin, denotada por el smbolo , un nuevo conjunto que se denota por AB (se lee: "A unin B") cuyos elementos son aquellos que pertenecen a A, o a B, o a ambos conjuntos, es decir A B = {x | x A x B o x pertenece a ambos conjuntos} Ejemplos: a) Sea A = {1, 2, 4, 6} y B = {7, 8, 9}, entonces A B = {1, 2, 4, 6, 7, 8, 9}

b) =
Interseccin de conjuntos

Definicin: Dados los conjuntos A y B se obtiene, mediante la operacin interseccin, denotada mediante el smbolo , un nuevo conjunto que se denota por AB

12

(se lee: "A interseccin B") cuyos elementos son aquellos que pertenecen tanto a A como a B a la vez, es decir, A B = { x | x A y x B} . Ejemplo s: a) Sea A = { 1, 2, 3} y B = { 2, 3, 4, 5} , entonces A B = {2,3}

b) = Si A y B no tienen ningn elemento en comn entonces A B = y se dice que A y B son disjuntos. Ejemplo: Sea A = { 1, 2, 3, 4, 5} y B = { 6, 7, 8, 9, 10} , entonces A B =

13

Complemento de un conjunto

: Dados los conjuntos A y B se obtiene, mediante la operacin complemento relativo, denotada por el smbolo , un nuevo conjunto que se denota mediante AB (se lee: "complemento de B con respecto a A"), cuyos elementos son los elementos que pertenecen a A, pero no a B, es decir, A B = { x | x A y x B} Ejemplo: Sea A = {4, 5, 6, 7, 8, 9, 10}, B = {1, 2, 3, 4, 5, 6}, entonces B - A = {4, 5, 6}

Entre los complementos relativos de un conjunto es muy importante el complemento relativo de un conjunto A con respecto a su dominio U. Este complemento se denomina complemento absoluto y se denota por Ac , es decir, Ac = U A Note que Ac contiene todos los elementos del dominio que no estn en A. Cuando hablemos simplemente del complemento de un conjunto A nos estaremos refiriendo a su complemento absoluto. Ejemplo: U = {1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 15, 16, 18, 19, 20, 21, 24}, A = {4, 5, 10, 12, 13, 16}, entonces Ac = {1, 2, 3, 6, 7, 8, 9, 11, 15, 18, 19, 20, 21, 24}

14

Algebra de conjuntos Las propiedades de las operaciones conjuntuales sern objeto de estudio a continuacin. Siempre que se tiene una cierta clase de objetos abstractos (en nuestro caso los conjuntos) y se introducen determinadas operaciones entre los mismos (en nuestro caso la unin, la interseccin y el complemento), se dice que la clase de objetos junto con las operaciones introducidas entre estos objetos constituye una estructura algebraica. El lgebra es la parte de la matemtica encargada de estudiar las estructuras algebraicas. Son objeto especial de estudio por el lgebra las propiedades que caracterizan a las operaciones en las estructuras algebraicas. Estas propiedades se establecen mediante identidades y reciben comnmente el nombre de leyes. A continuacin, las leyes fundamentales de las operaciones conjuntuales.
1. Leyes de idempotencia

(1a) A A = A (1b) A A = A
2. Leyes asociativas

(2a) (A B) C = A (B C) = A B C (2b) (A B) C = A (B C) = A B C
3. Leyes conmutativas

(3a) A B = B A (3b) A B = B A

15

4. Leyes distributivas

(4a) A (B C) = (A B) (A C) (4b) A (B C) = (A B) (A C)
5. Leyes de identidad

(5a) A = A (5b) A U = A (5c) A U = U (5d) A =

6. Leyes de complemento

(6a) A AC = U (6b) A AC = (7c) (AC) C = A (8d) UC = (9e) C = U

7. Leyes de De Morgan

(7a) (A B) C = AC BC (7b) (A B) C = AC BC

8. Leyes de Absorcin (8a) A (A B) = A (8b) A (A B) = A

Como se observa, muchas de las propiedades que expresan estas leyes resultan ser muy evidentes, como en el caso de la idempotencia, la asociatividad y la conmutatividad. No obstante, teniendo en cuenta las definiciones de las operaciones conjuntuales puede procederse lgicamente a su demostracin de manera informal. Ejemplo: A continuacin se realizar una demostracin lgica de una de estas leyes. El objetivo es la familiarizacin ya con los mtodos de demostracin lgica cuyo estudio se abordar posteriormente. Se demostrar, a manera de ejemplo la ley distibutiva (4b). A (B C) = (A B) (A C) De acuerdo con la definicin de igualdad de conjuntos bastar demostrar que

16

A (B C) (A B) (A C) y que (A B) (A C) A (B C)

(I)

(II)

Para demostrar (I), de acuerdo con la definicin de la relacin de inclusin, basta demostrar que si x A (B C) entonces x (A B) (A C). Supngase que x A (B C), entonces por definicin de interseccin, xA y xBC, y dado que x B C, entonces por definicin de unin xB xC Luego la demostracin tiene que continuar considerando los dos casos posibles: Suponga que x B, entonces dado que x A, se tiene que x (A B), Suponga que x C, entonces por el mismo razonamiento anterior x (A C), luego en cualquier caso, por la definicin de unin, x (A B) (A C). Se deja al lector la demostracin de (II).

Definicin: Se denomina particin del conjunto A, a una clase B de subconjuntos de A que satisface las siguientes condiciones: i) B ii) Dados dos conjuntos Ai y Aj , i j, de B se tiene que Ai Aj = . iii) La unin de todos los conjuntos de B es igual a A, es decir, si A1, A2, ..., An son los subconjuntos de B entonces A= A1 A2 ... An Ejemplo: Sea A = {1, 2, 3, 4, 5} y B = {{1}, {2, 3}, {4, 5}}, entonces B es una particin de A.

17

Ejercicios 1. Represente extensionalmente tres conjuntos de objetos que se hallen a su alrededor. Proponga una propiedad para definir cada conjunto. Trate de definir los mismos conjuntos por propiedades distintas a las previamente dadas. 2. Diga sin son verdaderos o falsos las siguientes proposiciones. Justifique sus respuestas. a) b) c) d) {} {}

3. Sea el dominio U = {1, 2, 3, 4} y sean A = {1, 2, 3} y B = {1, 2}. Diga si son verdaderos o falsos los siguientes enunciados. Justifique sus respuestas. a) b) c) d) e) B A. 2 B A B {A} A B (B A)C A B

4. Sean A y B subconjuntos del dominio U. Demuestre que para cada uno de los grupos enunciados, si es verdadero al menos uno de los enunciados en un grupo tambin son verdaderos las restantes. a) A B, BC AC, A B = B, A B = A b) A B = U, AC B, BC A. c) A B = , A BC, B AC. 5. Establezca si son verdaderos o falsos los enunciados a continuacin. Justifique sus respuestas. a) b) c) d) e)
{}= {} {}= {,{}}- {{}} = {} - = {,{}}- {} = {{ }}

6. Demuestre mediante las leyes del lgebra de conjuntos los siguientes enunciados: a) b) c) d) (A BC)C = AC B ((A B)C C)C = (A B) C ((A B)C A)C = B AC ((A B) (AC BC)= U

18

1.2. RELACIONES Considere los siguientes enunciados: a) La tierra gira alrededor de el sol. b) Andrs es tan inteligente como Juan. c) 2 3 d) 5 e) Luis est entre Mara y Alberto En cada uno de los enunciados anteriores se afirma que una cierta relacin se mantiene entre dos o ms entidades. Como puede apreciarse en los ejemplos, las relaciones expresan interaccin, comparacin, orden, pertenencia, situacin, etc., entre entidades. Observe que todos los hechos, principios y regularidades que se enuncian, en general todo el conocimiento, se refiere a relaciones que afirmamos se mantienen entre diversas entidades. El concepto de relacin es, por lo tanto, una estructura esencial de nuestro razonamiento y su estudio, como se podr apreciar, ocupa un lugar destacado en la lgica. Como ya ha comenzado a hacerse evidente a travs de los desarrollos anteriores, el establecimiento de enlaces definicionales entre conceptos es aspecto esencial y objeto de estudio de la lgica. Analicemos ahora cmo puede lograrse una definicin del concepto de relacin dentro de la teora de conjuntos.

Pares ordenados Dada una relacin, los objetos que la mantienen entre s pertenecen a un dominio dado. Luego es evidente que una relacin podra representarse relacionando todos los pares de elementos de un dominio que mantienen la relacin entre s. Considere el enunciado a) que consta de la relacin binaria (relacin entre dos entidades) girar alrededor de . El enunciado afirma que dicha relacin se mantiene entre los objetos tierra y sol. Luego podemos afirmar que el par de objetos tierra, sol, es elemento de la relacin girar alrededor de que puede representarse extensionalmnete como un conjunto de pares de objetos en que el uno de los objetos gira alrededor del otro. Observe adems que los pares de objetos que constituiran esta relacin, por ejemplo, el par tierra, sol, no pueden ser dados en cualquier orden, ya que siguiendo con nuestro ejemplo, el par sol, tierra extrado del enunciado falso (y que por mucho tiempo se tomo como verdadero) "el sol gira alrededor de la tierra" no pertenece a la relacin en cuestin. De aqu que se expresa un orden y por ello se denomina par ordenado a todo elemento de una relacin. En resumen, el par ordenado, constituido por objetos a y b cualesquiera, se denotar de la manera siguiente:

19

<a, b> y se lee "el par ordenado a, b". Se dice del objeto a que es el primer elemento y del objeto b que es el segundo elemento del par ordenado <a, b>. El concepto de par ordenado ha sido informalmente caracterizado como un concepto primitivo. Si se quiere una definicin formal se puede adoptar la siguiente definicin de Banach-Kuratowski: <x, y> = {{x}, {x, y}} dada en trminos exclusivamente de la nocin de conjunto. Se deja al lector el anlisis de esta definicin, as como su utilizacin para demostrar la igualdad entre pares ordenados: <x, y> = < x, y> Note que a partir de la definicin de par ordenado es posible obtener la siguiente definicin de triplo ordenado Definicin: <x, y, z> = <x <y, z>>.

Es decir, un triplo ordenado es un par ordenado cuyo segundo elemento es un par ordenado. En general, se puede definir un n-uplo ordenado de la manera siguiente: Definicin: <x1, x2, ..., xn > = < x1 , <x2 , ..., xn > >

Es decir, un n-uplo ordenado es un par ordenado cuyo segundo elemento es un (n-1)uplo ordenado. Dadas estas definiciones, obtenidas todas a partir de la definicin de par ordenado, est justificado que en lo adelante hablemos de pares ordenados o simplemente de tuplos.

Conjuntos productos

Continuando con el objetivo de lograr una definicin conjuntual de las relaciones se definirn conjuntos cuyos elementos son n-uplos ordenados y a los cuales denominaremos conjuntos productos. Definicin: Sean A y B conjuntos no necesariamente distintos, entonces denomina conjunto producto o producto cartesiano de A por B y se denota mediante A H B al conjunto que tiene como elementos los pares ordenados de la forma <x, y> tales que x A y y B , es decir: A H B = { <x, y > | x A y y B } .

20

Ejemplos: a) Sea A = {1, 2, 3} y B = {a, b}, entonces A H B = {<1, a>, <1, b>, <2, a>, <2, b>, <3, a>, <3, b>}. b) Sea A = {1, 2, 3} y B = {a, b} , entonces A H B H A = {<1, a, 1>, <1, a, 2>, <1, a, 3>, <1, b, 1>, <1, b, 2>, <1, b, 3>, <2, a, 1>, <2, a, 2>, <2, a, 3>, <2, b, 1>, <2, b, 2>, <2, b, 3>, <3, a, 1>, <3, a, 2>, <3, a, 3>, <3, b, 1>, <3, b, 2>, <3, b, 3> } . Observe que un conjunto producto contiene por definicin todos los pares ordenados posibles. Generalizando Definicin: Sean A1, A2, , An conjuntos no-vacos no necesariamente distintos, entonces A1 H A2 H H An = { <x1, x2,, xn> / x1 A1, x2 A2 H H xn An } El lector verificar que la operacin producto entre conjuntos no es en general conmutativa. Qu se puede decir en cuanto a la asociatividad?. Las siguientes son algunas equivalencias distributivas de la operacin producto con respecto a las operaciones conjuntuales: a) (A B) H C = (A H C) (B H C) b) (A B) H C = (A H C) (B H C) c) (A - B) H C = (A H C) - (B H C) Se dejan las demostraciones al lector. Relaciones binarias A partir de la definicin de conjunto producto se procede finalmente a definir el concepto de relacin. Dado que las relaciones sern representadas extensionalmente como conjutos de tuplos y dado que la nocin de par ordenado es la base para la definicin de tuplos, no se pierde en generalidad si basamos nuestra exposicin en las relaciones binarias. Definicin: Sean los conjuntos A y B no necesariamente distintos, se dice que R es una relacin binaria de A en B si R es un subconjunto de pares ordenados de A H B, es decir, si R A H B. Si A = B, entonces se dice simplemente que R es una relacin binaria en A. Observe que una relacin binaria R en un conjunto A slo contiene los pares ordenados de A H A que mantienen la relacin entre s.

21

En la prctica lgica existen dos notaciones fundamentales para establecer que una relacin se mantiene entre dos o ms elementos. Si R es una relacin binaria y <a, b> R, entonces R(a, b) (notacin prefija) y aRb (notacin infija) son formas alternas de afirmar que a mantiene la relacin R con b. Definicin: Si R es una relacin binaria se denota por dom(R) y se denomina dominio de R al conjunto: dom(R) = {x / existe y tal que <x, y> R} Definicin: Si R es una relacin binaria se denota por codom(R) y se denomina codominio de R al conjunto: codom(R) = {y / existe x tal que <x,y> R} Ejemplos: La relacin < (menor que) en es una relacion binaria con dom() = y codom() = - {0}. La relacin < (menor que) en es una relacion binaria con dom() = codom() = .

Operaciones entre relaciones Dado que las relaciones son conjuntos todas las operaciones conjuntuales definidas entre conjuntos se pueden aplicar tambin entre relaciones. Sin embargo, lo importante es que con el nuevo tipo de conjuntos que son las relaciones, es decir, conjuntos de tuplos ordenados, tiene sentido definir para las relaciones otras operaciones conjuntuales. As se tiene: Definicin: Sea R una relacin, entonces se define a partir de R una nueva relacin denominada inversa de R y denotada por R-1 de la manera siguiente: R-1= {<x, y> | <y, x> R } Ejemplos: a) Sea R = { <1, 1>, <1,2>, <1, 3>, <1, 4> }, entonces R-1 = { <1, 1>, <2, 1>, <3, 1>, <4, 1> } . b) La inversa de la relacin > en es la relacin <. c) padre denota en espaol una relacin binaria en el conjunto de los seres humanos.La inversa de padre es la relacin hijo. Definicin: Si R y S son relaciones, entonces se define a partir de R y S una nueva relacin denominada la compuesta de R con S, denotada por S B R, de la manera siguiente: S B R = { <x, y> | Existe z tal que <x, z> R y <z, y> S }

22

Ejemplo: a) Sea R = { <1, 2>, <2, 3>, <3, 4> } y S = { <2, 3>, <3, 4>, <4, 1> } , entonces S B R = { <1, 3>, <2, 4>, <3, 1> } . b) Considere las relaciones binarias entre los seres humanos hermana y padre, entonces verifique mediante ejemplos que la compuesta hermana B padre define la relacin binaria ta.

Propiedades de las relaciones Nuestro anlisis de las relaciones ser completado ahora con el estudio de algunas de sus propiedades fundamentales y la definicin de algunos tipos de relaciones de gran importancia. En las definiciones que siguen supondremos que las relaciones son binarias y que estn definidas sobre los elementos de un determinado conjunto A, es decir, las relaciones son subconjuntos de A H A . Algunas afirmaciones de las propiedades en los ejemplos se darn sin justificacin apelando a los conocimientos del lector.
Reflexividad

Primero, analicemos como puede ser el comportamiento de una relacin con respecto a cualquier elemento del conjunto donde est definida. La propiedad que define este comportamiento se denomina reflexividad y puede ser de dos formas fundamentales: Definicin: Una relacin R en A es reflexiva si y slo si para toda x A se tiene que <x, x> R. Ejemplos: a) Sea A = { 1, 2, 3 }, entonces la relacin R = {<1, 1>, <1, 2>, <2, 2>, <2, 1>, <3, 2>, <2, 3>, <3, 3> } es reflexiva en A. b) La relacin en es reflexiva. c) La relacin ser tan alto como es reflexiva en cualquier conjunto de seres humanos Definicin: Una relacin R en A es irreflexiva si y slo si para toda x A se tiene que <x, x> R . Ejemplos: a) La relacin < (ser menor que) es irreflexiva en . b) La relacin d es irreflexiva entre conjuntos b) la relacion ser padre de es irreflexiva en el conjunto de los seres humanos.

23

Simetra

Veamos ahora cual es el comportamiento de la relacin con respecto a dos elementos no necesariamente distintos del conjunto donde est definida. La propiedad que define este comportamiento se denomina simetra y puede adoptar tres formas fundamentales: Definicin: Una relacin R en A es simtrica si y slo si para toda x A, y A se tiene que si <x, y> R , entonces <y, x> R . Ejemplos: a) Sea A= {1, 2, 3}, entonces la relacin R = {<1, 1>, <1, 2>, <2, 2>, <2, 1>, <3, 2>, <2, 3>, <3, 3> } es simtrica en A. b) la relacin = (de igualdad) es simtrica en c) La relacin ser tan alto como es simtrica en cualquier conjunto de seres humanos Definicin: Una relacin R en A es asimtrica sis para toda x A, y A se tiene que si <x, y> R , entonces <y, x> R . Ejemplos: a) La relacin ser sucesor inmediato de es asimtrica en . b) La relacin < es asimtrica en . c) La relacin d es asimtrica entre conjuntos. Definicin: Una relacin R en A es antisimtrica sis para toda x A, y A se tiene que si <x, y> R y <y, x> R , entonces x = y. Ejemplos: a) La relacin = (mayor o igual que) es antisimtrica en . b) Verifique que la relacin f es antisimtrica en el conjunto potencia 2A de cualquier conjunto A.
Transitividad

A continuacin veamos cual es el comportamiento de una relacin con respecto a tres elementos no necesariamente distintos del conjunto donde est definida. La propiedad que define este comportamiento se denomina transitividad y puede adoptar dos formas fundamentales: Definicin: Una relacin R en A es transitiva si y slo si para toda x A, y A, z A se tiene que si <x, y> R y <y, z> R, entonces <x, z> R. Ejemplos: a) La relacin = (mayor o igual que) es transitiva en .

24

b) La relacin d es transitiva entre conjuntos. c) La relacin ser tan alto como es transitiva en cualquier conjunto de seres humanos. Definicin: Una relacin R en A es intransitiva si y slo si para toda x A, y A, z A se tiene que si <x, y> R y <y, z> R , entonces <x, z> R . Ejemplos: a) La relacin ser padre de es intransitiva en el conjunto de los seres humanos. b) La relacin ser sucesor inmediato es intransitiva en .

Relaciones de equivalencia Teniendo en cuenta las propiedades anteriores se define a continuacin un tipo de relacin muy importante. Definicin: Una relacin binaria R en un conjunto A es una relacin de equivalencia si y slo si R es reflexiva, simtrica y transitiva en A . Ejemplos: a) La relacin ser tan alto como es una relacin de equivalencia en cualquier conjunto de seres humanos. b) La relacin de igualdad es una relacin de equivalencia en cualquier conjunto. Las relaciones de equivalencia constituyen un poderoso instrumento de definicin de entidades abstractas. Sea R una relacin de equivalencia entre los elementos de un conjunto A y sea a A, entonces se denomina clase de equivalencia por R de a y se denota mediante [a] al conjunto de las x, x A, que mantienen con a la relacin R, es decir, [a] = { x | <a, x > R } . La familia de las clases de equivalencia por R de A se denomina el cociente de A por R y se denota por A/R, es decir, A / R = { [a] | a A } As pues a partir del conjunto A hemos definido otro conjunto A / R mediante una relacin de equivalencia que contiene como elementos clases abstracta de entidades. Este proceso definitorio que se acaba de exponer es de gran importancia en la ciencia en general pues fundamenta todos los procesos de clasificatorios. Ejemplo: Sea Z = {, -n, , -2, -1, 0, 1, 2, , n, } (conjunto de los nmeros enteros) y sea R una relacin tal que R = { <x, y> | x - y es divisible por n y n }.

25

Se puede verificar que R es una relacin de equivalencia ya que x - x es divisible por n (reflexiva), si x- y es divisible por n, entonces y - x es divisible por n y, por ultimo, si x - y es divisible por n y y - z es divisible por n, entonces x - z es divisible por n dado que x - z = (x - y) + (y - z) . Para n = 5, se tiene que Z/R tiene como elementos los siguientes 5 conjuntos: {..., -10, -5, 0, 5, 10, ...} {..., - 9, - 4, 1, 6, 11, ...} {..., - 8, - 3, 2, 7, 12, ...} {..., - 7, - 2, 3, 8, 13, ...} {..., - 6, - 1, 4, 9, 14, ...} Si se observan las clases definidas por R en Z, se verifica que constituyen una particin de Z. De manera general se tiene la siguiente proposicin que se enuncia sin demostracin: Si R es una relacin de equivalencia en un conjunto A, entonces a partir de R puede definirse una particin de A, precisamente A/R, y viceversa, si se tiene una particin B de A entonces puede definirse una relacin de equivalencia R en A tal que B= A/R.

Relaciones de Orden Definicin: Una relacin R en un conjunto A, se denomina un orden parcial de A si y slo si R es reflexiva, antisimtrica y transitiva en A. Ejemplo: a) La relacin f es un orden parcial en cualquier clase de conjuntos. b) La relacin es un orden parcial en . Definicin: Una relacin R en un conjunto A se denomina un orden total (lineal) si y slo si R es un orden parcial y adems para toda x A y y A, se tiene que x R y y R x. Ejemplo: a) La relacin en es un orden total, es decir, para cualquier par de nmeros reales x, y, se cumple que x y o y x. Verifique sin embargo que la relacin de orden parcial f en 2A para cualquier conjunto A es un orden parcial que no es total. La relacin < en puede definirse a partir de la relacin en de la siguiente manera: x < y si y slo si x y y x y .

26

Se deja al lector la demostracin a partir de la definicin dada de que esta relacin es irreflexiva, asimtrica y transitiva en . Si una relacin R en un conjunto A es un orden, entonces su relacin inversa R-1 es tambin un orden que tiene las mismas propiedades que R : la inversa de la relacin < en es la relacin > y es tambin un orden con las mismas propiedades que <.

Ejercicios 1. Sea A = {0, 1, 2, 3, 4, 5, 6, 7, 8, 9}, R = {<x, y> / x, y A, x < y}. Represente en forma extensional: R, R-1, R R-1, R R-1, R B R-1, R-1 B R. 2. Demuestre las equivalencias distributivas de la operacin producto dadas en el texto. 3. Sean R y S relaciones no-vacas en un conjunto A. Diga si son verdaderos o falsos los siguientes enunciados. Justifique sus respuestas. a) Si R es simtrica, entonces R-1 es simtrica. b) Si R es asimtrica, entonces R R-1 . c) Si R es asimtrica y transitiva, entonces R es irreflexiva. d) Si R es transitiva e irreflexiva, entonces R es asimtrica. 4. Sea el conjunto A = {1, 2, 3}. a) Halle todas las particiones de A. b) Defina extensionalmente una relacin de equivalencia para cada una de las particiones de A. 5. Sean R y S relaciones de equivalencia sobre un conjunto A, y sean n y m el numero de clases de equivalencia en A/R y A/S respectivamente. A partir de R y S se define la relacin P de la manera siguiente: x P y ssi (x R y) y (x S y) . Se verifica que P es una relacin de equivalencia en A. a) Cul es el menor nmero de clases de equivalencia de P? Cul el mayor? b) Se define una relacin de equivalencia Q como sigue: x Q y ssi (x R y) o (x S y) . Cual es el menor nmero de clases de equivalencia de Q?

27

Cul el mayor? 5. Considere la siguiente relacin R definida en el conjunto de los enteros Z de la manera siguiente: para toda x, y Z, x R y sis existe z Z tal que x = y + z. Determine el tipo de R de acuerdo con las propiedades que cumple segn la definicin dada. Analice el caso para z Z {0}. 6. Sea la relacin denotada por < definida en de la manera siguiente: x < y si y slo si x y y x y . Demuestre que < es irreflexiva, asimtrica y transitiva en . 7. Analice la definicin formal de par ordenado y utilcela para demostrar la igualdad entre pares ordenados.

28

1.3. FUNCIONES Las relaciones permiten dar una definicin abstracta del concepto de funcin usual en matemtica y computacin. Este concepto se define de manera intuitiva diciendo que f es una funcin definida en un conjunto A y con valores en un conjunto B, lo cual se denota por f:AB si f asocia (hace corresponder ) a cada elemento de A uno y slo un elemento de B. Los desarrollos hasta aqu permiten definir el concepto de funcin de manera formal como un tipo particular de relaciones que se denominan relaciones funcionales: Definicin: Sea la relacin f f A B, entonces se dice que f es una relacin funcional o funcin parcial de A en B si y slo si para toda x A, si <x, y> f y <x, z> f , entonces y = z. Se tiene que dom(f ) f A, por lo que dom(f ) contiene los elementos de A para el cual se considera definida la funcin. Si dom(f ) = A, entonces decimos que f es una funcin total de A en B . Observe que codom(f ) = f [dom(f )] = {y | <x, y> f } f B. Denominaremos a f [dom(f )] la imagen de f determinada en B por su dominio dom(f ). En lo que sigue slo se consideran funciones totales a las que se denominar simplemente funciones. Si f es una funcin y si <x, y> f , entonces la determinacin nica de y por x a partir de f se denota por f(x) que se lee indistintamente: "f de x", f en x, "la imagen de x por f", "el valor de x por f". De manera que f (x) es una nueva notacin para y, es decir, f (x) = y y entonces el par <x, y> puede escribirse tambin de la forma <x, f(x)>. Ejemplos: a) La relacin {<0,1>, <1, 2>, <2, 3>, ..., <n, n + 1>, ... } f es una funcin, ya que cada elemento n de mantiene la relacin exclusivamente con el elemento n + 1 de . Esta funcin se denomina funcin sucesor . b) La relacin { <0, 0>, <1, 1>, <2, 2>, ..., <n, n>, ... } f es, como puede verificarse, una funcin, denominada la funcin identidad en . c) La relacin { <0, n>, <1, n>, <2, n>, ..., <n, n>, ... } f es, como puede verificarse, una funcin, denominada una funcin constante en . d) La relacin { <x, x2 > | x } es la funcin cuadrado en . e) Sea f = { <x, sen x> | x } , entonces dom(f ) = y f [] = { y | y y -1 y + 1 }. f) Sea f = { <x, 7x + 2> | x } , entonces verifique que dom(f ) = f [dom(f )]. A continuacin se define la igualdad de funciones como un caso particular de la igualdad de conjuntos.

29

Definicin: Sean las funciones f: A B y g: A B , se tiene que f = g si y slo si para toda x A, f(x) = g(x) .

Tipos de funciones El concepto de funcin que acabamos de definir es el ms general, sin embargo, en la prctica conviene tener en cuenta algunas especificaciones que dan lugar a diferentes tipos de funciones. Definicin: Una funcin f: A B se denomina inyectiva si y slo si para toda x A, y A, si f(x) = f(y) , entonces x = y . Es decir, una funcin es inyectiva si a elementos distintos de su dominio le corresponden imagenes distintas. Ejemplos: El lector verificar que a) f = { < x, ax > | x } (funcin exponencial), b) f = { < x, x3 + 2> | x } (funcin cubo) son funciones inyectivas, mientras que c) f = { <x, x2> | x } (funcin cuadrado) d) f = { < x, |x|> | x } (funcin valor absoluto) no son funciones inyectivas. Definicin: Una funcin f: A B se denomina sobreyectiva si y slo si se cumple que para toda y, y B, se tiene que existe x , x A , tal que y = f (x). Es decir, si f[A] = B. Ejemplos: a) f = { <x,x> | x }, la funcin identidad en es sobreyectiva. b) Sea f = { <x, x /|x|> | x - {0}} , la funcin es sobreyectiva si se toma B = {-1, 1} . Existen funciones que no cumplimentan ninguna de las dos definiciones anteriores, el lector hallar ejemplos. Definicin: Una funcin f : A B se denomina biyectiva si y slo si f es inyectiva y sobreyectiva a la vez. Ejemplos: a) La funcin identidad definida en cualquier conjunto A es biyectiva. b) La funcin f = { << x, y>, <y, x>> | <x, y> } es biyectiva.

30

Operaciones con funciones Considrense ahora las operaciones definidas entre relaciones para el caso particular de las relaciones funcionales. No siempre una operacin entre relaciones funcionales da como resultado una relacin funcional: la unin de funciones no es en general una funcin y la interseccin de funciones o es vaca o es una funcin. Los casos de operaciones ms interesantes son los de funcin inversa y composicin de funciones. Sea la funcin f: A B, su inversa f --1 no es necesariamente una funcin. Sin embargo, si f es biyectiva entonces se puede verificar que f --1 es una funcin tambin biyectiva. Ejemplos: a) La inversa f --1 de la funcin identidad f de cualquier conjunto A es biyectiva y es igual a f . b) Sea f = { <x, 1/2x> | x }, entonces dom(f ) = { x | x y -1 < x 2 } y f [dom(f )] = { y | y y -1/2 y +1 }. Se tiene que f es una funcion biyectiva lo cual se verificar como ejercicio. Sea f: A B y A f A, entonces la restriccin de f a A denotada por f|A es una funcin de A en B definida por f|A(x) = f(x) para toda x A. En ocasiones resulta til definir la restriccin de una funcin y a partir de esta restriccin se puede entonces definir una funcin inversa. Ejemplo: Sea f = { < x, x 2 > | x } y sea + = { x | x y 0 < x < % } , entonces f|+ = { < x, x 2 > | x } . Mientras que f no es inyectiva, f|+ lo es, siendo su inversa (f|+)-1 = { < x, x > | x }. Sean las funciones f: A B y g: B C, entonces g o f es una funcin con dominio en A e imagen en C, es decir, g o f : A C . En notacin de conjuntos ya se vi que g B f = { <x, y> | Existe z tal que <x, z> f y <z, y> g }. Ejemplos: a) Sea A = { 1, 2, 3 } , B = { 3, 4, 5 } y C = { 2, 4, 6 }. Sean f : A B y g : B C , definidas de la siguiente manera: f = { <1, 3>, <2, 4>, <3, 5> } , g = { <3, 2>, <4, 6>, <5, 6> } .

31

La funcin g B f : A C se determina de la manera siguiente: g B f (1) = g(f(1)) = g(3) = 2 g B f (2) = g(f(2)) = g(4) = 6 g B f (3) = g(f(3)) = g(5) = 6 luego g B f = { <1, 2>, <2, 6> <3, 6> }. b) Sea f = { < x, x2 > | x } y g = { < x, 1/x> | x }, entonces g B f = { < x, 1/x2 > | x } y f o g = { < x, (1/x)2 > | x } . De los ejemplos a) y b) se desprende que, en general, g B f f B g, es decir, la composicin de funciones no es una operacin conmutativa. Sin embargo, la composicin de funciones es asociativa, es decir, g B (f B h) = (g B f) B h = g B f B h. lo cual es fcil de demostrar y se deja como ejercicio. Si f y g son funciones inyectivas (sobreyectivas, biyectivas, respectivamente), entonces f B g es tambien inyectiva, sobreyectiva, biyectiva, respectivamente. Demostrarlo como ejercicio.

Funciones de n variables Hasta ahora hemos definido las relaciones funcionales como un caso especial de relaciones binarias. Las funciones as definidas se denominan funciones de una variable. Sin embargo, muchas relaciones n-arias, n > 2, que la investigacin cientfica ha logrado descubrir en la realidad son tambin relaciones funcionales. As, por ejemplo, la relacin entre la fuerza F, la masa m y la aceleracin a de una partcula material, es establecida por la segunda ley de la mecnica newtoniana mediante la ecuacin F=m.a Esta ecuacin define una funcin de la forma z = f(x, y) es decir, una funcin de dos variables.

32

Note que una relacin funcional binaria define una funcin de una variable, una relacin funcional ternaria define una funcin de 2 variables y que, en general, una relacin funcional n+1-aria define una funcin de n variables. Todos los desarrollos realizados son generalizables a funciones de n variables.

Ejercicios 1. Cuales de las siguientes relaciones R son funciones? a) R = { <x, x + x> | x } b) R = { < x, x> | x } c) R = { <x, x > | x } d) R = { < log x, x > | x } e) R = { <x, log x> | x } 2. Sea A = { 0, 1, 2, 3, 4 } . Para cada una de las relaciones R que se dan a continuacin, determine si R es una funcin parcial, una funcin total, una funcin inyectiva o una funcin sobreyectiva. a) R = { <0, 4>, <3, 2>, <1, 3>, <2, 3>, <4, 1> } b) R = { <3, 1>, <2, 0>, <1, 4>, <4, 3>, <0, 2> } c) R = { <0, 3>, <1, 4>, <3, 2>, <2, 0>, <1, 4> } d) R = { <1, 3>, <3, 2>, <4, 3>, <0, 0>, <3, 2> } 3. Sean f : B C y g : A B funciones. Demuestre que: a) Si f es sobreyectiva y g es sobreyectiva, entonces f B g es sobreyectiva. b) Si f es inyectiva y g es inyectiva, entonces f B g es inyectiva. c) Si f B g es sobreyectiva, g no es necesariamente sobreyectiva. d) Si f B g es sobreyectiva, entonces f es sobreyectiva. e) Si f B g es inyectiva, f no es necesariamente inyectiva. f) Si f B g es inyectiva, entonces g es inyectiva.

33

2. LGICA PROPOSICIONAL
2.1. PROPOSICIONES Los siguientes son ejemplos de proposiciones: a) Ana lee un libro. b) Luis no es mdico c) La Tierra efecta un movimiento de rotacin sobre su eje y un movimiento de traslacin alrededor del Sol. d) 2 es un nmero par o divisible por si mismo e) Si llueve, entonces suspendemos la fiesta f) Es posible que llueva maana. g) Es necesario que alguien lo ayude. h) Salga usted. i) Hay alguna forma de vida en el planeta Marte? j) Se debe aminorar la marcha de un vehculo en las intersecciones El lector, a partir de estos ejemplos podr formular otros. Se observar que en gramtica se denominan oraciones a los ejemplos anteriores. La palabra "oracin" tiene una connotacin lingstica: cierto tipo de expresiones de un lenguaje son oraciones. Por otra parte la palabra "proposicin" tiene una connotacin lgica: las proposiciones expresan informacin, conocimiento resultado de nuestra actividad pensante que puede consistir esencialmente en - la afirmacin (negacin) de que un objeto tenga una propiedad dada o de que exista una relacin entre dos o ms objetos: a), b) - conexin lgica entre proposiciones: c), d), e) - posibilidad de ocurrencia de un hecho: f) - necesidad de un estado de cosas: g) - comunicacin de una orden: h) - planteamiento de una interrogante: i) - enunciado de un precepto legal: j)

Se puede considerar que las proposiciones constituyen el sentido o significado que se asocia a una oracin. La lgica proporciona las teoras y los modelos para representar y analizar estos significados. Para que se tenga una idea de la diferencia entre la aproximacin gramatical y la lgica, considere las dos oraciones siguientes: a) Todos los hombres son mortales b) Ningn hombre es inmortal

34

Desde un punto de vista gramatical se trata de dos oraciones diferentes ya que diferentes son sus estructuras sintcticas, sin embargo, intuitivamente se puede apreciar que son oraciones que expresan el mismo significado. Podramos adems aadir las oraciones equivalentes a a) y a b) en otros idiomas. La lgica establece la equivalencia entre a) y b) como se ver ms adelante. Analizando las proposiciones dadas y el significado que expresan, la lgica las clasifica de la manera siguiente: a) e) son proposiciones declarativas, es decir, proposiciones que afirman o niegan que un objeto o conjunto de objetos tenga una propiedad o que determinados objetos mantengan determinada relacin (interaccin, dependencia). d) j) son proposiciones modales, es decir, proposiciones en las cuales ocurren ciertos operadores que introducen cierta modalidad del significado expresando necesidad ( es necesario que), posibilidad (es posible quef)), mandato (modo imperativo del verbo), interrogacin (signo de interrogacin), deber (se debe). Todas estas proposiciones son de empleo comn en las mltiples situaciones cognitivas y comunicativas del ser humano y se han desarrollado lgicas para su estudio. De paso, a) e) tienen tambin una modalidad, a saber, su declaratividad.

Lgica proposicional bivalente Todas las proposiciones modales apuntadas son objeto actual de aplicacin en la computacin y por lo mismo objeto de estudio de la lgica computacional. Sin embargo, este libro, por su nivel introductorio, se concentrar en el estudio de las proposiciones declarativas. Se trata del tipo de proposiciones que de manera esencial y regular se utilizan en el campo de la matemtica y la computacin. Por lo tanto, a partir de ahora cuando se hable de proposiciones se estar haciendo referencia solamente a las proposiciones declarativas. Una de las propiedades fundamentales de las proposiciones declarativas y que las distingue con respecto a los otros tipos de proposiciones, es la de tener lo que en lgica se denomina un valor de verdad o valor veritativo en un dominio que, en el caso particular que se estudiar, quiere decir que una proposicin puede tener dos valores de verdad, es decir, la proposicin puede ser verdadera o falsa en un dominio. El estudio de la lgica proposicional queda pues orientado al estudio de las proposiciones declarativas bivalentes. En resumen, cuando se hable de proposiciones a seca se estar haciendo referencia exclusivamente a las proposiciones declarativas bivalentes.

Operaciones proposicionales Nuestro estudio de la lgica de las proposiciones o lgica proposicional consiste esencialmente en el estudio de determinadas operaciones que se aplican a proposiciones:

35

ciertos operadores, denominados operadores proposicionales, conectan proposiciones dadas, dando lugar a nuevas proposiciones, determinndose el valor de la nueva proposicin a partir de los valores de las proposiciones conectadas. A continuacin, otros ejemplos de proposiciones con ocurrencia de los operadores proposicionales que sern esencialmente objeto de estudio, los cuales aparecen resaltados en itlica: a) el documento trata de biologa molecular b) el libro no contiene figuras c) Antonio vive en Cienfuegos o en Santa Clara d) Luisa es casada y tiene tres hijos e) Si AB es paralela a CD, entonces CD es paralela a AB f) A f B si y solo si A B = A Una proposicin como a) ser considerada un ejemplo de proposicin elemental , es decir, proposicin en la cual (al menos explcitamente) no interviene ninguna operacin proposicional. La proposicin b) es un ejemplo de negacin, es decir, es una proposicin resultado de aplicar a otra proposicin una operacin lgica que denominaremos negacin y que est lingsticamente representado por no. La proposicin c) es un ejemplo de disyuncin, es decir, es una proposicin que resulta de aplicar a dos proposiciones una operacin lgica que denominaremos disyuncin y que est lingsticamente representada por o. La proposicin d) es un ejemplo de conjuncin, es decir, es una proposicin que resulta de aplicar a dos proposiciones una operacin lgica que denominaremos conjuncin y que est lingsticamente representada por y. La proposicin e) es un ejemplo de implicacin ( condicional), es decir, es una proposicin que resulta de aplicar a dos proposiciones una operacin lgica que denominaremos condicional y que est lingsticamente representada por si ..., entonces ..." La proposicin f) es un ejemplo de bicondicional, es decir, es una proposicin que resulta de aplicar a dos proposiciones una operacin lgica que denominaremos bicondicional y que esta lingsticamente representado por si y solo si . Muchas proposiciones resultan ser una composicin de varias proposiciones elementales conectadas por varios operadores proposicionales como muestran los siguientes ejemplos: a) Si 2 es un nmero primo y par, entonces 2 no es impar. b) No es cierto que Pedro y Rosa vinieron a verme. c) Si AB no es paralela a CD, entonces CD no es paralela a AB y, adems, si CD es paralela a CF, entonces CF no es paralela a AB.

36

Como puede apreciarse la proposicin a), es una condicional cuyo operador se aplica entre una conjuncin "2 es un numero primo y par" y una negacin "2 no es impar". La proposicin b) es una negacin cuyo operador se aplica a la conjuncin Pedro y Rosa vinieron a verme. La proposicin c) es una conjuncin lgica que conecta condicionales en las que a su vez ocurren negaciones. Las operaciones proposicionales ejemplificadas estn entre las ms representativas operaciones lgicas de nuestros razonamientos. Para realizar su estudio se adopta en la lgica proposicional un punto de vista extensional, caracterizado por los tres aspectos siguientes: a) Se hace abstraccin del significado que expresan las proposiciones y se considera solamente el valor de verdad (verdadero, falso) de las mismas. b) las operaciones proposicionales se definen como funciones de verdad o funciones veritativas, es decir, como funciones que determinan el valor de verdad de una proposicin a partir de los valores de las proposiciones a las que se aplican como se verificar ms adelante un resultado de este punto de vista extensional es que Las definiciones abstractas de las operaciones proposicionales como funciones veritativas no necesariamente captan la funcionalidad de operaciones anlogas en el razonamiento ordinario. De acuerdo con lo anterior, el objetivo de la lgica proposicional es proponer teoras que caractericen estas operaciones permitiendo la construccin de sistemas de razonamientos que puedan servir de modelos para la solucin de diversas clases de problemas. La lgica computacional persigue que estos modelos sean computacionalmente implementables, es decir, programables y por ende aptos para ser ejecutados por una computadora con el fin de verificarlos y aplicarlos a la resolucin automtica de diversas clases de problemas. El estudio de las proposiciones como portadoras de significado, del cual se hace abstraccin en la lgica proposicional, ser objeto de estudio en la lgica de predicados.

Lenguaje de la lgica proposicional Para desarrollar la lgica proposicional se necesita dar ciertas especificaciones de un lenguaje que se denomina lenguaje de la lgica proposicional.
Alfabeto

El alfabeto del lenguaje proposicional consta de los siguientes smbolos: i) variables: tales como p, q y r que sern usados para representar proposiciones elementales cualesquiera o su valor de verdad. 37

ii) iii)

iv)

constantes proposicionales: los smbolos 1 y 0 que denotarn siempre los valores de verdad verdadero y falso respectivamente. operadores proposicionales: (negacin), (disyuncin), (conjuncin), (condicional), (bicondicional), es decir, smbolos para denotar las operaciones proposicionales. signos auxiliares de escritura: [, ] para agrupar operacionalmente a las proposiciones de manera que quede claro a qu proposiciones se aplica una operacin proposicional evitando as la ambigedad en la lectura.

Frmulas Una vez especificado el alfabeto del lenguaje proposicional se pasa a definir qu sucesiones lineales finitas de smbolos del alfabeto constituyen las expresiones de la lgica proposicional, es decir, se debe definir la sintaxis de este lenguaje. Para la lgica proposicional basta definir un slo tipo de expresin a la cual se la llamar frmula (de la lgica proposicional). Las proposiciones sern pues un caso particular de frmulas, a saber, aquel en el cual no hay ocurrencia de variables proposicionales en una frmula. Las siguientes reglas constituyen la sintaxis del lenguaje proposicional: i) ii) iii) iv) Las variables y las constantes proposicionales son frmulas. Si A es una frmula, entonces [A] es una frmula. Si A y B son frmulas, entonces [A B], [A B], [A B] y [A B] son frmulas. No hay frmulas en el lenguaje proposicional que no sean las dadas por las reglas i), ii) y iii).

Debe observarse que los smbolos A, B y todas las letras del alfabeto latino que aparecern en negritas en el texto no pertenecen al lenguaje proposicional, se trata de smbolos de variables que se aaden a la lengua espaola con la cual se describe el lenguaje de la lgica proposicional y que, como las reglas expresan, pueden representar cualquier frmula. Cuando se usa un lenguaje para describir otro lenguaje se llama al primero metalenguaje y al segundo lenguaje objeto. Por lo tanto, el lenguaje objeto o lenguaje que describimos es el lenguaje de la lgica proposicional, mientras que la lengua espaola es el metalenguaje con el cual lo describimos. Tiene sentido llamar, pues, a A y a B metavariables, es decir, variables del metalenguaje en el que hemos formulado las reglas sintcticas de formacin de frmulas del lenguaje proposicional. Ejemplos: a) [[p] [q r]] es una frmula, lo cual puede verificarse analizando la frmula mediante las reglas de utilizando dos estrategias que denominaremos abajo-arriba (bottom-up) y arriba-abajo (top-down). Bottom-up: p es frmula por i) y entonces [p] es frmula por ii), q y r son frmulas por i), entonces [qr] es frmula por iii), luego [q r] es frmula por ii). Dado que [p] y [q r] son frmulas entonces [[p] [q r]] es frmula por iii).

38

Top-down : [[p] [q r]] es una frmula por la regla iii) si [p] y [q r] son frmulas. [p] es frmula por la regla ii) si p es frmula lo cual se verifica con la regla i). [q r] es frmula por la regla ii) si q r es frmula y q r es frmula por la regla iii) si q y r son frmulas lo cual se verifica en ambos casos por la regla i). b) [p] [ r]] no es una frmula, dado que r no es una frmula. Se observa que las reglas i) - iv) constituyen el ncleo de un procedimiento tanto para generar como para reconocer las frmulas de la lgica proposicional

Definicin de las operaciones proposicionales Seguidamente se definirn las operaciones proposicionales como funciones veritativas. En lo que sigue las metavariables A y B representan proposiciones cualesquiera y la expresin (la proposicin) A es 1 (0) equivale a decir el valor de verdad de la proposicin A es verdadero (falso): Negacin: Dada una proposicin A, su negacin A es otra proposicin tal que si A es 1, entonces A es 0 y si A es 0, entonces A es 1. Es decir, la negacin es una operacin que cambia el valor de la proposicin a la cual se aplica. La tabla que aparece a continuacin (llamada tabla veritativa) resume lo anterior: A 0 1

A 1 0

Disyuncin: A B es 1 si al menos una de sus dos proposiciones componentes A o B es 1. En caso contrario A B es 0. Su tabla veritativa es la siguiente: AB 11 10 01 00 AB 1 1 1 0

Analice que la definicin dada de la disyuncin no se corresponde del todo con la funcionalidad de la disyuncin ordinaria en lengua espaola, donde esta operacin tiene en general un carcter excluyente. Conjuncin: A B es 1 slo si sus dos proposiciones componentes A y B son ambas 1. En los restantes casos A B es 0. Su tabla veritativa es la siguiente: 39

AB 11 10 01 00

AB 1 0 0 0

Implicacin(Condicional): A B es 1 si al menos A es 0 o B es 1. Alternativamente A B solo es 0 cuando A es 1 y B es 0. AB 11 10 01 00 AB 1 0 1 1

Esta definicin de la condicional o implicacin es una de las posibles abstracciones o variantes de la condicional que se utiliza en el razonamiento ordinario. Para distinguirla de otras definiciones de la implicacin se la denomina implicacin material , en este libro, al ser la nica estudiada, se la llamar solamente implicacin o condicional. Como se apreciar ms tarde, la definicin dada representa el uso ms comn de esta operacin en el rea de la matemtica y de la computacin. Se debern analizar en este sentido algunos ejemplos ya estudiados como la definicin de la relacin de inclusin y la definicin de las propiedades de simetra (transitividad) de relaciones entre otros. Se dice que A el implicante (condicionante, antecedente) y que B el implicado (condicionado, consecuente) de A B. Bicondicional: A B es 1 si A y B tienen ambas el mismo valor de verdad y tiene valor 0 en caso contrario, como muestra la siguiente tabla: AB 11 10 01 00 AB 1 0 0 1

Interpretacin de frmulas Dada una frmula A se define una interpretacin de A como la asignacin de un valor veritativo a cada una de las variables proposicionales que ocurren en A. De acuerdo con

40

el numero n de variables proposicionales distintas que ocurran en A, dicha frmula tendr 2n interpretaciones, es decir 2n es el nmero total de combinaciones de valores veritativos 0 y 1 que puede tener una frmula con n variables proposicionales distintas. Una interpretacin de una frmula A determina un valor veritativo de A. Cmo se calcula este valor? Por supuesto que haciendo uso de las definiciones de las operaciones proposicionales. Para una frmula dada, se puede construir una tabla con el siguiente formato: Variables proposicionales Frmula

Valores Interpretaciones de de la frmula verdad

Ejemplo: Hallemos los valores veritativos de la frmula [[p q] [q r]] [p r] para cada una de sus interpretaciones. La siguiente tabla veritativa muestra en su parte izquierda todas las interpretaciones o combinaciones de valores veritativos de la frmula dada, y en su parte derecha los valores veritativos correspondientes a cada interpretacin: [[p q] [q r]] [p r] 1 1 1 1 1 1 1 1

p 1 1 1 1 0 0 0 0

q 1 1 0 0 1 1 0 0

r 1 0 1 0 1 0 1 0

Se deja como ejercicio verificar cmo fueron hallados los valores de la frmula para cada interpretacin, teniendo en cuenta que los parntesis que ocurren en la frmula agrupan un operador con sus respectivos operandos. Observe que la frmula es una implicacin dado que el operador ms externo de acuerdo con la parentizacin es . Definicin: Una frmula A es verdadera por una interpretacin si y slo si A es 1 para dicha interpretacin. De lo contrario, A es falsa para dicha interpretacin. Definicin: Una frmula A es satisfacible si y slo si A es 1 para al menos una interpretacin.

41

Un caso particular muy importante de frmula satisfacible es el siguiente: una frmula A es una tautologa si A es 1 para cualquier interpretacin. Una frmula A es insatisfacible (una contradiccin) si y slo si no es satisfacible, es decir, si A es 0 para cualquier interpretacin. Ejemplos: La frmula p [q r] es satisfacible, la frmula [p q] [p q] es una tautologa y la frmula [p q] [p q] es insatisfacible, como podr verificarse en cada caso construyendo la tabla veritativa correspondiente. Notar que una frmula A es una tautologa si y slo si A es una contradiccin y que A es una contradiccin si y slo si A es una tautologa. Una relacin muy importante entre frmulas es la siguiente: Definicin: A es lgicamente equivalente a B, lo cual denotaremos por A B, si la frmula A B es una tautologa. Luego dos frmulas son lgicamente equivalentes si y slo si tienen siempre para la misma interpretacin el mismo valor veritativo. Ejemplos: Se verificarn como ejercicio las siguientes equivalencias lgicas: a) p q p q b) [p q] [p q] Note que las equivalencias a) y b) establecen explcitamente definiciones de la operacin condicional en trminos de la negacin y de la disyuncin en el caso de a) y de la negacin y la conjuncin en el caso de b). c) p q [p q] [q p] Note que c) es una definicin de la bicondicional en trminos de la conjuncin y la implicacin. Aplicando nuestro conocimiento de las relaciones se puede demostrar que la relacin de equivalencia lgica satisface las propiedades de una relacin de equivalencia, segn demostrar el lector como ejercicio: i) A A (reflexiva) ii) Si A B, entonces B A (simtrica) iii) Si A B y B C, entonces A C (transitiva)

42

Definicin: A implica lgicamente a B, lo cual se denotar por A => B, si la frmula A B es una tautologa. Es decir, A implica lgicamente a B si y slo si no existe ninguna interpretacin para la cual A es 1 y B es 0. De manera equivalente A implica lgicamente a B si B es 1 para cualquier interpretacin para la que A es 1. Aplicando nuestro conocimiento de las relaciones se puede demostrar que la relacin de implicacin lgica satisface las propiedades de una relacin de orden parcial, segn demostrar el lector como ejercicio: i) A => A (reflexiva) ii) Si A =>B y B => A, entonces A B (antisimtrica) iii) Si A => B y B => C entonces A => C (transitiva)

Leyes de la lgica proposicional A partir de las relaciones definidas se da a continuacin una lista de equivalencias e implicaciones lgicas importantes a las que se denominar de manera general leyes de la lgica proposicional. Las metavariables A, B y C como siempre representan frmulas cualesquiera, y las constantes proposicionales 1 y 0 denotan cualquier tautologa y cualquier contradiccin respectivamente. Entre parntesis aparecen algunos nombres por los que se hace referencia a estas leyes por su importancia..
Equivalencias lgicas

L1. A A A L2. A A A L3. [A B] C A [B C] L4. [A B] C A [B C] L5. A B B A L6. A B B A L7. A [B C] [A B] [A C] L8. A [B C] [A B] [A C] L9. A [A B] A L10. A [A B] A L11. A 0 A L12. A 1 A L13. A 1 1 L14. A 0 0 L15. A A 1 L16. A A 0 L17. [A] A L18. 1 0 L19. 0 1

(idempotencia de ) (idempotencia de ) (asociatividad de ) (asociatividad de ) (conmutatividad de ) (conmutatividad de ) (distributividad de ) (distributividad de ) (primera de absorcin) (segunda de absorcin)

(tercero excluido) (contradiccin) (doble negacin)

43

L20. [A B] A B L21. [A B] A B L22. A B A B L23. A B [ A B ] [ B A ]

Implicaciones lgicas

(De Morgan) (De Morgan) (Definicin de ) (Definicin de )

L24. L25. L26. L27. L28. L29. L30. L31. L32. L33. L34. L35. L36. L37. L38. L39. L40. L41.

A => B [A B] [A B] [B C] => A B B A => A B A C B C => [A B] C [A B] [A B] => B A [B B] => A A [B B] => A A A => A A A => A A [B [C C]] => [A B] [A B] B => A B [A B] A => A B [A B] [A C ] => B C A B => A B A B => B A A => A B A B => A A => B A

Reemplazamiento de frmulas Definicin: Si A es una frmula, se dice que la propia A y cualquier sucesin de smbolos de A que sea una frmula es una subfrmula de A. Ejemplos: Las frmulas p q, q y q p son subfrmulas de la frmula [p q] [[p q] [q p]]. Teorema del reemplazamiento: Sean C y D frmulas tales que C D y sea C una subfrmula de la frmula A. Entonces si A es la frmula que resulta de reemplazar una o ms ocurrencias de C por D en A se tiene que A A . Demostracin: ejercicio (Sugerencia: considere las interpretaciones de la lista total de variables proposicionales que ocurren tanto en A como en A ).

44

Ejemplos Se tiene por L22 que p q p q luego por el teorema del reemplazamiento [p q] [[p q] [q p]] [p q] [[p q] [q p]].

Ejercicios 1. Haga anlisis bottom-up y top-down de las siguientes expresiones para determinar si son frmulas: [p q] [r p], [p ] [r p] 2. En las siguientes expresiones p, q y r representan proposiciones. Sustituya en cada una de ellas las representaciones lingsticas de las operaciones proposiconales que conecta a p, q y r por su notacin correspondiente en el lenguaje de la lgica proposicional. a) Si no p, entonces ni q ni r b) Si no es cierto que p y q, entonces no p c) Siempre que p, q d) Si no es el caso que p implica q, entonces q tampoco implica r 3.- Establezca la estructura lgico-proposicional de las siguientes proposiciones matematicas: (Sugerencia: proceda de manera gradual sustituyendo por variables proposicionales todas las proposiciones elementales (proposiciones que no contienen Explcitamente operaciones proposicionales) y sustituyendo despues las representaciones lingtisticas de las operaciones proposicionales por la notacion correspondiente.) a) x + y > 2 b) x = 1 y + 2 = 2 c) y ? 2 y z = 10 d) Si x > 0, entonces y ? 2 e) Si z > 10, entonces x + z > 10 y z ? 10 f) n es par si y slo si n es divisible por 2 g) Si x es primo y par, entonces x = 2 h) Si x < y, entonces x < y o x = y i) A = B, si A B y B A j) A d B si y slo si A B y A ? B k) x > 0 siempre que x > 0 l) Si x = y, entonces x/z = y/z, excepto cuando z = 0 m) (n - 1)! + 1 no es divisible por n a menos que n sea primo 4. Halle los valores de las siguientes frmulas para cada una de sus interpretaciones y diga cules son satisfacibles, cuales son insatisfacibles y cules son tautologas. a) [p [q p]] b ) [[p p] q] c) [p [q p]] 45

5. Determine qu ley de la lgica proposicional justifica a cada una las siguientes frmulas como una tautologa. a) [p [q r]] [[p q] r] b) [p [q [r r]]] [p q] c) [[p q] [r r]] [p p] 6. Demuestre el teorema del reeplazamiento. 7. Aplicando las leyes de la lgica proposicional simplifique las siguientes frmulas: a) [p q] [p p] b) [r q] [p [p [r r]]] c) [[p q] [r r]] [p p]

Circuitos lgicos Los desarrollos de la lgica proposicional hasta aqu expuestos tienen entre sus aplicaciones ms relevantes una tecnolgica relacionada con los problemas de diseo y realizacin de circuitos lgicos digitales, es decir, circuitos que realizan funciones lgicas bivalentes y que por lo tanto se utilizan en el procesamiento de la informacin representada digitalmente. La ms importante de las mquinas lgicas creadas por el hombre para el procesamiento de informacin lo es sin duda la computadora. Una computadora es un sistema que recibe como informacin datos de una clase de problemas y un programa que representa un algoritmo o procedimiento para resolver dicha clase de problemas. La computadora emite como salida una solucin del problema, como resultado de aplicar el programa a los datos. El componente fundamental de una computadora lo es la Unidad de Procesamiento y Control (UPC), que realiza todos los procesos de transformacin de la informacin que tienen lugar en una computadora. La UPC tiene dos subcomponentes funcionales muy importantes, la unidad lgico-aritmtica (ULA) y la unidad de control (UC), siendo la ULA, el subcomponente que realiza los procesos de transformacin de informacin.. La ULA y por ende toda la computadora procesa informacin en forma digital, especficamente, informacin que es representada en un lenguaje binario o de dos smbolos los que se denotarn por 0 y 1 y a los que se denomina bits. Un bit representa la unidad elemental de informacin en una computadora. Se denomina carcter a todo smbolo que se introduce en una computadora, por ejemplo, presionando una tecla en su teclado. El alfabeto de caracteres de una computadora incluye esencialmente las letras del alfabeto latino, los dgitos del 0 al 9, signos de puntuacin tales como ., ,, : y caracteres que tienen como nombres espacio,

46

return, fin de lnea , etc . Para representar cada uno de estos caracteres en la computadora, existen sistemas de representacin binaria standardizados siendo el ms comnmente utilizado el sistema ASCII ( American Standard Code for Information Interchange). Mediante el cdigo ASCII se asigna a cada carcter una cadena o sucesin de 8 bits denominada byte. A continuacin se dan ejemplos de caracteres y sus correspondientes representaciones en bytes en el cdigo ASCII: A 0100 0001 B 0100 0010 : 0011 1010 Toda la informacin que es suministrada a una computadora es representada en este lenguaje binario y de aqu la naturaleza bivalente de las componentes elementales de los circuitos electrnicos componentes de la ULA que operan sobre estas representaciones. La informacin es cargada y transportada a travs de estos circuitos electrnicos en forma discontinua o discreta. La informacin fluye como una sucesin de seales que es comnmente realizada con pulsos elctricos constituidos por dos niveles de voltaje distinguibles como alto y bajo voltaje en el circuito, a las cuales se asocian los smbolos del lenguaje binario 1 y 0 respectivamente como indica la Figura 1.

1 0

Figura 1: Representacin del flujo de informacin digital Los circuitos electrnicos de la ULA transforman la informacin que reciben realizando propiamente funciones lgicas: la informacin codificada mediante 1s y 0s sufre transformaciones en estos circuitos que son todas describibles mediante la lgica proposicional bivalente. Por ello se conoce a estos circuitos con el nombre de circuitos lgicos, nombre con el cual se har referencia de ahora en adelante a los mismos. Los circuitos lgicos se construyen conectando entre si diferentes componentes electrnicos elementales. Haciendo abstraccin de su realizacin electrnica estos componentes sern representados por las operaciones lgicas fundamentales de negacin, disyuncin y conjuncin tal como se muestra en la Figuras 2, 3 y 4 en las cuales aparece un diagrama que representa a cada componente electrnico fundamental y al cual se asocia la operacin de la lgica proposicional que realiza. Se brinda en cada caso un ejemplo de flujo de informacin digital.de entrada al componente y el correspondiente flujo de informacin de salida que este suministra.

47

p
1 0 1 0

p p

Figura 2: Componente electrnico no p q

p q

p q p q

1 0 1 0 1 0

Figura 3: Componente electrnico o

p q

p q

p q p q

1 0 1 0 1 0

Figura 4: Componente electrnico y En la Figura 5 se presenta como primer ejemplo de un circuito lgico un comparador binario. Se verifica que este circuito compara los bits que recepciona por sus entradas y responde con salida 0 (1) si son iguales (desiguales). El lector verificar que la funcin que realiza el comparador binario se corresponde con la frmula asociada.

48

Figura 5: Comparador binario

Aritmtica binaria La ULA no slo realiza operaciones lgicas, tambin operaciones aritmticas como su nombre lo indica. Para ello utiliza la aritmtica binaria, es decir, una representacin binaria de los nmeros naturales a los cuales se aplican las operaciones aritmticas usuales, como se ver a continuacin, definidas por procedimientos adecuados a la representacin binaria basados en la lgica proposicional. Para proceder a describir algunos circuitos lgicos capaces de realizar operaciones aritmticas, se darn algunos detalles de la aritmtica binaria. El sistema binario o de base 2 de representacin de los nmeros, como el usual sistema decimal o de base 10, es un sistema posicional. El sistema binario consta exclusivamente de los smbolos 0 y 1, los cuales precisamente denotan los nmeros 0 y 1 respectivamente. Cualquier otro nmero es representable por una cadena de bits (0s y 1s), en la cual la posicin del bit en la cadena es significativa como en el sistema decimal. Los smbolos 0 y 1 en una posicin o columna multiplican una potencia de 2, la base del sistema, y su posicin determina a que potencia de 2 multiplica. Por ejemplo, la cadena de bits 0100 representa el nmero natural representado por el 20 en el sistema decimal: 1 24 + 0 23 + 1 22 + 0 21 + 0 20 = 16 + 0 + 4 + 0 + 0 = 20 A continuacin veamos las tablas correspondientes a las operaciones de suma y resta de la aritmtica binaria y ejemplos de suma y resta.
Suma Parcial (SP) Arrastre (A) Resta Parcial Prstamo (P)

1+1=0 1+0=1 0+1=1 0+0=0

1 0 0 0

1-1=0 1-0=1 0-1=1 0-0=0

0 0 1 0

49

10011 + 01101 100000

10011 - 01101 00110

A continuacin el diagrama de un circuito semisumador lgico que realiza la suma binaria segn describe la tabla dada
SP

q Figura 6: Semisumador Dos semisumadoras convenientemente conectadas permiten obtener un sumador , es decir, un circuito que incorpora el arrastre (A) como muestra el siguiente esquema:

A p

SP

q Figura 7: Sumador Se deja al lector la verificacin de que el sumador realiza la suma de dos bits ms el arrastre.

Ejercicio 1. Represente el diagrama del circuito lgico que realizara la funcin descrita por: a) [[p q] [p q]] b) [p q] [p q] Determine adems si son equivalentes y describa con palabras la funcin que realizan.

50

2. Halle las formulas que definen la funcin que realizan los circuitos lgicos del as Figuras 8 y 9 y determine si son o no equivalentes. a)

p q r

Figura 8. Determinar Funcin

b)

q r

Figura 9. Determinar funcin 3. Considere los componentes electrnicos elementales utilizados en la construccin de circuitos lgicos dados en la Figura 10. Disee circuitos equivalentes al comparador binario, el semisumador y el sumador utilizando solamente componentes NAND (NOR).

51

Componente NAND: p q Componente NOR: p q [p q] [p q]

Figura 10. Componentes NAND y NOR

52

2.2. DEDUCCIN LGICA Constantemente los seres humanos razonan deductivamente a partir de conocimiento que han adquirido para llegar a nuevo conocimiento. Un ejemplo de lo anterior es el siguiente: Conocimiento adquirido: (1) x es abuelo de y, si x es padre de z y z es padre de y (definicin de abuelo) (2) Jos es padre de Luis (un hecho) (3) Luis es padre de Ana (un hecho) Nuevo conocimiento: (4) Jos es abuelo de Ana La forma de razonamiento por la que pasamos del conocimiento de (1)-(3) a (4) se denomina deduccin. La deduccin, aparte de constituir, como muestra el ejemplo anterior, una forma del razonamiento ordinario, es esencial en la solucin de problemas en general. Existen ciencias, como la matemtica, en la que es relevante el papel de la deduccin y, en nuestros das, la automatizacin de la deduccin ha ampliado el campo de utilizacin de las computadoras en la solucin de problemas. Construir teoras que caractericen la deduccin como forma de razonamiento es tarea de la lgica. Volviendo a la matemtica, una situacin deductiva corriente en su actividad es la generacin de una demostracin (prueba) para una proposicin matemtica. En tal caso se presenta un problema similar al ejemplificado: el establecimiento de la verdad de una proposicin partiendo de la verdad de un conjunto de proposiciones, algunas aceptadas como verdaderas otras quizs previamente demostradas. El conjunto de las proposiciones aceptadas como verdaderas sin demostracin previa, se denominan axiomas (postulados, creencias, presuposiciones, etctera) y constituyen lo que se denominar una teora T. Note que se est utilizando el trmino teora en un sentido bien amplio: cualquier cuerpo de conocimiento expresado en proposiciones del cual se est tratando de deducir otras proposiciones es una teora. Otros trminos para lo que aqu se est llamando teora en el campo de la computacin son los de base de datos y base de conocimiento. Una teora debe satisfacer una propiedad muy importante denominada consistencia: una teora es consistente o no-contradictoria si est libre de contradicciones. Para demostrar que una teora es consistente basta encontrar una interpretacin que haga satisfacible todas las proposiciones de la teora. Como se ver, el problema de decidir si una teora es consistente tiene una solucin positiva en la lgica proposicional. Ejemplos:

53

1. El ejemplo de conocimiento adquirido anteriormente dado es un fragmneto de la teora sobre las relaciones familiares que diariamente utilizamos y a la cual pertenecen otras proposiciones tales como: Los hijos de una misma madre o un mismo padre son hermanos. 2. El siguiente conjunto de leyes de la lgica proposicional aceptadas como verdaderas, es decir, como axiomas, constituye una teora que permiten deducir el resto de las leyes de la lgica proposicional (Mendelson 1964): {A [B A], [A [B C]] [[A B][A C]], [B A] [[B A] B]} Una proposicin que se deduce a partir de una teora se denomina teorema. Demostracin o prueba es el nombre que en general toma el texto que hace explcito un razonamiento deductivo. En lneas generales, este texto consiste en una sucesin ordenada finita de proposiciones, cada una de las cuales constituye lo que denominaremos un paso en la demostracin. A Cada paso en la demostracin se asocia una justificacin lgica para su insercin en el texto demostrativo. Se ver ahora que deber entenderse por un paso en una demostracin. De manera general, sea T una teora y A una proposicin, entonces T|A denota que A es consecuencia lgica de T ( A se deduce de T), es decir, que siempre que las proposiciones en T sean verdaderas por una interpretacin, tambin lo es A por la misma interpretacin. El smbolo | denota el operador de deduccin lgica, al cual se adscriben las tres propiedades fundamentales siguientes: (i) T, A | A (justificacin: ejercicio ) (ii) T | A, si A es una tautologa (justificacin: ejercicio) (iii) si T, | B, entonces T, A | B (monotona de | ) A pesar de que se aceptan como postulados de la teora sobre la deduccin que se desarrollar en este libro, (i) y (ii) pueden ser justificada semnticamente, es decir mediante el concepto de interpretacin de frmulas, lo cual se deja como ejercicio al lector. La propiedad (iii) postula que lo que es teorema a partir de T lo sigue siendo aunque se agreguen a T nuevos axiomas. La propiedad iii) caracteriza a la lgica que se desarrolla en este libro como monotnica. Existen por supuesto lgicas no-monotnicas, que modelan los procesos lgicos en teoras no-monotnicas, es decir, teoras en las que la insercin de nuevos postulados puede invalidar teoremas previamente demostrados. Tales lgicas no sern objeto de estudio en este libro.

54

Una expresin de la forma T | A denotar un paso en una demostracin. Luego las propiedades anteriores pueden ser utilizadas como pasos en una demostracin y a continuacin se presenta como sern escritas con las justificaciones identificables por un guin: T, A | A - por hiptesis T |A -tautologa La justificacin de la monotonicidad se deja implcita.

Reglas de Inferencia El estudio de los procedimientos que permiten introducir y justificar pasos en una demostracin es el objetivo de la teora de la deduccin de la lgica. Estos procedimientos estn constituidos fundamentalmente por lo que se denominan reglas de inferencias (deductivas) a cuyo estudio avanzaremos ahora a nivel de la lgica proposicional. Las reglas de inferencia deductiva constituyen el mtodo fundamental de generacin y justificacin lgica de pasos en una demostracin y son las que caracterizan a un razonamiento como deductivo. La estructura general de una regla de inferencia deductiva es la siguiente: Premisas Conclusin Donde Premisas denota un conjunto de pasos previos, por lo mismo ya justificados, que ocurren en una demostracin y Conclusin denota el nuevo paso que se inserta en la demostracin al aplicar la regla. Todo proceso de deduccin consta al menos implcitamente de una regla de inferencia deductiva denominada regla de separacin o modus ponens cuyo esquema general es el siguiente:

Regla de modus ponens

(RI1) Modus Ponens : T|A T|AB T|B

55

cuya lectura puede ser la siguiente: "A partir de que en una demostracin exista un paso de la forma T | A y otro paso de la forma T | A B , entonces se puede insertar T | B como un nuevo paso en la demostracin. Note que T | A y T | A B son las premisas de la regla y T | B su conclusin. Como se ver, por su constante empleo en la obtencin de otras reglas, (RI1) es una regla de inferencia fundamental en la lgica y la regla de inferencia fundamental a nivel de la lgica proposicional bivalente. Adoptando un punto de vista axiomtico tomamos a (RI1) como un postulado (regla que se acepta sin demostracin) en nuestros desarrollos. Una regla de inferencia deductiva debe tener una propiedad esencial que se denomina sanidad: si las premisas de una regla de inferencia son verdaderas la conclusin que se obtenga con la regla debe ser tambin verdadera. Recurriendo al concepto de interpretacin de la lgica proposicional puede verse que el paso de A y A B a B que permite esta regla es sano: verifquese que si A y A B son proposiciones verdaderas para una interpretacin, entonces, como puede apreciarse en la tabla veritativa de la condicional, se puede afirmar "por separado" que B es tambin verdadera. Luego la regla RI es sana. El empleo de RI1 tanto en el razonamiento ordinario como en el cientfico es constante, de hecho cada vez que se aplica una definicin se est aplicando RI1. Se observar que todas las reglas a continuacin son reglas lgicamente deducidas. En las demostraciones lgicas de estas reglas se justifican muchos pasos por las leyes lgicas o tautologas.
Regla del teorema de la deduccin

Muchas proposiciones que han de ser demostradas, en particular muchas proposiciones matemticas, son proposiciones condicionales, es decir, proposiciones de la forma A B. La regla que se introducir a continuacin establece que, para demostrar A B a partir de un conjunto de proposiciones T, se puede tomar como hiptesis (adicionar temporalmente como premisa a A y, entonces demostrando a partir de T y de A, la proposicin B, se puede afirmar que A B es una consecuencia lgica de T. El procedimiento descrito es el fundamento lgico de un mtodo de demostracin de proposiciones condicionales ampliamente utilizado en la prctica matemtica: la demostracin de A B tomando como hiptesis A, y deduciendo B utilizando A. Tal procedimiento lo establece precisamente la regla de inferencia (RI2) Teorema de la Deduccin ( -introduccin): T, A | B T|AB

56

Demostracin: Sea B1, B2, ..., B n las proposiciones de parte izquierda que aparecen en los pasos de una demostracin de B a partir de T {A}, siendo Bn = B. Se demostrar por induccin sobre i, para 1 i n, que T | A Bi. a) i = 1: entonces B1 T o B1 es una tautologa, o A. Para los dos primeros casos se inserta como paso en la demostracin la tautologa B1 [A B1] y se aplica la regla (I). Para el caso restante A B1 es una tautologa. b) Supngase que se cumple T | A Bk para todo k < i pasos. Entonces Bi T o Bi es una tautologa, o B i es A o B i se deduce por la regla (II) a partir de premisas B j y Bm, j < i, m < i, y Bm es de la forma Bj B i. Se deja como ejercicio la continuacin de la demostracin. Se puede considerar que la regla RI2 es una representacin abreviada de su propia demostracin, es decir, los pasos que van desde el paso T, A | B (premisa de la regla) hasta el paso T | A B (conclusin de la regla) se dan de una vez por todas en la demostracin lgica de la regla, la cual da licencia al salto de la premisa a la conclusin en cualquier demostracin que satisfaga la premisa de la regla. Lo anterior es aplicable al resto de las reglas de inferencia que sern introducidas. Ejemplo: En la siguiente demostracin T es el conjunto de las definiciones dadas para la teora de conjuntos desarrollada en este libro. T| AfAB Demostracin: (1) T, a A | a A (2) | a A [a A a B ] (3) | aAaB (4) | aAB (5) T| aAaAB (6) T| AfAB
Regla de introduccin de la conjuncin:

-hiptesis -L39 -(RI1), (1) y (2) -def. de unin a (3) -(RI2, (4) -def. de inclusin a (5).

(RI3) -introduccin: T|A T|B T|AB

57

Veamos como se puede deducir esta regla a partir de la regla RI1, teniendo en cuenta como se ha establecido que las premisas de la regla son pasos que ocurren en una demostracin. (1) (2) (3) (4) (5) T|A T|B | A [B [A B]] T | B [A B] T|AB -premisa -premisa -L24 -(RI1), (1) y (3) -(RI1), (2) y (4).

Ejemplo: T, a A, a B | a A B Demostracin: (1) T, a A, a B | a A (2) |aB (3) |aAaB (4) |aAB

Regla de eliminacin de la conjuncin

-hiptesis -hiptesis -(RI3), (1) y (2) -def. de interseccin a (3).

(RI4a) -eliminacin: T|AB T|A (RI4b) -eliminacin: T|AB T|A

Demostracin de (RI4a): (1) T |AB (2) | [A B] A (3) |A

-premisa -L40 -(RI1), (1) y (2).

58

Regla de introduccin de la disyuncin

(RI5) - introduccin T|A T|AB Demostracin Ejercicio (utilzar L39).

Regla de prueba por casos

(RI6a) prueba por casos: T|AC T|BC T | A B C Demostracin: (1) T | A C (2) |BC (3) | [[A C] [B C]] [[A B] C] (4) | [A C] [B C] (5) | [A B] C (RI6b) prueba por casos : T|AB T | A B T|B Demostracin: Ejercicio (utilizar L28). -premisa -premisa -L27 -(RI3), (1), (2) -(RI1), (4), (3).

59

Regla de prueba del contrarrecproco

(RI7) prueba del contrarrecproco: T | B A T|AB Demostracin: Ejercicio (utilzar L26).

Regla de transitividad de la implicacin

(RI8) -transitividad: T|AC T|CB T|AB Demostracin: (1) (2) (3) (4) (5) T|AC |CB | [A C] [C B] | [[A C] [C B]] [A B] |AB -premisa -premisa -(RI3), (1), (2) -L25 -(RI1), (3), (4).

Reglas de reduccin al absurdo

(RI9a) Reduccin al absurdo: T, A | B B T |A Demostracin: (1) T, A | B B (2) T | A [B B] (3) | [A [B B]] A (4) | A

-premisa - (RI2), (1) -L29 -(RI1), (2), (3).

60

(RI9b) Reduccin al absurdo: T, A | B B T | A Demostracin: Ejercicio.

(RI9c) Reduccin al absurdo: T, A, B | C C T |AB Demostracin: (1) T, A, B | C C -premisa (2) T, A | B [C C] -(RI2), (1) (3) T | A [B [C C]] -(RI2), (2) (4) | [A [B [C C]] [A B] -L31 (5) |AB -(RI1), (3), (4). (RI9d) Reduccin al absurdo: T, A, B | B T |AB Demostracin: Ejercicio.

(RI9e) Reduccin al absurdo: T, A, B | A T |AB Demostracin: Ejercicio.

61

Reglas de Prueba de disyunciones

(RI10a) Prueba de disyunciones: T|AB T | A C T |BC Demostracin: (1) (2) (3) (4) (5) T|AB | A C | [A B] [A C] | [[A B] [A C]] [B C] |BC -premisa -premisa -(RI3), (1), (2) -L36 -(RI1), (3), (4).

(RI10b) Prueba de disyunciones: T | A B T|AB Demostracin: Ejercicio. (RI10c) Prueba de disyunciones: T|AB T | A B Demostracin: Ejercicio.
Regla de prueba de necesidad y suficiencia

(RI11) Prueba de necesidad y suficiencia: T|AB T|BA T|AB Demostracin: Ejercicio.

62

Demostracin matemtica A continuacin se ejemplifica el uso de estas reglas para analizar demostraciones de teoremas en Matemtica. Toda demostracin consta al menos de una regla de inferencia, y en la mayora de los casos prcticos, como podr constatarse, una demostracin combina varias reglas de inferencia. Veamos primeramente una demostracin de un teorema del lgebra de conjuntos. Como ejercicio previo el lector formular todas las definiciones de la teora de conjuntos utilizando la lgica proposicional, a manera de ejemplo se ofrece la definicin de unin entre conjuntos: x A B =def x A x B. Teorema: A (B C) = (A B) (A C) Demostremos que A (B C) f (A B) (A C) (1) T, x A (B C) | x A (B C) (2) | x A x (B C) (3) | x A [x B x C] (4) (5) (6) (7) (8) -hiptesis - def. de unin -def. de interseccin | [x A x B] [x A x C] -L7 | x (A B) x (A C) -def. de unin | x ((A B) (A C)) -def de interseccin T | x A (B C) x ((A B) (A C)) -regla (RI2) ,(6) T | A (B C) f (A B) (A C) -def. de inclusin

El lector completar la demostracin del teorema realizando como ejercicio la prueba de (A B) (A C) f A (B C la otra proposicin componente de la igualdad . En la prctica matemtica las demostraciones no son tan explcitas, el texto demostrativo de un teorema se hace con vista a su comprensin por seres humanos que son capaces de suplir con la ayuda de su razonamiento y utilizando sus conocimientos y entrenamiento previo en matemtica lo que una prueba deja implcita. Cunto puede dejarse implcito en una prueba matemtica? No hay regla, primero se deja implcita la justificacin lgica de la prueba: se supone que todo matemtico con cierta madurez en su profesin esta familiarizado en la prctica con los mtodos de definicin y de demostracin lgica propios de su ciencia y, segundo, se deja implcito cuanto conocimiento matemtico es necesario para seguir la prueba en dependencia del nivel de estudio o de especializacin al cual va dirigida la prueba. No obstante, muchos de los errores e insuficiencias que se pueden advertir en algunas demostraciones matemticas, as como la incapacidad para comprender las mismas o suplir sus ausencias por parte del iniciado tienen su fuente en este modo implcito de proceder. No hay la menor duda que una familiarizacin con los

63

mecanismos de deduccin utilizados en la matemtica constituye un aspecto bsico tanto para generar como para analizar y comprender una demostracin matemtica.
La prueba del contrarrecproco

En la demostracin del teorema que daremos a continuacin se ejemplifica fundamentalmente el uso de las reglas (RI7) y (RI8). T es un conjunto conocido de proposiciones verdaderas sobre el conjunto de los enteros Z = {, -n, , -1, 0, 1, , n, }. Teorema: T, x Z | 2 divide a x2 2 divide a x Demostracin: (1) T, x Z | [2 divide a x] x = 2 m + 1 (2) (3) (4) (5) | x = 2 m + 1 x2 = 4 m2 + 4 m + 1 | x2 = 4 m2 + 4 m + 1 [2 divide a x 2] | [2 divide a x] [2 divide a x 2] | 2 divide a x 2 2 divide a x

-def. nmero no divisible por 2 -cuadrado de un binomio -def. nmero no divisible por 2 -(RI8), (1), (2) y (3) -(RI7), (4)

Pruebas por reduccin al absurdo En la demostracin del siguiente teorema se emplea entre otras la regla (RI9a). Con respecto a esta regla se pueden presentar dos casos que es conveniente diferenciar. Primer caso: B no ha sido demostrado todava. En este caso se procede a demostrar tanto T, A | B como T,A | B. A partir de aqu, por (RI2) se obtiene T, A | B B, y ya puede aplicarse entonces (RI9a). Este es el caso de los teoremas en los cuales para demostrar la proposicin A se toma como hiptesis A, y se genera una contradiccin B B en la demostracin. Veamos la siguiente demostracin que aparece usualmente en los libros de anlisis matemtico: Teorema: Una sucesin {xn} no puede tender simultneamente a dos limites (finitos) distintos. Demostracin: Neguemos el enunciado del teorema. Supongamos que simultneamente xn a y xn b siendo a < b. Seleccionemos cualquier nmero r entre a y b, a < r < b. Entonces como xn a y a < r , puede encontrarse un numero n' tal que para n > n' se cumple que xn < r . Por otra parte, si xn b y b > r puede encontrarse un numero n'' tal que para n > n'' se tenga que xn > r . Si se toma un n mayor que n' y n'' entonces xn es a

64

la vez menor que r y mayor que r, lo cual es una contradiccin. Lo que demuestra el teorema. Dejamos como ejercicio la comprobacin de que la estrategia de demostracin seguida es la descrita anteriormente.. Segundo caso: B ha sido demostrada con anterioridad al teorema que se quiere demostrar. En este caso hay dos estrategias posibles de demostracin de A. La primera es una prueba genuina de reduccin al absurdo: Se procede a demostrar que T,A | B, luego se inserta el teorema ya demostrado B como un paso mas en la demostracin y entonces, utilizando (RI2) se obtiene, como en el caso anterior T,A | B B y ya puede aplicarse entonces (IXa). La segunda consiste en convertir la demostracin en una prueba del contrarrecproco: Se procede a demostrar que T, A | B, luego se aplica (RI2) para obtener T | A B, entonces por (RI7), T|BA (1) Se inserta entonces como paso en la demostracin la proposicin B |B (2) y aplicando (RI1) con (1) y (2) como premisas se obtiene |A

Pruebas de necesidad y suficiencia Una forma muy corriente de enunciar un teorema es la siguiente: "Una condicin necesaria y suficiente para que se cumpla A es que se cumpla B". Desde un punto de vista lgico se trata de la demostracin de la equivalencia entre las proposiciones A y B, es decir, de la demostracin de AB De acuerdo con (RI11), para demostrar A B hay que demostrar tanto que A B como que B A. Cuando se demuestra A B se dice que se est demostrando la necesidad (verdad) de B cuando A se considera verdadera, es decir, que bajo la hiptesis de que A es verdadera se sigue necesariamente que B es verdadera. Cuando se demuestra B A se est demostrando la suficiencia de B para que A sea verdadera, es decir, que basta que B sea verdadera para que A lo sea tambin. Por supuesto, desde un punto de vista lgico, cuando se demuestra la necesidad de B con respecto a A se demuestra al mismo tiempo la suficiencia de A con respecto a B y, viceversa, cuando se demuestra la suficiencia de B con respecto a A se est demostrando la necesidad de A con respecto a B. Por lo tanto, qu proposicin se escoge para demostrar que ella es condicin necesaria y suficiente para que se cumpla la otra no depende sino de la teora en cuestin que desarrollamos y de la importancia que tenga para la teora cada una de las dos proposiciones equivalentes. Veamos un ejemplo: 65

Teorema: Una condicin necesaria y suficiente para que a, b sean races de la ecuacin x2 + px q = 0 donde p2 > 4q es que a + b = -p y ab = q, siendo a , b ". En este teorema hay dos proposiciones cuya equivalencia lgica tiene que ser demostrada: Sea A la proposicin "a y b son races de la ecuacin x2 + px q = 0" y B la proposicin "a + b = -p ab = q", es decir, "una condicin necesaria y suficiente para A es que B". Se puede demostrar primero que B es una condicin necesaria para A, es decir, que A B. Esta demostracin se lleva a cabo tomando como hiptesis a A y deduciendo entonces B, luego se aplica (RI2) para obtener A B. Se deja al lector los detalles de la prueba siguiendo esta estrategia como ejercicio. La demostracin de que B es una condicin suficiente para A, es decir, que B A se puede realizar tambin aplicando (RI2) y es un simple ejercicio algebraico.

Ejercicios 1. Justifique las propiedades (i) y (ii) del operador de deduccin |. 2. Realice las demostraciones de las reglas de inferencia deductivas propuestas como ejercicio. 3. Complete y justifique los pasos en la siguiente demostracin: Teorema: T | R es simtrica R = R-1 Demostracin: (1) T, R es simtrica | <x, y> R <y, x> R (2) | <y, x> R <x, y> R-1 (3) | <x, y> R <x, y> R-1 (4) | R R-1 (5) | <x, y> R-1 <y, x> R (6) | <y, x> R <x, y> R (7) | <x, y> R-1 <x, y> R (8) | R-1 R (9) | R R-1 R-1 R (10) | R = R-1 (11) T | R es simtrica R = R

66

4. Demuestre las siguientes implicaciones lgicas: (1) | [A [B C]] [[A B] [A C]] (2) | [A B] [[A C] B] 5. Analice las siguientes demostraciones de teoremas adaptadas de libros de Anlisis Matemtico y de Geometra Elemental respectivamente, y diga qu reglas de inferencia se utiliza en las demostraciones. a) teorema: Dos perpendiculares cd y ef a una misma recta ab son paralelas entre si Demostracin: F Supongamos que cd y ef no son paralelas. En este caso tendran que encontrarse en un cierto punto m y entonces existiran dos perpendiculares desde ese punto m a la misma recta ab, lo cual es un absurdo. Por lo tanto, nuestra suposicin es falsa. b) teorema: Si una sucesin {cn} es convergente, entonces la condicin cn 0 implica lim cn 0. Demostracin: Sea lim cn = h y supongamos que h < 0, o lo que es lo mismo, -h > 0. Entonces tenemos | cn - h| < -h para un n suficientemente grande y de ah que cn h < -h, de donde cn < 0 lo cual niega nuestra suposicin . 6. Demuestre que: a) (A B)c = Ac Bc b) (A B)c = Ac Bc 7. Considere la siguiente teora para la lgica proposicional (Mendelson 1964): {A [B A], [A [B C]] [[A B][A C]], [B A] [[B A] B]} Demuestre utilizando exclusivamente (RI1): a) | A A b) | [A A] A c) A B, B C | A C

67

Formas normales proposicionales Se ha visto que algunas operaciones lgicas son definibles en trminos de otras: de acuerdo con L22 la implicacin es definible en trminos de la negacin y la disyuncin; utilizando las leyes de De Morgan L20 y L21 se puede definir la disyuncin en trminos de la negacin y la conjuncin o la conjuncin en trminos de la negacin y la disyuncin. Tambin se vio que en la aplicacin de la lgica al diseo y construccin de circuitos lgicos sobre la base de estas equivalencias definitorias se utilizan exclusivamente las operaciones de negacin, disyuncin y conjuncin para construir tales circuitos. El caso de los circuitos lgicos es slo un ejemplo de las mltiples aplicaciones computacionales de la lgica donde las equivalencias definicionales mencionadas son ampliamente utilizadas. Los desarrollos que siguen dan cuenta de resultados fundamentales sobre representaciones de frmulas de gran trascendencia sobre todo en los usos computacionales de la lgica. Se introducirn representaciones equivalentes de frmulas cualesquiera denominadas de manera general formas normales, as como algunos procedimientos efectivos o algoritmos asociados al hallazgo y uso de tales representaciones. Definicin: Una frmula A se denomina un literal, si A es una variable proposicional o la negacin de una variable proposicional. Si un literal es una variable proposicional se denomina literal positivo, en el otro caso se denomina un literal negativo. Ejemplos: p, q son literales, p es un literal positivo y q un literal negativo. Definicin: Una frmula A se denomina clusula, si A es una disyuncin de literales. Ejemplos: p q, p q r son clusulas. Son 0 y q clusulas? Definicin: Una frmula A se denomina una forma normal conjuntiva (FNC) si A es de la forma A1 A2 ... An, y cada Ai, 1 i n es una clusula. Ejemplos: p q, p q, [p q] [ p q r] [q r] Definicin: Una frmula A se denomina una forma normal disyuntiva (FND) si A es de la forma A1 A2 ... An, y cada Ai, 1 i n es una conjuncin de literales. Ejemplos: p, q, p q, [p q] [ p q r] [q r]. Teorema : Para toda frmula A puede hallarse una formula A' en FNC (FND) tal que A A'.

68

La demostracin de este teorema es constructiva y consiste en transformar la frmula A en una FNC (FND) A' aplicando repetidamente leyes que preservan la equivalencia lgica de las frmulas. Las siguientes instrucciones relacionan las leyes utilizables y su propsito. 1) Utilizar las leyes L22 y L23 para eliminar los operadores , de una frmula. 2) Utilizar L17 (doble negacin) y L20 y L21 (leyes de De Morgan) para eliminar todo operador que no se aplique a una variable proposicional. 3) Utilizar L7 y L8 (leyes distributivas) para obtener la forma normal deseada. 4) Utilizar otras leyes para simplificar la frmula.

Ejemplo: Dada la frmula [p q] [p r], entonces [p q] [p r] [p q] [p r] [p q] [p r ] [p q] [p r ] [p q] p r [[p p] [p q]] r [1 [p q]] r p q r

-L22 -L22 -L20 -L21 -L7 -L15 -L12

El trmino izquierdo de la ltima equivalencia representa una FNC (tambin una FND) de la frmula dada. El estudio de la lgica proposicional en este libro sin perder en generalidad se contrae en lo que sigue a la lgica de clusulas en la que cualquier frmula est representada en FNC. En los desarrollos que siguen una FNC ser representada de manera alternativa por el conjunto de clusulas que la constituyen. Tambin, alternativamente, una clusula C ser representada por el conjunto de sus literales.

Ejemplo: La FNC [p q] [ p q r] [q r] se representa conjuntualmente por {p q, p q r , q r} o por {{p, q, r }, { p, q, s}, {q, r , s}}. El problema de la satisfacibilidad (SAT) La lgica de clusulas se ha mostrado en la prctica como un formalismo completo y simplificado, muy apropiado tanto para representar las especificaciones y los datos de un problema como los procedimientos para resolverlos mediante una computadora. 69

Se ha visto que un problema muy importante cuando se tiene una frmula es determinar si la frmula es o no consistente, es decir, si es o no satisfacible. Este problema dado su relevancia en muchas dimensiones para la computacin ha pasado a ser conocido bajo el nombre de problema SAT. La creacin de algoritmos que permitan resolver el problema SAT es de suma importancia y al mismo se dedica gran atencin. En este libro, dado su carcter introductivo, no se estudiar el problema SAT en todas sus dimensiones computacionales, solamente se har una introduccin a la rica problemtica algortmica que dicho problema plantea. Se darn a continuacin los detalles de un algoritmo clsico de SAT que a partir de una FNC de una frmula determina si la frmula es o no satisfacible. Se utilizar para la representacin del algoritmo un pseudo lenguaje de programacin en el que se utilizan de algunas estructuras bien conocidas de lenguajes de programacin existentes. Se deber tener en cuenta que la representacin no es un programa ejecutable del algoritmo sino que su objetivo es mostrar un procedimiento efectivo de solucin del problema planteado, as como la factibilidad de su realizacin computacional. Se aprovechar la introduccin del algoritmo para desarrollar de manera breve ciertos aspectos que se deben analizar cuando se construye un algoritmo. Primero se desarrollarn algunos algoritmos, algunos en forma muy esquemtica, que son utilizados (en el argot computacional, llamados) por el algoritmo principal para resolver el problema. satisfacible (S): if S =={1} then true , else false insatisfacible(S): if S =={0} then true , else false Selecciona( var, V): var es seleccionada de un conjunto V de variables proposicionales, una vez seleccionada, var es eliminada del conjunto V.

simplifica(var, valor, S, Ss): Ss = ; if valor == 1 then if S == {C} var C then Ss = {1} else forall C S

70

{ if var C then ; else if var C then { Cs = C {var}, if Cs == then { Ss = {0}; break } else Ss = Ss {Cs} { else Ss = Ss {C} } else if valor == 0 then if S == {C} var C then Ss == {1} else forall C S if var C then if C = {var} then { Ss = {0}, break } else { Cs = C {var }, Ss = Ss {Cs} } else if var C then ; else Ss = Ss {C}

Algoritmo de satisfacibilidad (DPLL) ( Davis-Putnam-Logemann-Loveland 1960) /* Entradas: /* S: Conjunto de clusulas siendo cada clusula representada por su conjunto de /* literales. Se supone que en S no hay clusulas repetidas y que ninguna clusula tiene /* literales repetidos. Es posible eliminar tales repeticiones con un preprocesamiento /* previo adecuado. /* V: Conjunto de las variables proposicionales que ocurren en S /* Salidas: "satisfacible", "insatisfacible"

71

DPLL(S) {if S = {{1}} then return satisfacible, if {0} S then return insatisfacible, DPLL2: if {L} S then { if L = var then simplifica(var, 1, S, Ss) else if L = var then simplifica(var, 0, S, Ss); DPLL(Ss) } DPLL3: { selecciona( var, V); simplifica(var, 1, S, Ss) if DPLL(Ss) = satisfacible then return( "satisfacible"); else if DPLL(Ss) = insatisfacible then { simplifica(var, 0, S, Ss) DPLL(Ss) } } }

Para comprender cmo funciona DPLL se darn ejemplos tpicos de su aplicacin a determinados conjuntos de clusulas. El lector suplir los detalles que se omiten ejecutando a mano el algoritmo paso a paso. Sin prdida de generalidad y para facilitar la ejecucin del algortimo se supone que las variables aparecen en orden alfabtico en el conjunto V, as como en las clusulas. Adems, los procedimientos recorren los conjuntos de izquierda a derecha seleccionando en el orden dado clusulas y literales, segn el caso. Resultar evidente para el lector que otros recorridos y ordenamientos son aplicables.

Ejemplos: (1) DPLL({{p, q, r}, {p, q, s}, { q, r, s}}) DPLL3: p = 1, simplificando DPLL({{q, r}, {q, r, s}}) DPLL3: q = 1, simplificando, DPLL({{r}, {r, s}}) DPLL2: r = 0, simplificando DPLL({{s }}) DPLL2: s = 0 Simplificando DPLL({1 }) satisfacible

72

(2) DPLL({{p, q, r}, {p, q}, {p}, {r}, {s}}) DPLL2: p = 0 Simplificando DPLL({{q, r}, {q}, {r}, {s}}) DPLL2: q = 0 simplificando DPLL({{r}, {r}, {s}}) DPLL2: r = 0 Simplificando DPLL({0}) insatisfacible (3) DPLL({{p, q r}, { p q r}, {p q r}, { p q r}, {p q r}}) DPLL3: p = 1, simplificando, DPLL({{ q, r}, { q, r}, { q, r}, {q, r}}) DPLL3: q = 1, simplificando, DPLL({{r}, {r}}), DPLL2: r = 0, simplificando, DPLL({0}), insatisfacible DPLL({{ q, r}, { q, r}, { q, r}, {q, r}}) DPLL3: q = 0, simplificando, DPLL({{r}, {r}}), DPLL2: r = 0, simplificando, DPLL({0}), insatisfacible DPLL({{p, q r}, { p q r}, {p q r}, { p q r}, {p q r}}) DPLL3: p = 0, simplificando, DPLL({{ q r}}) DPLL3: q = 1, simplificando, DPLL({{ r}}) DPLL2: r = 0 Simplificando, DPLL({1}), satisfacible

73

Anlisis de DPLL: Cmo realiza DPLL el hallazgo de una solucin a un caso particular S del problema SAT? DPLL hace una bsqueda de una interpretacin que satisfaga S en el conjunto de las interpretaciones posibles. Se denomina espacio de bsqueda (EB) al espacio virtual en el que un algoritmo busca una solucin a un problema. Una posible representacin completa del EB para problemas de satisfacibilidad S con un conjunto V de tres variables es dada por la Figura :

p 1 q 1 r 1 0 1 0 r 0 1 1 r 0 1 0 q 0 r 0

Figura 11. Representacin del EB para un problema de satisfacibilidad de tres variables proposicionales. Tal representacin corresponde a una estructura de datos denominada rbol. Un rbol consta de nodos, representados en la figura por crculos y de arcos, representados en la figura por flechas, los cuales parten de un nodo y llegan a otro segn puede apreciarse. El ejemplo dado es el de un rbol binario, es decir un rbol en el de cada nodo parten dos acos o ninguno. Hay un nodo al cual no llega ningn arco denominado raiz, un nodo del cual parten arcos se denominan nodos noterminales y aquellos de los cuales no parten arcos se denominan nodos terminales u hojas. Se denomina rama del rbol a toda sucesin de nodos conectados dos a dos por arcos que incluye la raiz y un nodo terminal.Para representar mediante el rbol el EB de un problema SAT, es decir, el conjunto de todas las interpretaciones, se cosntruye un rbol binario con tantos nodos como variables poner V y se acaba eel problemaasocia a cada nodo una variable proposicional y se bles proposicionales a los cuales se asocian los valores veritativos 1 y 0. Una sucesin de arcos desde la raz hastas un nodo terminal, es decir una rama del rbol denota una interpretacin, luego las ocho ramas del rbol representan las ocho interpretaciones posibles para conjuntos de clusulas con un total de tres variables proposicionales distintas. Es claro que es irrelevante qu variable se toma cmo raiz, cual es sucesora de esta, etctera, por lo que el ejemplo dado es una de las posibles . Podriamos recorrer el rbol por un mtodo de fuerza bruta

74

Cmo recorre DPLL este EB, es decir, cmo recorre el rbol? Antes de aplicar DPLL, se podra pensar en recorrer el rbol haciendo una bsqueda sistemtica, a saber, a) no dejando de considerar ninguna interpretacin hasta tanto no se encuentre una solucin del problema y b) no considerando ninguna interpretacin ms de una vez.. Note que a) garantiza el hallazgo de una solucin, mientras que b) garantiza la terminacin del proceso de ejecucin del algortimo. Sin embargo, este proceder por fuerza bruta no explota resultados de la lgica proposicional que pueden imprimir mayor eficiencia a la bsqueda de una solucin sin sacrificar su hallazgo. De tales resultados hace uso el algoritmo DPLL. Para DPLL, el EB es un espacio virtual el cual DPLL ms que recorrer, construye parcialmente segn sea necesario para alcanzar una solucin. Si se analizan las instrucciones DP2 y DP3 y el resultado de su aplicaciones a los ejemplos dados, se ve que la bsqueda consiste en ir construyendo una interpretacin asignndoles valores a las variables en S. La accin prioritaria de DP2 es la siguiente: si hay una clusula en C que es un literal, necesariamnete hay que asignar a la variable del literal el valor de verdad que lo haga verdadero (Por qu?), a continuacin sustituir la variable por su valor en todas sus ocurrencias en S, simplificar S y continuar aplicando DPLL a la simplificacin de S. Note que en este caso, ya hay ramas (interpretaciones) que jams sern generadas (Cules?). Si no hay clusula unitaria en S, entonces DP3 entra en accin: se selecciona una variable de las que ocurre en S, la cual aun no ha sido seleccionada y se la sustituye por un valor veritativo ( en el algoritmo dado por 1) en todas sus ocurrencias en S, se simplifica S y se aplica DP a la simplificacin de S denotada Ss. Si Ss es satisfacible el algortimo termina dando esa respuesta. Si Ss es insatisfacible, entonces de acuerdo con DP3 se sustituye a la variable por el otro valor veritativo (en el algoritmo dado por 0), se simplifica nuevamente S en Ss y se aplica DP a Ss. Analizando la aplicacin de DPLL en el ejemplo (3) representaremos mediante una lnea punteada el recorrido que hace DPLL del EB del problema hasta encontrar la solucin, tal como se muestra en la Figura

75

p 1 q 1 r 1 0 1 0 r 0 1 1 r 0 1 0 q 0 r 0

Figura 12. Recorrido en el EB Vease que en el recorrido se caracteriza por un avance en la profundidad del rbol buscando una rama, es decir, una interpretacin que satisfaga a S. En dos ocasiones se llega a interpretaciones que hacen insatisfacible a S y entonces se inicia un retroceso (Backtrack) a los nodos q y p para reconsiderar sus valores segn establece DPLL. Lo que se ha descrito es la estrategia de bsqueda que utiliza DPLL: primero en profundidad+retroceso.

Ejercicios 1. Un problema importante de todo algoritmo es el de su terminacin: un algoritmo termina si en su aplicacin a cualquiera de sus entradas admisibles realiza una parada. Analice la terminacin de DPLL. 2. Otro problema importante de todo algoritmo es el de su correccin: un algoritmo es correcto si su aplicacin a cualquiera de sus entradas admisibles suministra la salidad correspondiente. Analice la correccin de DPLL. 3. Complete la presentacin del algoritmo DP, de modo que si el conjunto de entrada es satisfacible, DP de cmo salida la interpretacin hallada. 4. Reformule el algoritmo DPLL haciendo explcita su estrategia de bsqueda.

76

3. LOGICA DE PREDICADOS
3.1. PREDICADOS Analice los siguientes ejemplos de expresiones matemticas y ponga especial atencin a su estructura y partes componentes: a) b) c) d) x<x x>0 2+3=y 2xy=1

De acuerdo con la notacin usual en matemtica: i) x, y, z son smbolos que denotan variables. ii) 0, 1, 2, 3 son smbolos que denotan constantes. iii) <, >, = son smbolos que denotan relaciones. iv) + , son smbolos que denotan funciones. Por ejemplo, en una interpretacin usual en matemtica, seleccionando el conjunto de los nmeros reales como el dominio, se tiene que: a) los smbolos de variables x, y, z denotan variables numricas que toman valores en , b) los smbolos 0, 1, 2, 3 denotan determinados nmeros reales, c) los smbolos <, >, = denotan relaciones binarias en , es decir, subconjuntos de , d) los smbolos + y denotan funciones con dominio en y codominio en . Note que las subexpresiones 0, 1, 2 + 3, 2 x y son utilizadas en las expresiones dadas para denotar a elementos del dominio, en el caso de las expresiones en las que aparecen variables, cuando damos a dichas variables un valor determinado. Se llamar trminos a estas subexpresiones. Observe que los trminos pueden tener a su vez subexpresiones que son trminos, por ejemplo, 2 x y contiene los trminos 2 x, y y. Se denomina trmino bsico a un trmino en el que no hay ocurrencia alguna de variable, por ejemplo, 1, 0, 2 + 3 son trminos bsicos en las expresiones anteriores. Note que los trminos bsicos son genuinos nombres que denotan elementos bien determinados del dominio . La interpretacin arriba descrita es standard en la matemtica ordinaria, pero no debemos confundir un smbolo con lo que el smbolo denota bajo una interpretacin: el nmero que en el sistema decimal se denota por el smbolo 1 se denota en nmeros romanos por el smbolo I y adems ntese que 1.0 es tambin un modo de denotarlo como nmero real. Por otra parte, nada impide tomar los mismos smbolos para denotar otras entidades en otros dominios. En la prctica matemtica casi siempre se trabaja en un domino prefijado y una vez introducida la denotacin de los smbolos esta es fija.

77

En las expresiones dadas mientras que los smbolos de constantes, relaciones y funciones tienen una interpretacin fija, no es este el caso de las variables: una interpretacin de las expresiones a) d) slo establece de manera general el dominio que contiene los elementos que una variable puede tomar como valor. Esta indeterminacin con respecto al valor que pueden tomar las variables da lugar a que desde un punto de vista lgico las expresiones a) - d) no sean consideradas proposiciones. Precisamente en dependencia de los valores que tomen las variables, las expresiones anteriores dan lugar a proposiciones, es decir, a expresiones que son verdaderas o falsas como puede intuitivamente verificarse. Entonces qu son y qu denotan las expresiones anteriores desde un punto de vista lgico? En lgica, las anteriores expresiones se denominan predicados n-arios, donde n denota el nmero de variables que ocurren en el predicado n-ario o su aridad. Por ejemplo, a) es un predicado unario ( en una variable) y d) es un predicado binario (en dos variables). Un predicado n-ario denota, bajo una interpretacin, una relacin n-aria en un dominio. La diferencia entre un predicado n-ario y la relacin que denota se basa en la ya estudiada representacin extensional e intensional de una relacin: un predicado n-ario describe o define intensionalmente una relacin definida extensionalmente en un dominio como un conjunto de n-uplos ordenados de elementos del dominio en el cual interpretamos el predicado. Nuevamente, en lgica, bajo una interpretacin, un predicado describe, es decir, define intensionalmente una relacin. Se ha visto que una misma relacin en un dominio puede tener asociadas diferentes predicados, es decir diferentes definiciones intensionales o descripciones. Tambin se dice que un predicado conceptualiza una relacin o que es un concepto de una relacin. En la prctica a veces las denominaciones de predicado n-ario y relacin n-aria se intercambian. Ya en los desarrollos de la teora de conjuntos se utilizaron predicados n-arios para definir conjuntos y relaciones El concepto de propiedad se corresponde con el de predicado unario: un predicado unario describe una propiedad que define un conjunto en un dominio, a saber, todos los elementos del dominio que satisfacen la propiedad que define el predicado unario.

Proposiciones en la lgica de predicados Cmo pueden construirse proposiciones a partir de predicados n-arios interpretados en un dominio D? Hay dos procedimientos que pueden aplicarse indistintamente y entremezclarse. Se expondrn a travs de ejemplos de las expresiones a) d) interpretadas en : i) Sustitucin de las variables por trminos bsicos: consiste en sustituir cada variable que aparezca en un predicado n-ario siempre por el mismo trmino bsico. Es el procedimiento que se utiliza para establecer que entre determinados elementos del dominio que son denotados por los trminos bsicos se cumple la relacin que denota el predicado.

78

Ejemplos: a') b') c') d') 2 < 2, sustituyendo x por 2 en a). 3 + 0.5 > 0, sustituyendo x por 3 + 0.5 en b). 2 + 3 = 7, sustituyendo x por 7 en c). 2 1/2 1 = 1, sustituyendo x por 1/2 y y por 1 en d).

Se aprecia intuitivamente que a') - d') no contienen variables y son por tanto proposiciones, en el sentido de que son expresiones verdaderas o falsas en : de acuerdo con la interpretacin en a') y b') y d') son verdaderas y c') es falsa. (ii) Cuantificacin de las variables: consiste en prefijar al predicado una de las dos expresiones siguientes para cada una de las variables distintas que ocurra en el predicado: "Para toda (variable)," "Existe (variable) tal que" Ejemplos: a'') b'') c'') d'') Para toda x, x < x Existe x tal que x > 0 Existe x tal que 2 + 3 = x Para toda x, Existe y tal que 2 x y = 1

Se dice entonces que la variable x (y) est acotada en a'') - d''), y es libre en a) - d). Las expresiones "Para toda(variable)," y "Existe(variable) tal que" se denominan cuantificador universal y cuantificador existencial respectivamente. Usaremos para el cuantificador universal la notacin ( ) y para el cuantificador existencial la notacin ( ). Ambos cuantificadores son genuinos operadores lgicos que generan proposiciones a partir de predicados n-arios. Veamos a continuacin las definiciones respectivas de estos operadores lgicos..

El cuantificador universal En lo que sigue, segn la notacin ya introducida, A(x) denota un predicado unario en x que ha sido interpretado en un dominio D. (x)A(x) es verdadera en el dominio D si y solo si para cualquier valor de x en D, se tiene que A(x) es verdadera en D. Ejemplos: (x) x x es verdadera en dado que x x es verdadera en para cualquier valor que tome la variable x en . 79

(x) 2 + 3 = x es falsa en , dado que 2 +3 = x no es verdadera para todo valor de x en . Sea el dominio D de interpretacin de A(x) enumerable, finito o infinito. Sean a1, a2, , ann, las constantes que denotan a todos los elementos de D, entonces (x)A(x) = A(a1) A(a2) ... A(an) ... Luego el cuantificador universal aplicado a A(x) es equivalente a la conjuncin finita o infinita de todas las proposiciones A(a1), A(a2), ..., A(an), ... Se establece por definicin que si D = , entonces (x) A(x) es verdadera en D. El cuantificador existencial (x)A(x) es verdadera en el dominio D si y solo si para al menos un valor de x en D, se tiene que A(x) es verdadera en D. Ejemplos: (x) x 0 es verdadera en dado que x 0 es verdadera en para al menos un valor que tome la variable x en . (x) 2 + 3 = x x < 3 es falsa en , dado que 2 +3 = x x < 3 no es verdadera para ningn valor de x en . Sea el dominio D de interpretacin de A(x) enumerable, finito o infinito. Sean a1, a2, , ann, las constantes que denotan a todos los elementos de D, entonces (x)A(x) = A(a1) A(a2) ... A(an) ... Luego el cuantificador universal aplicado a A(x) es equivalente a la disyuncin finita o infinita de todas las proposiciones A(a1), A(a2), ..., A(an), ... Se establece por definicin que si D = , entonces (x) A(x) es falsa en D. El lenguaje de la lgica de predicados No hay dudas que la gran novedad con la lgica de predicados est en la aparicin de las operaciones de cuantificacin. Por lo tanto, los cuantificadores constituyen el objetivo principal en el estudio de la lgica de predicados. Primero debe especificarse un lenguaje en el cual podemos llevar a cabo ese estudio en condiciones ideales como se hizo anteriormente en el caso de la lgica proposicional. Este lenguaje lo denominaremos lenguaje de la lgica de predicados. Como podr paulatinamente apreciarse, este lenguaje es lo suficientemente rico como para servir de base

80

lingstica a la mayora de las teoras matemticas conocidas. Para la comprensin de este lenguaje se debern tener en cuenta los desarrollos intuitivos precedentes. Alfabeto El lenguaje de la lgica de predicados tiene un alfabeto con las siguientes tipos de smbolos: i) constantes (individuales): se usarn generalmemte las primeras letras del alfabeto latino con subndices numrico cuando sea necesario: a, b, c, a1, b1, c1, etc. De acuerdo con la teora que queramos describir mediante la lgica de predicados, se pueden adoptar como smbolos de constantes individuales aquellos smbolos que usualmente se utilizan como tales en la exposicin de dicha teora. Asi, por ejemplo, se pueden incluir los smbolos de constantes que denotan nmeros naturales 0, 1,2,... o la constante . El adjetivo individual en constante individual se refiere al hecho de que estos smbolos sirven para denotar elementos (individuos) del dominio. ii) variables (individuales): se denotarn como es costumbre en la prctica matemtica y computacional, las ltimas letras del alfabeto latino con subdices numricos si fuese necesario: u, v, w, x, y, z, etc. Las variables individuales sern los nicos smbolos de variables que aparecern en los desarrollos, salvo alguna excepcin que se haga en un momento particular, por lo cual las llamaremos simplemente variables. iii) funciones n-arias: Las letras minsculas del alfabeto latino con subndice numrico natural si fuese necesario, f , g, h, etctera. Aqu tambin, de acuerdo con la teora matemtica para la cual se toma como base lingstica la lgica de predicados, se pueden adoptar como smbolos de constantes funcionales aquellos que usualmente denotan las funciones de dicha teora. As, por ejemplo, si se trata de la aritmtica podemos incluir los smbolos de funciones binarias + y . Tambin los smbolos de funciones n-arias pueden ser introducidos por definicin. Ntese que en una interpretacin en un dominio dado, los smbolos de funciones n-arias tendrn una denotacin fija y son por lo tanto tambin constantes , es decir constantes funcionales. iv) relaciones n-arias: las letras minsculas del alfabeto latino p, q, r, con subndice numrico si fuese necesario, p1, q1, r1, etc. De nuevo aqu, de acuerdo con la teora a la cual se aplique la lgica de predicados podemos adoptar como smbolos de relaciones aquellos que usualmente denotan las relaciones de dicha teora. As, por ejemplo, si se trata de la teora de los nmeros reales podemos incluir los smbolos de relaciones binarias = y <. Tambin los smbolos de relaciones n-arias pueden ser introducidos por definicin, como ya hemos hecho en los desarrollos de la teora de conjuntos. v) constantes proposicionales: los valores de verdad 0 (falso) y 1 (verdadero) vi) operadores proposicionales: (negacin), (disyuncin), (conjuncin), (implicacin), (bicondicional).

81

vii) operadores de cuantificacin; ( ) cuantificador universal, ( ) cuantificador existencial. viii) auxiliares de escritura: [, ], (, ).

Trminos A continuacin definiremos de manera precisa la clase de los trminos. i) Toda constante individual y toda variable es un trmino. ii) Si t1, ..., tn son trminos y f es un smbolo de funcin n-aria, entonces f(t1, ..., tn) es un trmino. iii) Todo trmino es el resultado solamente de la aplicacin un numero finito de veces de i) y ii). Ejemplos: Son trminos: a, b, x, y, 2, 3, f (x), g(a, f (y)), g(y, h(f(a), x)), +(x, y 3), 4 (x + y)/1.5. Sin embargo, xf y af (x)f no son trminos. Un trmino t se denomina trmino bsico si no tiene ocurrencia alguna de variable. Ejemplos: a, b, h(f (a), 2)), 4 (-5 + 1/2)

Frmulas Definicin: Sean t1, ..., tn trminos, y sea r un smbolo de relacin n-aria. Entonces r(t1, ..., tn ) es una frmula elemental o tomo. Ejemplos: = (f (x), y) , <(x, g(x)) , =(2, x), padre(jos, eva) que en la notacin infija usual para relaciones binarias se escriben f (x) = y, x < g(x), 2 = x, jos es padre de eva respectivamente. A continuacin se definen las expresiones que son frmulas: i) Toda frmula elemental es una frmula. ii) Si A es una frmula, entonces [A] es una frmula iii) Si A y B son frmulas, entonces [A B] ( [A B], [A B] , [A B]) es una frmula. iv) Si A es una frmula donde x ocurre libre, entonces (x)A y (x)A son frmulas.

82

v) Toda frmula es el resultado solamente de la aplicacin un nmero finito de veces de las reglas i)-iv). Ejemplos: Son formulas: x + y = y, f (x, y) < g(x, y), a > b + c, x + y y, x < y y = 2, [x > y y > x], x > y y x, divide(2, 4) 4 = 2 x, (x) x < 2, (x) 4 = 2 x, (x)(y) x > y y x, (x)(y) y x, (x)padre(x, eva). Definicin: Una frmula A se denomina un predicado si y slo si A contiene al menos una ocurrencia libre de variable. Se usar en lo que sigue las expresiones A(x), A(x, y),, A(x1, x2, , xn) para hacer referencia de manera general a predicados unarios, binarios y n-arios respectivamente.

Ejemplos: R(2, x), (x) x < y, (x)(y) x + y = z son predicados unarios, padre(x, y ) es un predicado binario, (x + y) + z = x + (y + z), esta_entre(x, y, z) son predicados ternarios, Definicin: Una frmula A se denomina proposicin si y slo si no contiene ocurrencia alguna de variable libre. Ojo De la definicin anterior se desprende que en la lgica de predicados una proposicin elemental puede definirse como una frmula elemental cuyos trminos son todos trminos bsicos. Ejemplos: R(2, f (3), 4), (x)(z)[x + 5 = z], (x)(y)(z)[x + y = z] )[y + x = z] son proposiciones siendo R(2, f (3), 4) una proposicin elemental.

Lgica de predicados y aritmtica Como se ha dicho anteriormente el lenguaje de la lgica de predicados hasta aqu desarrollado resulta ser suficiente para la expresin de la mayor parte de las teoras matemticas. Veamos esto con respecto a la aritmtica. Un fundamento terico de la aritmtica lo constituyen las siguientes proposiciones del destacado matemtico italiano Giuseppe Peano (1858-1932) sobre los nmeros naturales: P1 : P2 : P3 : P4 : Para todo nmero natural existe uno y slo un sucesor inmediato. El 0 no es sucesor de ningn numero natural. Dos nmeros naturales diferentes no tienen el mismo sucesor. Si una propiedad se cumple para el 0 y si cumplindose para cualquier nmero natural se cumple tambin para el sucesor de dicho nmero natural, entonces la propiedad se cumple para todo nmero natural.

83

Para llevar a cabo una representacin en el lenguaje de la lgica de predicados de las proposiciones P1 P4, es necesario tener en cuenta lo siguiente: En las proposiciones dadas aparece una constante 0 que denota un nmero natural determinado. Aparece adems una relacin entre nmeros naturales "ser el sucesor de" que denotaremos por el predicado binario suc(x, y) y que se leer "y es el sucesor de x". Por ltimo, se considerar que la propiedad a la que hace referencia P4 ha sido definida por un predicado unario A(x). Para establecer que dos nmeros son diferentes es necesario incluir la relacin de igualdad que ser denotada como es usual por el predicado binario x = y se leer "x es igual a y", y su negacin x y, se leer "x es desigual de y". La referencia a los objetos matemticos "nmeros naturales" en las proposiciones es una referencia explcita al dominio donde estos enunciados son verdaderos. No se har explcita en la transcripcin a la lgica de predicados esta referencia al dominio. P1: (x)(y)[s(x, y) (z) [s(x, z) y = z]] P2: (x)s(0, x) P3: (x)(y )(z )(v )[[s(x , z) s(y ,v) x y ] [ z v ] P4: A(0) (x)(y)[A(x) s(x, y )] A(y)]] (z)A(z) Analizando P1 P3 se llega a la conclusin que la relacin que el predicado s(x,y) denota es una relacin funcional o funcin. En efecto, dicho enunciado afirma como se interpretar intuitivamente tanto la existencia como la unicidad del sucesor de un nmero natural. Esto permite utilizar una notacin funcional en sustitucin de la notacin relacional para dicha relacin: el sucesor de x ser denotado por el trmino suc(x). P1: (x)(y)[y = suc(x) (z)[z = suc(x) y = z]] P2: (x) 0 = suc(x) P3: (x)(y) [x y suc(x) suc(y)] P4: [A(0) (x)[A(x) A(suc(x))]] (x)A(x)

84

Interpretacin de frmulas En la lgica proposicional se defini la interpretacin de una frmula como una asignacin de valores veritativos 0 y 1 a las variables proposicionales de la frmula. En la lgica de predicados con la aparicin de los predicados y la cuantificacin, es decir, de formulas cuya evaluacin depende de su interpretacin en un dominio, el concepto de interpretacin se complica. Para definir una interpretacin de una frmula A de la lgica de predicados en un dominio D es necesario observar las siguientes reglas de interpretacin (I1 I4): (I1) Si x es una variable libre de A, entonces x tiene como dominio de valores a D. (I2) Si a es una constante de A, entonces a tiene como interpretacin un elemento de D, es decir, a nombra un elemento bien determinado de D. (I3) Si f es un smbolo de funcin n-aria de A, entonces f denota bajo una interpretacin en D, una funcin con dominio en D y valores en D. (I4) Si r es un smbolo de relacin n-aria de A, entonces r denota bajo una interpretacin en D una relacin n-aria en D, es decir, una relacin R f D D D. Definicin: Dada una interpretacin de una frmula A en un dominio D, se establece por recurrencia sobre la estructura de A cuando A es verdadera en D mediante las siguientes reglas de evaluacin (V1 V6): (V1) Si A es una frmula atmica de la forma r(a1, ..., an), entonces A es verdadera en D si <a1, ..., tn> r f D D D. Las reglas (V2) (V6), como se podr apreciar, son las reglas ya dadas de evaluacin de frmulas en la lgica proposicional: (V2) Si A es la frmula B, entonces A es verdadera en D si B es falsa en D. (V3) Si A es la frmula B C, entonces A es verdadera en D si al menos una de las dos frmulas B C es verdadera en D. (V4) Si A es la frmula B C, entonces A es verdadera en D si ambas frmulas B y C son verdaderas en D. (V5) Si A es la frmula B C, entonces A es verdadera en D si B es falsa en D o C es verdadera en D. (V6) Si A es la frmula B C, entonces A es verdadera en D si B y C son a la vez ambas verdaderas o ambas falsas en D. A continuacin, las reglas que definen la evaluacin de frmulas con cuantificadores: (V6) Si A es la frmula (x)B(x), entonces A es verdadera en D si y slo si B(x) es verdadera para cualquier valor de x en D. (V7) Si A es la frmula (x)B(x), entonces A es verdadera en D si y slo si B(x) es verdadera para al menos un valor de x en D.

85

Ejemplos: Sean las frmulas (x)r(x, a) (y)r (f (b), y) y [(x)r(x, a)] (y)r(f (b), y) interpretadas en D = { 1, 2, 3 } de la siguiente manera: a denota el numero 1 b " " " 2 r = { <1, 1>, <1, 2>, <1, 3>, <2, 3> } D D f = {<1, 2>, <2, 3>, <3, 1>} , es decir, f(1) = 2, f(2)= 3, f(3)= 1 . Determinando el valor veritativo por esta interpretacin de la frmula (x)r(x, a) (y)r(f (b), y): r(x, a) para x = 1 es verdadera, luego (x)r(x, a) es verdadera por (V7). r(f (b), y) para y = 3 es verdadera, luego (x)r(f (b), y) es verdadera por (V7). Entonces (x)r(x, a) (y)r(f (b), y) es verdadera por (V5). Como ejercicio, determine que la frmula [(x)r(x, a)] (y)r(f(b), y) es falsa por la interpretacin dada. Las definiciones de formula satisfacible, insatisfacible y tautologa dadas para la lgica proposicional se extienden a las frmulas de la lgica de predicados.

86

3.2. Deduccin en la lgica de predicados Este epgrafe contina on el estudio de la deduccin lgica. Las siguientes son leyes y reglas de inferencia deductiva fundamentales de la lgica de predicados. Las mismas formulan propiedades principales de las operaciones de cuantificacin. Ha de tenerse en cuenta adems que todas las leyes de la lgica proposicional, asi como la regla de inferencia RI1 (modus ponens) y dems reglas derivadas son leyes y reglas de la lgica de predicados. Por ello la numeracin de estas nuevas leyes contina con la numeracin dada en cada caso. Para facilitar la exposicin, en lo que sigue denotaremos mediante A y B formulas en las que no aparece libre la variable x. Las leyes L41 y L42 se introducen como axiomas, es decir, como proposiciones de la lgica de predicados que se toman a priori como verdaderas para cualquier interpretacin en cualquier dominio, siendo por lo tanto tautologas de la lgica de predicados. El resto de las leyes que se introduzcan sern demostradas. Las demostraciones que no se incluyen se proponen como ejercicio.

Leyes y reglas de inferencia L42. (x)A(x) A(t) Condicin: t es libre con respecto a x en A(x), t puede ser propiamente x resultando (x) A(x) A(x). L43. (x)[A(x) B] (x)A(x) B L44. (x)A(x) (x)A(x) Demostracin: (x) A(x) (x) [A(x) 0] (x) [A(x) 0] (x) [A(x) 0] (x)A(x) 0 (x)A(x) 0 (x)A(x) 0 (x)A(x) L44. (x)A(x) (x) A(x) Demostracin: (x) A(x) (x) A(x) (x) A(x)

-L9 -L22 -L42 -RI1, (2), (3) -L22 -L11

-L44 -L17

87

L45. (x)A(x) (x)A(x) Demostracin: Ejercicio. L46. (x) A(x) (x)A(x) Demostracin: Ejercicio. L47. (x) [A(x) B] (x)A(x) B Demostracin: (1) (x) [A(x) B] (x) [A(x) V B] (2) (x) [A(x) B] (3) (x)[ A(x) B] (x) A(x) B (4) (x) A(x) B (5) (x) A(x) B (6) (x) A(x) B (7) (x) A(x) B L48. (x)[A(x) B] (x)A(x) B Demostracin: Ejercicio. L49. A(t) (x) A(x) Condicin: Si x es variable de t, x es libre en A(t).

-L15 -L22 -L43 -RI1, (2), (3) -L45 -L22 -L15

Demostracin: T | (x) A (x) A(t) | A(t) (x)A(x) | A(t) (x)A(x) L50. (x)A(x) (x)A(x) Demostracin: Ejercicio.

-L41 -L24 -L46

Lgica de predicados y razonamiento ordinario Considere la siguiente deduccin i) Todos los hombres son mortales, ii) Scrates es hombre, luego, iii) Scrates es mortal.

88

Se tratar de demostrar la validez de esta simple inferencia a partir de la lgica proposicional. Dado que i), ii) y iii) son tres proposiciones distintas, las representaremos por tres constantes proposicionales distintas, a saber, p, q y r, donde p y q que representan a i) y ii) respectivamente son aceptadas como verdaderas, por lo tanto, premisas de la deduccin y r que representa a iii) es su conclusin. Analizando las reglas de inferencia proposicional estudiadas se llegar a la conclusin de que no hay entre dichas reglas ninguna que permita deducir r a partir de p y q. En efecto, para hacer dicha deduccin se necesita tener en cuenta la estructura interna de las proposiciones p, q y r, especficamente las propiedades que expresan los predicado unarios ser hombre y ser mortal, adems del efecto del cuantificado universal que aparece en i), proposicin que establece que es suficiente que una entidad satisfaga la propiedad ser hombre para que satisfaga la propiedad ser mortal. Considere ahora la siguiente representacin en el lenguaje de la lgica de predicados de i), ii) y iii): i') (x) [hombre(x) mortal (x)] ii') hombre(Scrates) iii') mortal(Scrates) Veamos ahora la siguiente deduccion de iii') a partir de i') y ii'). (1) (x)[hombre(x) mortal (x)], hombre(Scrates) | (x)[hombre(x) mortal (x)] -hiptesis (2) | hombre(Scrates) -hiptesis (3) | (x)[hombre(x) mortal (x)] [hombre(Scrates) mortal(Scrates)] -L42 (4) | hombre(Scrates) mortal(Scrates) -RI1, (1), (3) (5) | mortal(Scrates) -RI1, (2), (4)

Se observar que en esta demostracin se introduce un paso, a saber el paso (3) en el cual se aplica L42 particularizada de acuerdo a las propiedades y nombres involucrados en la deduccin que se intenta realizar. Se comenzar ahora a introducir reglas de inferencia deductiva de la lgica de predicados. Ya se advirti que todas las reglas de inferencia de la lgica proposicional, RI1 RI11, se adoptan en la lgica de predicados. Slo habr que sealar una condicin para utilizar la regla RI2 (Teorema de la deduccin) la cual ser introducida ms adelante. Las reglas de inferencia de la lgica de predicados establecen condiciones para introducir pasos en las deducciones involucrando a los cuantificadores, de esta forma la lgica de predicados amplia la inferencia deductiva y sus posibles aplicaciones.

89

Comienza la introduccin de las reglas de inferencia propias de la lgica de predicados con la regla de Generalizacin (RI12) la cual ser aceptada como un postulado, es decir sin demostracin.
Regla de Generalizacin

(RI12) Generalizacin: T | A(x) | (x)A(x)

Nota sobre el teorema de la deduccin

Note que la regla (RI12) permite cuantificar universalmente una variable que ocurra libre en un paso de una demostracin. Teniendo en cuenta esta posibilidad una observacin debe hacerse con respecto a la aplicacin de la regla RI2 (teorema de la deduccin). Se realizar a travs de un ejemplo: Supngase que se realiza la siguiente demostracin T, r(x) | r(x) | (x)r(x) T | r(x) (x)r(x) Supngase que se realiza una interpretacin de r en un dominio de al menos dos elementos D = {a, b} tal que r(a) es verdadera y r(b) es falsa. Entonces puede verificarse por las reglas de interpretacin que la frmula r(x) (x)r(x) es falsa por esta interpretacin. Luego aceptaremos la siguiente condicin para aplicar la regla RI2: (RI2) T, A | B |AB Condicin: No ha habido aplicacin de la regla (RI12) en la que la variable que se haya acotado por su aplicacin sea libre en A. Todas las reglas que sern introducidas a partir de ahora son reglas derivadas y, por lo tanto, redundantes. Sin embargo, como en el caso de las reglas derivadas de la lgica proposicional facilitan la realizacin de deducciones.

90

Regla de introduccin del cuantificador universal

(XIII) -introduccin: T | A B(x) T | A (x)B(x) Demostracin: (1) T| (2) T, A | (3) | (4) | (5) | (6) T| A B(x) A B(x) A B(x) (x)B(x) A (x) B(x) -premisa -por propiedad de | -por hiptesis -(RI1), (3), (2) -(RI12), (4) -(RI2), (5)

Regla de particularizacin

(XIV) particularizacin: T | (x)A(x) | A(t) Condicin: Si x es variable de t, x es libre en A(t). Demostracin: Ejercicio.
Regla de existencia

(XV) existencia: T | A(t) | (x)A(x) Condicin: Si x es variable de t, x es libre en A(t). Demostracin: Ejercicio.

Regla de introduccin del cuantificador existencial

(XVI) -introduccin: T | A(x) B | (x)A(x) B

91

Condicin: Si x es variable de t, x es libre en A(t). Demostracin: Ejercicio.

Regla de sustitucin de variables por trminos

(XVII) Sustitucin: T | A(x) | A(t) Condicin: Si x es variable de t, x es libre en A(t). Demostracin: Ejercicio.

Continua ahora la introduccin de nuevas leyes de la lgica de predicados: L51. (x)[A(x) B] (x)A(x) B Demostracin: (1) T, (x)[A(x) y B] (2) (3) (4) (5) (6) (7) | (x)[A(x) B] | A(x) B | A(x) | (x)A(x) |B | (x) A(x) B | (x) [A(x) B] (x) A(x) B

-por hiptesis -(RI14), (1) -(RI4a), (2) -(RI12), (3) -(RI4b), (2) -(RI3), (4), (5) -(RI2), (6)

Se deja como ejercicio la demostracin de la implicacin en el otro sentido. L52. (x) [A(x) B] (x) A(x) B Demostracin: Ejercicio (utilizar L46). L53. (x) [A B(x)] [A (x) B(x)] Demostracin: Ejercicio (utilizar L22). L54. (x)[A(x) B(x)] (x)A(x) (x) B(x) Demostracin: Ejercicio.

92

L55. (x) [A(x) B(x)] (x) A(x) E (x) B(x) Demostracin: (1) T, A(x) B(x) | A(x) y B(x) (2) | A(x) (3) | B(x) (4) | (x)A(x) (5) | (x)B(x) (6) | (x)A(x) (x)B(x) (7) | [A(x) B(x)] [(x)A(x) (x)B(x)] (8) | (x)[A(x) B(x)] [(x)A(x) (x) B(x)]

-por hiptesis -(RI5a), (1) -(RI5b), (1) -(RI15), (2) -(RI15), (3) -(RI3), (4), (5) -(RI2), (6) -(RI16), (7)

Obsrvese que hay implicacin en un sentido solamente. ?Por que? L56. (x)[A(x) B(x)] (x) A(x) (x)B(x) Demostracin: Ejercicio. L57. (x) A(x) (x) B(x) (x) [A(x) B(x)] Demostracin: Ejercicio. L58. (x) (y) A(x, y) (y) (x) A(x, y) Demostracin: Ejercicio. L59. (x) (y) A(x, y) (y) (x) A(x, y) Demostracin: Ejercicio. L60. (x) (y) A(x, y) (y)(x) A(x, y) Demostracin: Ejercicio. L61. (x) [A(x) B] = (x) A(x) B Demostracin: Ejercicio.

93

L62. (x) A(x) (x) B(x) (x)(y) [A(x) B(y)] Demostracin: (1) T, A (x) A(x) | (x)A(x) -por hiptesis (2) | A(x) -(RI14), (1) (3) | A(x) B(y) -(RI5), (2) (4) | (y) [A(x) B(y)] -(RI12), (3) (5) | (x)(y) [A(x) B(y)] -(RI12), (4) (6) T | (x) A(x) (x)(y) [A(x) B(y)] -(RI2), (5) (7) T, (x)B(x) | (x) B(x) -por hiptesis (8) | B(y) -(RI14), (7) (9) | B(y) A(x) -(RI5), (8) (10) | A(x) B(y) -L5, (9) (11) | (y) [A(x) B(y)] -(RI12), (10) (12) | (x)(y) [A(x) B(y)] -(RI12), (11) (13) T | (x) B(x) (x)(y) [A(x) B(y)] -(RI12), (12) (14) | (x) A(x) (x) B(x) (x)(y) [A(x) B(y)] -(RI6a), (6), (13) Demostracin matemtica Se ofrece a continuacin, a manera de ejemplo, la demostracin de dos teoremas matemticos en los cuales se hace uso de las leyes y de las reglas de inferencia de la lgica de predicados. Todas las consideraciones establecidas en el primer epgrafe sobre demostracin matemtica son tambin vlidas ahora. a) Teorema: f A Demostracin: (1) T, [ f A] | [ f A] (2) | (x) [x x A] (3) | (x) [x x A] (4) | (x) [[x ] x A] (5) | (x)[ [x ] [x A]] (6) | (x) [x [x A]] (7) | (x) x (x) [x A] (8) | (x) x (9) | (x) x (10) | (x) x (x) x (11) T | fA

-por hipotesis -def. de inclusion -L45 -L22 -L20 -L17 -L55 -(RI4a), (7) -def. de -(RI3), (8), (9) -(R9a), (10)

94

b) Teorema: [A f B B f C] A f C Demostracin: (1) T, A f B B f C | A f B B f C (2) | AfB (3) | (x) [x A x B] (4) | xAxB (5) | BfC (6) | (x) [x B x C] (7) | xBxC (8) | xAxC (9) | (x)[x A x C] (10) | AfC (11) T| AfBBfCAfC -por hiptesis -(RI4a), (1) -def. de inclusin -(RI14), (3) -(RI4b), (1) -def. de inclusin -(RI14), (6) -(RI8), (4), (7) -(RI12), (8) -def. de inclusin -(RI2), (10).

Bibliografa (incompleta) Chang, CH. Symbolic Logic and Mechanical Theorem Proving. Academia Press New Cork, 1973. Church, A., Introduction to Mathematical Logic. Princeton University Press, Princeton, N. J., Vol I, 1956. Kleene, S. C., Introduction to Metamathematics. D. Van nostrand Co., New Cork, 1952. Kreisel, G. y Krivine H., Elments de logique matheatique. Dunod, Paris,1963. Mendelson, E. Introduction to mathematical Logic, Princeton, New Cork. Nicola, J. Introduccin a la Lgica Moderna, Tomos I y II, Instituto Cubano del Libro, Habana, 1968. Rosser, J. B., Logic for Mathematicians. New York, 1953.

95