Está en la página 1de 3

Ejericios de semntica de la lgica proposicional a o

Ignacio Ojea June 24, 2012

Formalizacin o
1. Suponga que la interpretacin del predicado Oxy es x odia a y y que la interpretacin de la constante de o o individuo j es Juan. Traduzca los siguientes enunciados del lenguaje de predicados al lenguaje natural: xy(Oyx). xy(Oyx). xy(Oxy Ojy). x(y(Oyx) Ojy). xyz(Oxy Ozx) x(Ojx yOjy).

2. Formalizar los siguientes argumentos (no olviden hacer todos los que estn en el Falguera): a (a) Todos los hombres son mortales. Juan es inmortal. Por lo tanto, Juan no es hombre. (b) Todas las personas son amadas por algo. Hay personas. Por lo tanto, hay algo que ama a algo. (c) Hay un hombre al que todos aman. Juan es un hombre. Por lo tanto, todos aman a Juan. (d) Todos son hombres o todos son mujeres. Juan es hombre. Por lo tanto, todos son hombres. (e) Todos son hombres o mujeres. Todos los que hay son Mar y Juan. Mar no es hombre y Juan no a a es mujer. Por lo tanto, Mar es mujer y Juan es hombre. a (f) El amor nunca es correspondido. Por lo tanto, nadie se ama a si mismo. (g) Todos, excepto Mar aman a Juan. Juan ama slo a quin no lo ama (es un histrico). Por lo tanto, a, o e e Juan ama a Mar a. (h) Quien ama a alguien nunca muere. Todos morimos. Por lo tanto, nadie ama a nadie. 3. Preguntas conceptuales: En el lenguaje de la lgica de predicados no hay letras proposicionales. Por qu? Se pierde capacidad o e expresiva al quitarlas? Se producir algn problema si decidimos mantenerlas? a u Perder capacidad expresiva del lenguaje de la lgica de predicados si quitamos del vocabulario uno a o de los cuanticadores? Y si quitamos uno de los cuanticadores y la negacin? o Puede una variable caer bajo el alcance de un cuanticador pero no estar ligada por l? e Puede una variable estar ligada por un cuanticador pero no caer bajo su alcance? Puede una variable x estar libre y ligada por un cuanticador x (o x) en la misma frmula? o Cuntas subfrmulas tiene la frmula xx(Axx)? Es Ax una de las subfrmulas? a o o o Cuntas subfrmulas tiene como m a o nimo una frmula de la forma x()? o Cuntas subfrmulas que son oraciones tiene como m a o nimo una frmula de la forma x()? o

Unos primeros ejercicios con modelos


1. Considere los siguientes dos modelos y determine, para cada uno de los argumentos del punto 1.2 [(a)-(h)], si valen o no para esos modelos. El lenguaje tiene dos constantes de individuo j y m cuya interpretacin en los dos modelos es Juan y Mar o a respectivamente. Adems, tiene los predicados mondicos M (de mortal), H (de hombre), F (de mujer), P a a (de personas); y un predicado binario A (de amar).

