GUIA DE TRABAJOS TEÓRICO PRACTICOS Nº3: LOGICA DE PREDICADOS

Transcripción

1 CENTRO EDUCATIVO DE NIVEL TERCIARIO N 2 INTRODUCCIÓN A LA LOGICA SIMBOLICA PRIMER AÑO GUIA DE TRABAJOS TEÓRICO PRACTICOS Nº3: LOGICA DE PREDICADOS 1.-Estructura de las proposiciones El desarrollo del cálculo proposicional se basa en entidades matemáticas representativas de unidades de información, cuya estructura se contempla como un todo, sin diferenciar sus componentes. Este planteamiento no permite representar matemáticamente determinadas estructuras deductivas, que, sin embargo, son correctas en el lenguaje usual. Así, por ejemplo, el razonamiento: Todos los hombres son mortales. Sócrates es hombre. Luego, Socrates es mortal. Esta estructura deductiva, tratada con la hipótesis que sirve de base al cálculo proposicional, tendría la siguiente representación matemática: p q r Por tanto, ninguna de las proposiciones p, q, r, puede describirse mediante partes de las mismas dotadas de significado propio, unidas por conectivas, que sean comunes en algunas de ellas y, la relación entre premisas y conclusión que hace la deducción correcta, no puede detectarse con este nivel de representación. Esto se debe a que la relación entre las proposiciones está en la propia estructura interna de éstas, en efecto: se afirman en ellas las mismas propiedades o relaciones para distintas personas o conjuntos de personas. (Las propiedades son Ser Hombre, Ser mortal, las personas objeto de atribución de estas propiedades son colectivos, en la primera proposición, e individuos concretos, Socrates, en las otras), por ello, para tratar matemáticamente este tipo de estructuras deductivas es preciso crear una teoría que no tome como base la simbolización matemática de la proposición total sino la de sus componentes, es decir: 1

2 Qué se afirma. De quién o quiénes se afirma El primer elemento se define como el predicado y el segundo, como los sujetos o términos. Así en la frase: Juan es negro. Es negro es el predicado y Juan el sujeto o término de la proposición. Puede haber proposiciones con varios términos, por ejemplo: Juanita está en clase entre Pedro y Manuela. En este caso el predicado es -- está en clase entre -- y -- y los términos son Juanita, Pedro y Manuela. Los predicados que se refieren a un único término se denominan predicados absolutos o monádicos. Los que se refieren a varios sujetos se denominan predicados de relación o poliádicos (según el número de términos pueden ser diádicos, triádicos, etc.). 2.-Simbolización Una vez definidos los componentes de la proposición se plantea su representación matemática en base a términos y predicados. Para la simbolización de términos se supone como base de referencia un dominio genérico, no vacío. Los términos se representan por variables o constantes cuyos valores posibles forman parte del dominio anterior. x, y, z, t... letras de variables, representan cualquier elemento del dominio. a, b, c, d... letras de constantes, representan elementos concretos del dominio. Para la simbolización de predicados se utiliza la notación funcional: f, g, h... Así, la proposición Juan es negro, que en la lógica proposicional se simboliza con p, en la lógica de predicados queda: f (a) o bien n (j) donde n: ser negro; j: Juan. De la misma manera: 2

3 x es negro n (x) Juanita está en clase entre Pedro y Manuela f (a, b, c,) x está en clase entre y y z f (x, y, z) donde los sujetos x, y,z están indeterminados. Definición: Se denomina forma proposicional o función proposicional, a una expresión que contiene una o más indeterminadas que, al ser reemplazadas por elementos de un conjunto fijado (dominio de la variable) se transforma en proposición. Luego, la construcción de proposiciones requiere la definición previa de un dominio de términos posibles. Ejemplo: U = { 1, 2, 3, 4} universo de discurso p(x) : x es par forma proposicional donde x está indeterminada y puede tomar los valores del conjunto fijado U, así si x = 1, p(x) se convierte en: p(a) :1 es par proposición falsa p(b) : 2 es par proposición verdadera Se observa que en 1 es par y en 2 es par el predicado se atribuye a sujetos determinados del universo, en estos casos, las proposiciones se denominan proposiciones singulares. Las funciones proposicionales pueden aparecer negadas, como en el enunciado Fulano no es americano, que se simboliza ~Fx. También pueden aparecer unidas mediante las conectivas proposicionales binarias con otras funciones proposicionales, o con enunciados singulares, como por ejemplo, x es un número par pero y es un número primo, que se simboliza p(x) q(x). Si en una forma compuesta hay por lo menos una función proposicional como componente, toda la forma compuesta es una función proposicional. Por ejemplo, p(a) (q(b) r(x)) es una función proposicional porque contiene a r(x). Actividad 1: Simbolizar las siguientes formas proposicionales y proponer dos ejemplos de sustitución verdaderos y dos ejemplos de sustitución falsos para cada una de ellas: x es estudiante de la UCSE 3