M1 =< D, I >. D = {Juan, M aria, V ictoria, P edro}, I(M ) = {M aria, V ictoria}, I(H) = {M aria, V ictoria, Juan}, I(F ) = {M aria, V ictoria}, I(P ) = D, I(A){< M aria, P edro >, < P edro, Juan >, < V ictoria, Juan >, < Juan, Juan >}. M2 =< D, I >. D = {Juan, M aria, V ictoria, P edro}, I(M ) = {P edro, V ictoria}, I(H) = {P edro}, I(F ) = {M aria, V ictoria, P ed {Juan, M aria, P edro}, I(A){< P edro, P edro >, < P edro, M aria >, < V ictoria, Juan >, < Juan, Juan > }. 2. Suponga que el universo de discurso D est compuesto por un nmero nito de objetos d1, d2 y d3 y que el a u lenguaje cuenta con constantes de individuo c1, c2 y c3 tal que c1 denota el objeto d1, c2 denota el objeto d2 y c3 denota el objeto d3. Encuentre una forma de expresar los siguientes enunciados en el lenguaje de la lgica de predicados sin utilizar cuanticadores. o x(P (x)). x(P (x)). xy(Rxy Ryx). xy(Rxy).

Algunas propiedades de las relaciones binarias

Aqu estudiaremos algunas propiedades que pueden tener las relaciones binarias. Sea R una relacin binaria, o entonces: R se dice reexiva si y slo si (sii) para todos los objetos x, xRx. o Por ejemplo, la relacin de identidad es reexiva, porque todos los objetos son idnticos a si mismos. o e R se dice simtrica sii para todos los objetos x e y, si xRy entonces yRx. e Por ejemplo, la relacin de hermandad es simtrica, porque si a es hermano de b, entonces b es hermano o e de a. R se dice transitiva sii para todos los objetos x,w,z, si xRw y wRz entonces xRz. Por ejemplo, la relacin de mayor en los nmeros naturales es simtrica, porque si a > b y b > c entonces o u e a > c, y eso vale para cualesquiera nmeros a, b, c. u R se dice serial si para todo objeto x hay un objeto y tal que xRy. Por ejemplo, la relacin de tener por madre a es serial, porque todos tenemos una madre. o R se dice Euclidea sii para todo x,w,z, si xRw y xRz, entonces wRz. Ahora demuestre los siguientes enunciados, donde R es una relacin binaria: o 1. Si R es reexiva y Euclidea, entonces es simetrica y transitiva. 2. Si R es simetrica y transitiva, entonces es Euclidea. Los tres enunciados siguientes son equivalentes: i. R es reexiva, simetrica y transitiva [i.e. es una relacion de equivalencia]. ii. R es simetrica, transitiva y serial. iii. R es reexiva y Euclidea. 2

Argumentos y modelos
1. Construya para cada caso un modelo con grafos en donde la relacin de echarse tenga la propiedades o requeridas: (a) Que sea simtrica y transitiva, pero no reexiva. e (b) Que sea Euclidea pero no simtrica. e (c) Que sea serial y Euclidea. (d) Que sea reexiva, simtrica y transitiva. e (e) Que sea simtrica, transitiva pero no serial. e (f) Que sea reexiva y Euclidea. (g) Que sea Euclidea y simtrica, pero no transitiva ni reexiva. e (h) Que sea serial, Euclidea y transitiva, pero no reexiva. 2. Formalce los siguientes argumentos y presente un contramodelo para cada uno de ellos (i.e. muestre que en ese modelo todas las premisas son verdaderas y la conclusin es falsa): o Todos los puntos circulados se echan a si mismos. El punto a slo echa al punto b. Por lo tanto a o no est circulado. a Todos los puntos no circulados echan a todos los puntos circulado. Todos los puntos circulados echan algn punto no circulado. Por lo tanto, todos los puntos sin c u rculo son echados por un punto con c rculo. El punto a echa a todos los puntos excepto a si mismo. El echarse es simtrico. Por lo tanto, algn e u punto echa a a. Todos los puntos echan a algn punto. El echarse no es simtrico. Por lo tanto, el echarse es u e transitivo. Ningn punto circulado echa a algn punto circulado. Todos los puntos echan algn punto. Por lo u u u tanto, algn punto sin c u rculo es echado por algn punto con c u rculo. El punto a echa al punto b si y slo si todos los puntos echan al punto b. a echa a b. Por lo tanto, o hay dos puntos distintos que echan a b. Si algn punto echa a a, entonces a echa a b. Si algn punto echa a b, ese punto echa a a tambin. u u e Por lo tanto, a se echa a si mismo a. Todos los puntos con c rculo echan a a siempre y cuando pase que todos los puntos sin c rculo echen a b y b eche a a. Hay puntos sin c rculo y hay puntos con c rculo. Por lo tanto, a echa a un punto sin c rculo.