4 1.2.- x es alumno de Algebra I x es número impar x es múltiplo de 2 Actividad 2: En cada uno de los siguientes enunciados deberá: *)Distinguir las formas proposicionales de las proposiciones. **)Señalar y simbolizar los sujetos y los predicados. ***)Traducirlos al lenguaje simbólico de la lógica de predicados x es un número x no es un número es un número impar x es un número par es un número pero no es par No se da el caso de que x sea un número par No es cierto que 4 sea un número impar La Matemática es exacta La Matemática y la Lógica son exactas La Lógica es exacta y bivalente x es múltiplo de y x es múltiplo de Conjunto de verdad. El papel de las variables se ha comparado acertadamente muchas veces con el de los espacios vacíos de los cuestionarios: Una función proposicional no se convierte en proposición hasta no insertar constantes en los lugares de las variables. Si como resultado de reemplazar constantes en lugar de variables (y naturalmente, de constantes iguales en lugar de variables iguales) se obtiene una proposición verdadera, diremos que los objetos designados por esas constantes satisfacen la función proposicional dada. 4

5 El conjunto formado por las constantes que satisfacen la función proposicional dada, se denomina conjunto de verdad. O sea: P = { a U / p(a) es V } En el ejemplo presentado anteriormente: U = { 1, 2, 3, 4} universo de discurso p(x) : x es par forma proposicional p(a) :1 es par proposición falsa p(b) : 2 es par proposición verdadera p(c) : 3 es par proposición falsa p(d) : 4 es par proposición verdadera El conjunto de verdad de la forma proposicional p(x) es, P = { 2, 4} Se debe observar que mientras p(x) está escrito en lenguaje lógico, P = { 2, 4} está escrito en lenguaje de la teoría de conjuntos Actividad 3: Simbolizar las siguientes formas proposicionales y determinar sus respectivos conjuntos de verdad: U = N ; x + 3 = U = Z ; 3 - x = U = N ; x 2 = U = Z ; x 2 = U = Z ; x + 2 = U = R ; x + 2 = U = R ; x = U = R ; x < U = R ; x 3 4.-Cuantificadores Consideremos el siguiente ejercicio: 5

6 Dado el conjunto universal U = { x / x proposicionales: es un nro. dígito } y las funciones a) p (x) : x 9 b) q (x) : x > 9 c) r (x) : x < 5 Encontrar el conjunto de verdad correspondiente. a) En este caso, se trata de una función proposicional que contiene una variable, x y que es satisfecha por cualquier número perteneciente a U; si colocamos constantes numéricas cualesquiera en lugar de x obtenemos siempre una fórmula verdadera. O sea que si llamamos P al conjunto de verdad de p (x) tenemos que: P = { 0, 1,..., 9} = U. Expresamos este hecho del siguiente modo: Para todo número x del universo, x 9. La expresión así obtenida es una proposición y, más aún, proposición verdadera, y se la denomina proposición universal. Para simbolizarla, la lógica usa un operador llamado cuantificador universal: x U : p(x), o bien x : p(x) Que se lee para todo x del universal, se verifica la propiedad p En el lenguaje corriente no se hace uso, por lo general, de variables sino de ciertas palabras que están estrechamente relacionadas con los cuantificadores; son, entre otras: cada, todo, cualquiera, cualesquiera, cada uno, etc. b) Analizando esta situación, vemos que ningún elemento del universal transforma a la función proposicional en proposición verdadera. Si llamamos Q al conjunto de verdad de q(x) tendremos: Q = { } Expresamos: Para todo número x del universo, se verifica x > 9 y simbolizamos: x U : ~ p(x) o bien x : ~ p(x) En lenguaje corriente otras expresiones son: ninguno, ningún, nadie, nada, etc. Estas tienen una doble función, cuantificar universalmente y negar. 6

7 c) En este caso, algunos elementos del conjunto universal satisfacen r (x). Su conjunto de verdad es: R = { 1, 2, 3, 4 } o sea R U Enunciamos: Existe un x del universo tal que verifica x < 5 Simbolizamos: x U : r (x) o bien x : r (x) El operador se denomina cuantificador existencial y transforma a la función proposicional en una proposición existencial ya que al anteponer el cuantificador, tiene sentido decir que es V o F. Otras expresiones que originan proposiciones existenciales son : algo, alguien, hay, unos, alguno, hay cosas, algún, etc. Mientras que una función proposicional no es verdadera ni falsa, las proposiciones existenciales son verdaderas cuando hay por lo menos un caso de sustitución que sea verdadero y son falsas cuando no hay ningún caso de sustitución que la haga verdadera. 5.-Cuantificación Simple Se denominan proposiciones generales simples las proposiciones que tienen un único predicado, y son universales o existenciales. Las proposiciones generales simples pueden unirse mediante las conectivas proposicionales diádicas con enunciados singulares, con funciones proposicionales, y con otras proposiciones generales. Simbolizaremos los siguientes ejemplos: a) Todo es perecedero. p(x) : x es perecedero x : p(x) b) No todo es perecedero. ~ x : p(x) c) Nada se mueve. m(x) : x se mueve x : ~ m(x) d) Alguien no es perfecto. 7

8 q(x) : x es perfecto x : ~ q(x) e) Si Marta llega, todos saldremos. f(a) : Marta llega g(x): x sale f(a) x : g(x) Actividad 4: Simbolizar las siguientes proposiciones que contienen cuantificadores considerando como universo el conjunto de alumnos de este curso: 4.1. Todos llegaron a tiempo 4.2. Algunos estudian pero otros no 4.3. Hay alumnos estudiosos 4.4. Ninguno fuma en clase 4.5. Todos estudian aunque algunos no aprueban 4.6. Unos preparan la teoría o todos se reúnen por las tardes 6.-Alcance de un cuantificador. Variables libres y ligadas Si un cuantificador no va seguido por un signo de puntuación (paréntesis, corchete o llave), su alcance llega hasta la(s) variable(s) correspondiente(s) a la primera letra de predicado a su derecha. Por ejemplo, en la forma x : p(x) el alcance del cuantificador llega hasta la x de la función p(x), y en la forma x : p(x) q(x) llega hasta la x de p(x), y no a la x de q(x). En cambio, si el cuantificador va seguido de un signo de puntuación izquierdo, su alcance llegará hasta el signo de puntuación derecho, o sea, que su alcance se extenderá a toda la expresión encerrada dentro de los paréntesis, corchetes o llaves. Por ejemplo, en la forma x : (p(x) q(x)) las dos variables dentro de los paréntesis caen bajo el alcance del cuantificador, y en la forma ( x)[( p(x) q(x))vh(x)] las tres variables dentro de los corchetes también. Se llaman variables ligadas las variables que caen bajo el alcance de un cuantificador; y se llaman variables libres aquellas que o bien no tienen un cuantificador correspondiente, o bien no caen bajo el alcance de un cuantificador Podemos ahora definir función proposicional como aquella forma cuantificacional que tiene, por lo menos, una variable libre. 8

9 Actividad 5: Dadas las siguientes formas cuantificacionales, indicar cuáles representan funciones proposicionales, y marcar sus variables libres: x : p(x) ^ q(x) x : (p(x) ^ q(x)) x / x < 5 v x + 2 = x / (x > 2 ^ x 9) x = x : (p(x) ^ q(x)) v q(x) x : x > 3 x + y = y x : x + y = 2 7.-Las proposiciones generales complejas categóricas Las proposiciones generales complejas son aquellas proposiciones universales o existenciales que poseen más de una letra de predicado bajo el alcance de un cuantificador universal o existencial. En este parágrafo nos ocuparemos de un tipo de proposiciones generales complejas, que son las que la lógica tradicional denominaba proposiciones categóricas. Hay cuatro tipos de proposiciones categóricas: 1) Tipo A, o universales afirmativas. Son ejemplos de este tipo los siguientes enunciados, que poseen un mismo significado: Todas las hormigas son insectos. Cualquier hormiga es insecto. Las hormigas son insectos. Si algo es hormiga, entonces es insecto. Pueden darse también otras formulaciones equivalentes. Todos ellos pueden parafrasearse mediante la expresión para todo x, si x es hormiga, entonces x es insecto y son simbolizados mediante la forma x : (p(x) q(x)), que es la cuantificación universal de la función proposicional condicional si x es hormiga, entonces x es insecto, o sea, p(x) q(x). Las proposiciones de este tipo son verdaderas cuando todos los casos de sustitución de la función proposicional p(x) q(x) son verdaderos, y es falsa cuando hay por lo menos un caso de sustitución que es falsa. Son los llamados 9

10 condicionales generalizados donde el condicional surge al analizarse la estructura interna de las proposiciones, y no como una conectiva que liga dos proposiciones, tal como se da en la lógica proposicional. En este tipo de enunciados, así como en los que seguiremos presentando, no coincide el predicado gramatical con el predicado lógico, pues ser hormiga es para la lógica un predicado, tanto como ser insecto, mientras que gramaticalmente hormiga es sujeto. La lógica tradicional simboliza este tipo de enunciados mediante el esquema Todo S es P, coincidiendo con el análisis gramatical. Al igual que las proposiciones generales simples, los enunciados de tipo A pueden darse negados, como por ejemplo; No todos los elefantes son africanos, que se simboliza ~ x : (p(x) q(x)) 2) Tipo E, o universales negativas. Son ejemplos de este tipo los enunciados. Ninguna hormiga es insecto. Las hormigas no son insectos. Nada que sea hormiga es insecto. y otros giros equivalentes, que pueden parafrasearse para todo x, si x hormiga, entonces x no es insecto, y son simbolizados por la forma x : (p(x) ~q(x)). Tanto el condicional como la negación surgen del análisis interno de las proposiciones. Como con los de tipo A, estos enunciados son verdaderos cuando todos los casos de sustitución de la función proposicional p(x) ~q(x) son verdaderos, y son falsos cuando hay por lo menos un caso de sustitución falso. La lógica tradicional los simbolizaba mediante el esquema Ningún S es P. También pueden darse, negados como el enunciado No es cierto que ningún elefante es asiático, que se simboliza ~ x : (p(x) ~q(x)). 3) Tipo I, o particulares afirmativos. Como los enunciados existenciales: Algunos perros son negros. Ciertos perros son negros. Algún perro es negro. Hay perros negros. 10

11 y otras posibles formulaciones que tengan el mismo significado. Todas ellas pueden parafrasearse mediante existe por lo menos un x tal que x es perro y x es negro, y se los simboliza x : (p(x) q(x)). Son la cuantificación existencial de la función proposicional compuesta p(x) q(x). La conjunción es la conectiva que registra más adecuadamente el significado de este tipo de proposiciones, y no el condicional, pues el sentido de estos enunciados no es, por ejemplo, afirmar que existe por lo menos un x, tal que si es perro entonces es negro, sino más bien que hay por lo menos un x que es a la vez perro y negro. En cuanto a las condiciones que los hacen verdaderos, son verdaderos cuando hay por lo menos un caso de sustitución de la función proposicional p(x) q(x) que es verdadera, y son falsos cuando no hay ningún caso de sustitución que los hace verdaderos. La lógica tradicional los representaba mediante la forma Algún S es P. Si aparecen negados, como en el enunciado No es cierto que hay vacas rojas se los simboliza mediante ~ x : (p(x) q(x)). 4) Tipo O, o particulares negativos. Como los enunciados: Algunos perros no son negros. Ciertos perros no son negros. Algún perro no es negro. Hay perros que no son negros. que pueden parafrasease mediante existe por lo menos un x tal que x es perro y x no es negro, y se simbolizan x : (p(x) ~ q(x)), donde tanto la conjunción como la negación surgen del análisis interno de los enunciados. Son verdaderos cuando hay por lo menos un caso de sustitución de la función proposicional p(x) ~ q(x), que es verdadera, y son falsos cuando no hay ninguno de ellos que sea verdadero. La lógica tradicional los simboliza mediante Algún S no es P. Pueden darse negados, como el enunciado No hay pájaros que no vuelen, que se simboliza ~ x : (p(x) ~ q(x)). 11

12 Actividad 6: Simbolizar los siguientes enunciados e indicar a que tipo corresponden: a) Algunos trabajos son insalubres. b) Hay osos blancos. c) No todas las tortugas son acuáticas. d) Ningún ruiseñor vive en cautiverio. e) Algunos caminos no han sido reparados. f) Ningún mal dura cien años. g) Todo número entero es múltiplo de 3. h) Todos los números pares son divisibles por 2. i) Algunos números naturales pares son múltiplos de 3. j) Cualquier número natural par es múltiplo de 2 pero algunos son múltiplos de 6. k) Todos los números negativos son menores que cero. l) No todos los números son positivos. 8.-Leyes de la lógica cuantificacional Las leyes de la lógica son formas de enunciados cuyos casos de sustitución son siempre enunciados verdaderos. Las leyes de la lógica cuantificacional difieren en las leyes de la lógica proposicional en que estas últimas coincidían con las tautológicas, mientras que las leyes cuantificacionales no. En primer lugar son leyes de la lógica cuantificacional las correspondientes de la lógica proposicional, para formas cuantificacionales. Por ejemplo, la ley de identidad de la lógica proposicional, p p y p p, tiene en la lógica cuantificacional las siguientes leyes: Fa Fa, x Fx Fx, ( x) Fx ( x) Fx,... Fa Fa, x Fx Fx, ( x) Fx ( x) Fx,... En segundo lugar están las leyes propias de la lógica cuantificacional que no se corresponden con ninguna ley proposicional y son las que involucran como parte esencial a los cuantificadores. 12

13 Enumeraremos las más importantes: Leyes de Intercambio de cuantificadores x : f(x) x : f(x) x : f(x) x : f(x) x : f(x) x : f(x) x : f(x) x : f(x) Leyes de Distribución de cuantificadores x : (f(x) g(x) ) ( x : f(x) x : g(x) ) x : ( f(x) g(x) ) ( x : f(x) x : g(x) ) En los otros casos no se cumplen las equivalencias ( x : f(x) x : g(x) ) x : ( f(x) g(x) ) x : ( f(x) g(x) ) ( x : f(x) x : g(x) ) El hexágono de la conmutatividad de los cuantificadores (o de Prior) La cuantificación de funciones diádicas simples (predicados que se refieren a dos sujetos) da lugar a ocho fórmulas posibles de combinación de cuantificadores, generan entre sí una serie de relaciones de deducibilidad que pueden resumirse en un hexágono que se abre con la ley de la conmutación para los cuantificadores universales homogénea y se cierra con la de los cuantificadores existenciales homogéneos (cuantificadores del mismo tipo). x y : f(x,y) x y: f(x,y) x y : f(x,y) y x : f(x,y) y x: f(x,y) x y : f(x,y) y x : f(x,y) x y : f(x,y) 13

14 Actividad 7: Simbolizar cada enunciado, negar la expresión obtenida y retraducirla al lenguaje coloquial: 7.1. Todo el que la conoce, la admira Algunos números naturales son primos Las proposiciones compuestas contienen términos de enlace Hay personas honestas y otras son indiferentes Si cada alumno cumple sus obligaciones, entonces todos aprobarán el parcial. Actividad 8: Transformar las siguientes fórmulas, siempre que sea posible, mediante la distribución de los cuantificadores: x / (p(x) v - q(x)) x : (p(x) ^ q(x) ^ r(x)) x : (-p(x) v -q(x)) x / (p(x) ^ q(x)) x : p(x) ^ x :(q(x) r(x)) x : p(x) v x : q(x) 14