Lgica Proposicional para el Diseo

Aplicabilidad de la Lgica para el Diseo. Cmo ensear Lgica a los Diseadores.

Gabriela Acosta Ch.

AGRADECIMIENTO
Agradezco la energa vital que mantiene mis procesos biolgicos, de donde quiera que sta provenga, de la misma forma a mi madre y novio, copartcipes de mis triunfos. Mi eterna gratitud a la Universidad Tcnica de Ambato que tanto me ha dado, de igual manera a los distinguidos docentes de la misma, cuyo aprecio es recproco.

A mis estudiantes y amigos, con el apoyo de los cuales ha sido posible el presente, y a todos aquellos que de una u otra forma contribuyeron en su produccin.

Gabriela Acosta Ch.

NDICE

AGRADECIMIENTO .............................................................................................................................. 2 PRESENTACIN.................................................................................................................................... 5 Enunciados .......................................................................................................................................... 7 Definicin ............................................................................................................................................ 8 Tipos de Enunciados .......................................................................................................................... 12 Enunciado simple .......................................................................................................................... 12 Enunciado definido ....................................................................................................................... 12 Enunciado indefinido .................................................................................................................... 12 Enunciado compuesto ................................................................................................................... 15 Simbologa ......................................................................................................................................... 21 Simbolizar enunciados simples ..................................................................................................... 21 Simbolizar enunciados compuestos .............................................................................................. 21 Tablas de verdad ............................................................................................................................... 24 Tablas de verdad y conectivos lgicos. ......................................................................................... 27 Conjuncin .................................................................................................................................... 27 Disyuncin ..................................................................................................................................... 28 Condicional .................................................................................................................................... 28 Bicondicional ................................................................................................................................. 28 Negacin........................................................................................................................................ 29 Contradiccin ................................................................................................................................ 29 Tautologa...................................................................................................................................... 30 Contingencia.................................................................................................................................. 31 Valores de verdad para enunciados compuestos por simples definidos .......................................... 34 Valores de verdad para enunciados compuestos por simples indefinidos ....................................... 37 Comprobacin de las Equivalencias Lgicas. .................................................................................... 43 Equivalencias Lgicas ........................................................................................................................ 46 Equivalencias Conmutativas.......................................................................................................... 46 Equivalencias Asociativas .............................................................................................................. 46 Equivalencias Distributivas ............................................................................................................ 47 3 Gabriela Acosta Ch.

Equivalencias de Morgan .............................................................................................................. 47 Otras equivalencias ....................................................................................................................... 48 Equivalencias de Idempotencia..................................................................................................... 48 Equivalencias de Identidad ........................................................................................................... 48 Equivalencias de Complemento .................................................................................................... 48 Propiedades Lgicas .......................................................................................................................... 51 Recprocas ..................................................................................................................................... 51 Contrarecprocas ........................................................................................................................... 51 Reglas de Inferencia .......................................................................................................................... 53 Modo en el que Afirmando Afirmo (Modus Ponendo Ponens) .................................................... 54 Modo en el que Negando, Niego (Modus Tollendo Tollens) ........................................................ 57 Modo en el que Negando, Afirmo (Modus Tollendo Ponens) ...................................................... 61 Silogismo Hipottico ..................................................................................................................... 64 Adjuncin ...................................................................................................................................... 67 Adicin........................................................................................................................................... 69 Simplificativa ................................................................................................................................. 72 Simplificacin ................................................................................................................................ 75 Ejercicios gramaticales .................................................................................................................. 77 Fbulas Lgicas .................................................................................................................................. 87 Bibliografa ........................................................................................................................................ 97

Gabriela Acosta Ch.

PRESENTACIN

Es relativamente poco el tiempo que llevo desempendome como Docente de Fundamentos Cientficos en la Facultad de Diseo, Arquitectura y Artes de la Universidad Tcnica de Ambato, no obstante, desde las primeras experiencias compartidas con los estudiantes, he escuchado preguntas como: Y esto cundo lo voy a usar?, Cul es la aplicacin prctica de ste tema?, Cmo voy a usar esto en mi Carrera? .Ventajosamente la Matemtica es cien por ciento aplicable en innumerables campos del conocimiento, y para fortuna de los integrantes de la comunidad Educativa, los contenidos impartidos en la Facultad siempre han tenido y tendrn connotacin con el Diseo.

En vista de lo mencionado anteriormente se me ha dado la oportunidad de llegar a los estudiantes con un documento, el cual me permite afirmar lo dicho La Matemtica es la madre de las Ciencias, por lo que el presente es un tratado de la Aplicabilidad de la Lgica Proposicional enfocada en el Diseo, de manera que lo que se intenta es llegar a los estudiantes con contenidos de Lgica Proposicional, pero que stos se desenvuelvan en la realidad de un Diseador.

El escrito presenta ejemplos fcilmente reconocidos por estudiantes que empiezan a vincularse con: Leyes de Gestalt, Teora de Color, Principios y Elementos del Diseo, los mismos que se complementan con actividades y tareas, con los que se pretende, afianzar conocimientos de Diseo y respaldarlos con la Lgica.

Gabriela Acosta Ch.

Lgica Proposicional para el Diseo

Aplicabilidad de la Lgica para el Diseo. Cmo ensear Lgica a los Diseadores.

Gabriela Acosta Ch.

Definicin

Lgica Matemtica

Rama que por medio de reglas y tcnicas, permite validar enunciados (proposiciones)

LGICA PROPOSICIONAL

- Lgica Cuantificacional - Lgica de Clases

Smbolos

Reglas de formacin

Reglas de transformacin

Gabriela Acosta Ch.

UNIDAD I
Definicin

Enunciados

Un enunciado se puede definir como una oracin, pero no una oracin cualquiera, sta debe cumplir la condicin de ser verdadera o falsa, nunca las dos a la vez. Cualquiera que sea la posicin adoptada, ya sea verdadera o falsa, sta a su vez se conoce como valor de verdad. Ejemplos: El punto es la unidad bsica del Diseo (Es un enunciado verdadero) Dibuja un plano (No es un enunciado) Cules son los colores primarios? (No es enunciado) Aydame con el boceto! (No es enunciado) La dilatacin de formas consiste en la reduccin de las mismas. ( Es un enunciado falso)

Gabriela Acosta Ch.

Ejercicios:

Grupo 1.1 Del siguiente grupo de oraciones, determine si corresponden o no, a un enunciado, en caso de serlo indique su valor de verdad: 1) La silueta reloj de arena se recomienda para personas delgadas. 2) Por favor tome las medidas para el patrn. 3) Un vestido de fiesta brinda suntuosidad a la persona que lo usa. 4) La silueta colonial resalta la figura. 5) Los Cardigans se usan con ropa semiformal. 6) Cuntos tipos de silueta existen? 7) Los vestidos que pertenecen a la lnea de coctel que se utilizan de 11 am a 11 pm. 8) La tela Gabardina es rgida y fra. 9) No rompas el vestido! 10) El corset se usa normalmente en patrones de 8 cabezas. 11) Las chaquetas militares se usan con ropa informal. 12) La tela Jean levanta los glteos. 13) La silueta nfora es adecuada para mujeres con caderas estrechas. 14) La silueta vasija es adecuada para una persona robusta. 15) Cul es la funcin de las proporciones en el patronaje? Escriba 10 enunciados verdaderos relacionados con su carrera. Escriba 10 enunciados falsos relacionados con su carrera. Escriba 10 oraciones que no sean enunciados.

Gabriela Acosta Ch.

Grupo 1.2 Del siguiente grupo de oraciones, determine si corresponden o no, a un enunciado, en caso de serlo indique su valor de verdad: 1) Dibuja un plano. 2) El rojo es un color clido. 3) El diseo es pregnante. 4) El tamao o forma son figuras planas. 5) La posicin es un elemento visual. 6) La textura embellece el color. 7) Un emoticn es un punto que representa toque. 8) La lnea tiene posicin. 9) La lnea tiene bordes. 10) El plano est limitado por ngulos. 11) Cules son los colores secundarios? 12) El volumen est limitado por lneas. 13) La textura es un elemento visual de la forma. 14) Dnde se representan las formas orgnicas? 15) El color es un elemento conceptual

Escriba 10 enunciados verdaderos relacionados con su carrera. Escriba 10 enunciados falsos relacionados con su carrera. Escriba 10 oraciones que no sean enunciados.

10

Gabriela Acosta Ch.

Grupo 1.3 Del siguiente grupo de oraciones, determine si corresponden o no, a un enunciado, en caso de serlo indique su valor de verdad: 1) El rea de circulacin debe ser 1,20m 2) El estilo neoclsico destaca la simplicidad del espacio. 3) El mobiliario debe guardar relacin con el estilo de una vivienda. 4) Encuentre la cantidad de bloques necesarios para construir un muro de 10x8 5) Cules son los estilos que usted conoce? 6) La sustraccin es aumentar objetos 7) Las leyes de la Gestalt son conocidas como percepcin 8) La ley de la proximidad est dentro de la ley de la Gestalt 9) Un plano arquitectnico representa tonalidades 10) El tamao es un elemento visual 11) La posicin es un elemento de relacin 12) La funcin es un elemento prctico 13) La direccin significa espacio 14) El color azul expresa toque de formas 15) El tamao es una figura plana

Escriba 10 enunciados verdaderos relacionados con su carrera. Escriba 10 enunciados falsos relacionados con su carrera. Escriba 10 oraciones que no sean enunciados.

11

Gabriela Acosta Ch.

Tipos de Enunciados

Enunciado simple.- Es el que se encuentra constituido por un slo enunciado, independientemente del valor de verdad del mismo.

Ejemplos: El color negro transmite formalidad. La proximidad en un elemento conceptual. La textura es un elemento visual del diseo. El plano es la unin de lneas. Los colores primarios son cuatro.

Enunciado definido.- Podemos decir que un enunciado definido, es un enunciado simple que sostiene un solo valor de verdad, ste valor de verdad es nico, de manera que si se afirmara lo contrario se estara mintiendo.

Ejemplos: El punto tiene largo. (F) La lnea no tiene fin. (V) Los colores tienen luz. (V) El rojo es un color clido. (V) El color negro transmite alegra (F)

Enunciado indefinido.- Un enunciado indefinido, se puede precisar como un enunciado simple al que se le puede conceder cualquiera de los dos valores de verdad existentes, por lo que stos sern asignados desglosando el mismo.
12 Gabriela Acosta Ch.

Ejemplos: Los colores transmiten formalidad (V) (F) o El color negro transmite formalidad (V) o El color amarillo transmite formalidad (F)

La Ley de Gestalt figura la cercana entre formas o La ley de proximidad (que es una ley de Gestalt) figura la cercana entre formas (V) o La ley del contraste figura la cercana entre formas (F)

Antes de estudiar los enunciados compuestos, se considera importante empezar con el estudio de la negacin, puesto que las negaciones se vern inmersas en los enunciados compuestos de todos los tipos.

Negacin.- La negacin establece un valor de verdad contrario al inicial, una vez que sta afecta al enunciado simple, ya sea simple definido o indefinido. No obstante la negacin puede afectar a enunciados compuestos, los cuales estudiaremos a continuacin.

La negacin se puede expresar de diferentes maneras: no, no es cierto que, no es verdad que, es falso que, o a su vez con los antnimos del predicado de los enunciados.

Ejemplos: Enunciado: Los colores tienen luz. (V) Negacin: Los colores no tienen luz (F)

Enunciado: La sustraccin es aumentar objetos (F)

13 Gabriela Acosta Ch.

Negacin: La sustraccin no es aumentar objetos (V)

Enunciado: La lnea tiene bordes (V) Negacin: La lnea no tiene bordes (F) Negacin de negacin: Es falso que la lnea no tenga bordes (V)

Enunciado 1: La lnea tiene principio. Enunciado 2: La lnea tiene fin. Compuesto negando el enunciado 1: La lnea no tiene principio pero si tiene fin. Compuesto negando el enunciado 2: La lnea tiene principio pero no fin. Compuesto negando los dos enunciados: Es falso que, la lnea tenga principio y fin Compuesto con negaciones principales y secundarias: No es cierto que, la lnea no tenga principio y tampoco fin.

Importante. La doble negacin de un enunciado, concluye en su afirmacin.

Cuando la negacin se encuentra al inicio de un enunciado compuesto, seguido de una coma, la misma afecta a todo el enunciado. La negacin no slo se expresa con el vocablo no, sino que tambin sta dada como el antnimo del predicado del enunciado.

Ejemplo: Enunciado: El color amarillo es un color claro. Negacin: El color amarillo no es un color claro. Tambin: El color amarillo es un color oscuro. (oscuro es antnimo de claro)

14

Gabriela Acosta Ch.

Enunciado compuesto.- Se puede considerar dos tipos de enunciados compuestos: Enunciados compuestos por simples definidos y Enunciados compuestos por simples indefinidos.

Enunciados compuestos por simples definidos.- Son aquellos que resultan de la composicin de dos o ms enunciados simples definidos, los cuales se enlazan por medio de un vocablo clave conocido como conector lgico. Los conectores lgicos pueden ser: y o no entonces si y slo si

Ejemplos: Enunciado simple cerrado 1. El punto tiene largo. Enunciado simple cerrado 2. El punto tiene ancho. Enunciado compuesto por simples definidos (primera opcin). El punto no tiene largo y no tiene ancho. Enunciado compuesto por simples definidos (segunda opcin). El punto no tiene largo ni ancho. (En ste caso el NI reemplaza al Y).

Enunciado simple cerrado 1. El color amarillo transmite alegra. Enunciado simple cerrado 2. El color negro transmite formalidad. Enunciado compuesto por simples definidos (primera opcin). Es falso que, el color amarillo transmite alegra y el color negro formalidad. Enunciado compuesto por simples definidos (segunda opcin). El color amarillo transmite alegra pero el color negro transmite formalidad. (En ste caso el PERO reemplaza al Y).
15 Gabriela Acosta Ch.

Enunciado simple cerrado 1. El punto tiene posicin. Enunciado simple cerrado 2. El punto tiene direccin. Enunciado simple cerrado 3. El punto se encuentra al inicio de la lnea. Enunciado simple cerrado 4. El punto se encuentra al final de la lnea. Enunciado compuesto por simples definidos (primera opcin). El punto tiene posicin y direccin, entonces se encuentra al inicio o al final de la lnea. Enunciado compuesto por simples definidos (segunda opcin). El punto se encuentra al inicio y al final de una de una lnea, si y slo si, no es cierto que, tiene posicin pero no direccin.

Enunciados compuestos por simples indefinidos.- Son aquellos que resultan de la composicin de dos o ms enunciados simples indefinidos, los cuales se articulan mediante una palabra clave conocida como conector lgico. Los conectores lgicos pueden ser: y o no entonces si y slo si

Ejemplos: Enunciado simple indefinido 1. Los colores transmiten formalidad. Enunciado simple indefinido 2. Los colores son clidos. Enunciado compuesto por simples indefinidos. Los colores transmiten formalidad ssi son clidos

Enunciado simple indefinido 1. La Ley de Gestalt figura la cercana entre formas Enunciado simple indefinido 2. La ley de Gestalt figura contacto entre formas.

16

Gabriela Acosta Ch.

Enunciado compuesto por simples indefinidos. No es cierto que, la Ley de Gestalt figura lejana entre formas, o figura cercana entre formas pero no contacto entre formas.

Enunciado simple indefinido 1. Los elementos conceptuales estn formados por lneas.

Enunciado simple indefinido 2. Los elementos conceptuales estn formados por planos.

Enunciado simple indefinido 3. Los elementos conceptuales estn formados por puntos

Enunciado compuesto por simples indefinidos.

Es falso que, los elementos

conceptuales no estn formados por lneas entonces stos no estn formados por planos, si y slo si, no es cierto que los elementos conceptuales estn formados por puntos

Importante. Los enunciados compuestos por simples indefinidos, se llaman tambin proposiciones.

17

Gabriela Acosta Ch.

Ejercicios: Grupo 1.1 Use cada uno de los tipos de negaciones en los siguientes enunciados (no, no es cierto que, no es verdad que, es falso que, antnimos). 1) La silueta reloj de arena se recomienda para personas delgadas. 2) Un vestido de fiesta brinda suntuosidad a la persona que lo usa. 3) La silueta colonial resalta la figura. 4) Los Cardigans se usan con ropa semiformal. 5) Los vestidos que pertenecen a la lnea de coctel que se utilizan de 11 am a 11 pm.

Determine a qu tipo pertenece cada uno de los enunciados de la siguiente lista. 1) La tela Gabardina es rgida y fra. 2) Las chaquetas militares se usan con ropa informal, o se usan con ropa formal si y solo si no disimulan la figura. 3) La tela levanta los glteos. 4) La silueta nfora es adecuada para mujeres con caderas estrechas. 5) La silueta es adecuada para una persona robusta y es acenta la cintura. Escriba 10 enunciados simples definidos. Escriba 10 enunciados simples indefinidos.

Forme 5 enunciados compuestos con los siguientes simples, utilice todos los conectivos conocidos, incluidas las negaciones (los enunciados deben tener sentido). La silueta Reloj de Arena luce en un cuerpo delgado. La silueta Sirena se recomienda para mujeres altas. La silueta nfora es acertada para una persona robusta.

18

Gabriela Acosta Ch.

Grupo 1.2 Use cada uno de los tipos de negaciones en los siguientes enunciados (no, no es cierto que, no es verdad que, es falso que, antnimos). 1) El rojo es un color clido. 2) El diseo es pregnante. 3) La posicin es un elemento visual. 4) La textura embellece el color. 5) La lnea tiene posicin.

Determine a qu tipo pertenece cada uno de los enunciados de la siguiente lista. 1) Los colores son clidos. 2) La lnea tiene posicin y direccin. 3) El plano est limitado por lneas y las lneas por puntos. 4) Los elementos conceptuales tienen inicio pero no fin. 5) El color es un elemento conceptual 6) El tamao o forma son figuras planas.

Escriba 10 enunciados simples definidos. Escriba 10 enunciados simples indefinidos.

Forme 5 enunciados compuestos con los siguientes simples, utilice todos los conectivos conocidos, incluidas las negaciones (los enunciados deben tener sentido). La lnea est formada por puntos. El plano est formado por lneas. El volumen est formado por planos.

19

Gabriela Acosta Ch.

Grupo 1.3 Use cada uno de los tipos de negaciones en los siguientes enunciados (no, no es cierto que, no es verdad que, es falso que, antnimos). 1) El estilo neoclsico destaca la simplicidad del espacio. 2) El mobiliario debe guardar relacin con el estilo de una vivienda. 3) La sustraccin es aumentar objetos 4) La funcin es un elemento prctico 5) Un plano arquitectnico representa tonalidades

Determine a qu tipo pertenece cada uno de los enunciados de la siguiente lista. 1) El rea de circulacin debe ser 1,20m 2) La ley de la proximidad y toque estn dentro de la ley de la Gestalt 3) Los elementos visuales y de relacin enuncian perspectivas de las formas 4) La posicin es un elemento de relacin 5) El tamao es una figura plana

Escriba 10 enunciados simples definidos. Escriba 10 enunciados simples indefinidos.

Forme 5 enunciados compuestos con los siguientes simples, utilice todos los conectivos conocidos, incluidas las negaciones (los enunciados deben tener sentido). Los colores clidos crean ambientes acogedores Los colores clidos ayudan a relajarse Los colores clidos se proyectan con la naturaleza

20

Gabriela Acosta Ch.

UNIDAD II

Simbologa y Conectivas Lgicas

Simbologa

Tal como hemos notado en los ltimos ejemplos, expresar enunciados compuestos resulta demasiado largo y tortuoso, es por ello que se procede a la simbolizacin de los enunciados, as tambin de los conectivos lgicos. As como en el lgebra lo que se pretende es simplificar las expresiones de los enunciados simples y por ende los compuestos.

Simbolizar enunciados simples

Enunciado: La textura es un elemento visual de la forma La simbologa de los enunciados se formula con letras que van desde la p, q, r, que son tpicas de la Lgica, no obstante se pueden utilizar cualquier letra del abecedario. p: La textura es un elemento visual de la forma De hoy en adelante cada vez que se mencione al enunciado p, se sobreentender que es una forma simplificada se decir que la textura es un elemento visual de la forma.

Simbolizar enunciados compuestos

Para simbolizar enunciados compuestos, es conveniente conocer tambin la simbologa de los conectivos lgicos, los cuales ya hemos tratado anteriormente, aun as los volvemos a citar con su respectivo smbolo y nombre del conectivo:

21

Gabriela Acosta Ch.

y o entonces no

Conjuncin Disyuncin Implicacin o condicional Doble implicacin o bicondicional Negacin

si y slo si ~

Simbolizando enunciados compuestos, combinaremos la simbolizacin de enunciados simples con la simbologa de conectivos lgicos de la siguiente forma: p: Los colores tienen luz. ~p: Los colores no tienen luz

r : El color amarillo es un color claro. ~ r : El color amarillo es un color oscuro.

q: La lnea tiene bordes ~q: La lnea no tiene bordes ~ ~ q: Es falso que la lnea no tenga bordes es lo mismo que q: La lnea tiene bordes

o: La ley de la proximidad es una ley de la Gestalt p: La ley del contraste es una ley de la Gestalt o p: La ley de la proximidad es una ley de la Gestalt si y solo si la ley del contraste tambin lo es.

s: La lnea tiene principio. t: La lnea tiene fin. ~s t : La lnea no tiene principio pero si tiene fin. s ~t : La lnea tiene principio pero no fin. ~ (s t) : Es falso que, la lnea tenga principio y fin ~ ( ~ s ~ t ): No es cierto que, la lnea no tenga principio y sea infinita.
22 Gabriela Acosta Ch.

Ejercicios

Simbolice los siguientes enunciados:

La sustraccin es aumentar objetos La sustraccin no es aumentar objetos

El punto tiene largo. El punto tiene ancho. El punto no tiene largo y no tiene ancho. El punto no tiene largo ni ancho

El color amarillo transmite alegra. El color negro transmite formalidad. Es falso que, el color amarillo transmite alegra y el color negro formalidad. El color amarillo transmite alegra pero el color negro transmite formalidad. El color amarillo transmite tristeza o alegra, entonces, el color negro transmite formalidad o informalidad.

El punto tiene posicin. El punto tiene direccin. El punto se encuentra al inicio de la lnea. El punto se encuentra al final de la lnea. El punto tiene posicin y direccin, entonces se encuentra al inicio o al final de la lnea. El punto se encuentra al inicio y al final de una de una lnea, si y slo si, no es cierto que, tiene posicin pero no direccin.

23

Gabriela Acosta Ch.

UNIDAD III

Tablas de verdad

Tablas de verdad Las tablas de verdad tienen varios usos en los contenidos posteriores, por lo que las estudiaremos y posteriormente veremos sus aplicaciones.

Construccin Para construir una tabla de verdad es imprescindible tomar en cuenta el nmero de enunciados simples que forman el compuesto, entonces si existe un solo enunciado ste podr ser, bien verdadero o bien falso. P V F

Ahora que sucede si el enunciado compuesto cuenta con dos simples. Para construir la tabla de verdad se deberan hacer combinaciones de valores de verdad con cada enunciado simple, lo que resultara bastante impreciso, para resolver aquello contamos con la siguiente frmula:
Corresponde a los dos valores de verdad existentes Verdadero o Falso

2 =
24

Valores de verdad para la tabla

Nmero de enunciados simples que conforman el compuesto.

Gabriela Acosta Ch.

Los valores de verdad que se ubicaran en la tabla sern la mitad en verdaderos y la mitad en falsos para el primer enunciado simple, para el segundo enunciado simple los valores de verdad sern la mitad del primer enunciado simple, y as sucesivamente hasta completar su construccin.

Importante.

Siempre se iniciar la construccin de las tablas por el valor Verdadero.

Para la construccin de las tablas de verdad, se deber respetar siempre el orden alfabtico de la simbologa de los enunciados simples, independientemente del orden el que se encuentren estos dispuestos en el enunciado compuesto.

Ejemplos

Enunciado simple: p Nmero de enunciados: 1 Utilizando la frmula: 21 = 2 La tabla de verdad tendr dos valores de verdad: 1 verdadero y 1 falso para p. P V F

Enunciado compuesto por dos simples : p, q Nmero de enunciados: 2 Utilizando la frmula: 22 = 4

25

Gabriela Acosta Ch.

La tabla de verdad tendr cuatro valores de verdad: 2 verdaderos y 2 falsos para p, 1 verdadero y 1 falso para q. P q

V V V F F F V F

Enunciado compuesto por dos simples : p, q, r Nmero de enunciados: 3 Utilizando la frmula: 23 = 8 La tabla de verdad tendr ocho valores de verdad: 4 verdaderos y 4 falsos para p, 2 verdaderos y 2 falsos para q, 1 verdadero y 1 falso para r. p Q r

V V V V V F V F V F F F F F V F

V V V F F F V F

Enunciado compuesto por dos simples : p, q, r, s Nmero de enunciados: 4 Utilizando la frmula: 24 = 16 La tabla de verdad tendr diecisis valores de verdad: 8 verdaderos y 8 falsos para p, 4 verdaderos y 4 falsos para q, 2 verdaderos y 2 falsos para r, 1 verdadero y 1 falso para s.

26

Gabriela Acosta Ch.

Q r

V V V V V V V F V V F V V F V F V F V F V F F F F F F F F F V F

V V V F F F V F

V V V V V F V F V F F F F F V F

V V V F F F V F

Tablas de verdad y conectivos lgicos.

Existe una tabla de verdad con cada conectivo lgico. Es arduo recordar cada uno de los valores de verdad con su respectiva conectiva, por lo que se disearon unas pequeas claves que ayudarn a recordar sus resultados. Conjuncin p q V V V V F F F F F F V F Esta es la solucin
27 Gabriela Acosta Ch.

Clave.- Solamente es verdadero cuando los dos valores son verdaderos, el restante de casos son falsos. Disyuncin

V V V V V F F F V V F F

Clave.- Solamente es falso cuando los dos valores de verdad son falsos, el restante de casos son verdaderos. Condicional q V F V F

V V V F F F V V

Clave.- Solamente es falso cuando el primer valor es verdadero y el segundo es falso, el restante de casos son verdaderos. Bicondicional p q V F V F V V V F F F F V

28

Gabriela Acosta Ch.

Clave.- Es verdadero cuando los dos valores de verdad son iguales, el restante de casos son falsos. Negacin P ~p V F F V

Clave.- El resultado de una negacin es lo opuesto al valor inicial. Importante. La resolucin de las tablas de verdad siempre debe iniciar por las negaciones individuales, es decir las que afectan a un solo enunciado.

Al combinar en las tablas de verdad negaciones y signos de agrupacin, obtendremos tres resultados: contradiccin, tautologa o contingencia. Su ilustracin a continuacin:

Contradiccin Encontremos la solucin del siguiente enunciado: p ~ p 1) Empecemos con la construccin de la tabla siguiendo las reglas anteriores.

p V F

~p

29

Gabriela Acosta Ch.

2) Ejecutamos las negaciones individuales. p V F ~p F V

3) Aplicamos la regla correspondiente al conectivo lgico. p ~p Esta es la solucin Esta es la solucin

V F F F F V

Cuando el resultado de una tabla de verdad es falso en todos sus valores se habla de una contradiccin.

Tautologa Encontremos la solucin del siguiente enunciado: ( p q ) ( p q ) 1) Construccin de la tabla (p q) (p q) V V F F V F V F V V F F V F V F

30

Gabriela Acosta Ch.

2) Resolucin de parntesis. (p V V F F q) (p V V F F

q)

V V F F F F V F

V V V F V V F F

3) Resolviendo el conectivo que une los parntesis. (p V V F F q) (p V V V V V V F F

q)

V V F F F F V F

V V V F V V F F

Cuando el resultado de una tabla de verdad es verdadero en todos sus valores se habla de una tautologa.

Contingencia Encontremos la solucin del siguiente enunciado: ~ { [ ( q p ) ~ q ] r }

1) Construimos la tabla. Para simplificar el tiempo se pueden escribir las negaciones

individuales directamente para la disposicin de los valores de verdad. ~{[ (q p) ~q] r } V F V F V V F F F V F V V F V F

31

Gabriela Acosta Ch.

2) Resolucin de los parntesis de adentro hacia afuera.

~{[ (q p) ~q] r } V F V F V V F V V V F F F V F V V F V F

~{[ (q p) ~q] r } V F V F V V F V V V F F F F F F F V F V V F V F

~{[ (q p) ~q] V F V F V V F V V V F F F F F F F V F V

r }
F

V V F

V V F F

3) Ejecutamos las negaciones colectivas, es decir aquellas que afectan a ms de un

enunciado simple. ~{[ (q p) ~q] F V F V V F V F V V F V V V F F F F F F F V F V

r }
F

V V F

V V F F

32

Gabriela Acosta Ch.

Cuando no se tiene como resultado una tautologa, tampoco una contingencia, la solucin corresponde a una contingencia. Ejercicios

Utilice la frmula para construir las tablas de verdad, segn sea el orden y nmero de enunciados. p q r p ,q q, p q, p, s s, t, u q, t, s t, s, r, p q, t, p, s, u

Determine si los siguientes enunciados compuestos corresponden a una tautologa, contradiccin o a una contingencia. p~p ~p ~q ~(pq ) p ~(pq) (pq)~(p q ) (q p)~q ~(p~r )s [(q p)~q]r (pq)(qp) ~{[(ab) (bc)] (ac)} ~{[(q p)~q]r } ~ s [ p (~ t s )] ~{~[(t ~s) ~(p~q)] ~t} ~ [~(q ~s) ~q] ~t ~{ ~[~(t ~s) ~(p~q)] ~r}

33

Gabriela Acosta Ch.

Valores de verdad para enunciados compuestos por simples definidos

Cuando los enunciados son simples definidos, se puede fcilmente identificar su valor de verdad.

Ejemplo: La unin de planos resulta en volumen (V)

Claramente se observa que el enunciado es verdadero, esto se pudo determinar sin mayor complejidad. El problema surge cuando los enunciados son compuestos, no solamente por dos sino por tres o por n enunciados, el escenario empeora cuando los enunciados adems de ser compuestos se encuentran negados, los ejemplos los observamos a continuacin.

Ejemplos: Determinemos el valor de verdad del siguiente enunciado: Es falso que, el color amarillo transmite alegra y el color negro formalidad. 1) Tendremos que determinar los enunciados simples que forman este enunciado compuesto y a la vez haremos uso de la simbolizacin para acortar la labor: p: El color amarillo transmite alegra. q: El color negro transmite formalidad. 2) Determinemos el valor de verdad de los enunciados simbolizados p: ( V ) q: ( V ) 3) Una vez encontrados los enunciados simples, su simbologa y valores de verdad individuales, procedemos a simbolizar el enunciado compuesto completamente, obteniendo:
34 Gabriela Acosta Ch.

Es falso que, el color amarillo transmite alegra y el color negro formalidad ~ ( p

4) Conocidos los valores de verdad los ubicamos bajo su simbologa correspondiente: ~ ~ ( ( p V

q
V

) )

5) Operamos los valores resultantes acudiendo a las tablas de verdad que ya hemos estudiado, operando los valores de verdad desde los signos de agrupacin ms internos, tal cual se realiza en lgebra. V ) Operar el parntesis segn tablas de verdad.

(V

V F

La negacin no se ha operado por lo tanto se conserva. La negacin de una verdad es una falacia.

Concluyentemente el enunciado Es falso que, el color amarillo transmite alegra y el color negro formalidad es falso.

Determinemos el valor de verdad del siguiente enunciado: El punto no se encuentra al inicio ni al final de una de una lnea, si y slo si no es cierto que, el punto tiene largo o no tiene ancho. 1) Tendremos que determinar los enunciados simples que forman este enunciado compuesto y a la vez haremos uso de la simbolizacin para acortar la labor:

p: El punto tiene largo. q: El punto tiene ancho. r: El punto se encuentra al inicio de la lnea. s: El punto se encuentra al final de la lnea.

35

Gabriela Acosta Ch.

2) Determinemos el valor de verdad de los enunciados simbolizados p: ( F ) q: ( F ) r: ( V ) s: ( V )

3) Una vez encontrados los enunciados simples, su simbologa y valores de verdad individuales, procedemos a simbolizar el enunciado compuesto completamente, obteniendo: ( ~ r ~ s ) ~ ( p ~ q ) 4) Conocidos los valores de verdad los ubicamos bajo su simbologa correspondiente: ( ~ r ~ s ) ~ ( p ~ q ) ( ~ V ~V) ~ ( F ~ F ) 5) Operamos los valores resultantes acudiendo a las tablas de verdad que ya hemos estudiado, operando los valores de verdad desde los signos de agrupacin ms internos, tal cual se realiza en lgebra. ( ~ V ~ V ) ~ ( F ~ F ) Resolviendo negaciones individuales ( F F ) ~ ( F V ) Suprimiendo parntesis ( F ) ~ ( V ) Resolviendo las negaciones colectivas F F Aplicando tablas de verdad V Concluyentemente el enunciado El punto no se encuentra al inicio ni al final de una de una lnea, si y slo si no es cierto que, el punto tiene largo o no tiene ancho es verdadero.

36

Gabriela Acosta Ch.

Valores de verdad para enunciados compuestos por simples indefinidos

Cundo los enunciados compuestos combinan simples indefinidos, toman el nombre de proposiciones, y al tratar de determinar el valor de verdad de stos, el mtodo anterior resulta obsoleto, en cuyo caso se debern utilizar las tablas de verdad con el fin de determinar su valor de verdad.

Determinemos el valor de verdad del siguiente enunciado simple indefinido: La Ley de Gestalt describe la aproximacin entre formas o no describe la aproximacin entre formas 1) Determinar los enunciados simples que conforman el complejo: p: La Ley de Gestalt describe la aproximacin entre formas

2) Simbolizando el enunciado: p~p

3) Debido a que el enunciado es indefinido, podra ser verdadero en unos casos y falso en otros, debido a ello se utilizara una tabla de verdad para establecer el valor de verdad de esta proposicin: p ~p

V V F F V V

La tabla arroja como resultado una verdad absoluta, es decir que cualquiera de las Leyes de Gestalt que se especifiquen en un caso particular para la proposicin, siempre ser verdadera.

37

Gabriela Acosta Ch.

Determinemos el valor de verdad de la siguiente proposicin: Es falso que, el elemento conceptual tenga largo y ancho entonces, el elemento conceptual tiene largo o ancho 1) Determinar los enunciados simples que conforman el compuesto: a: El elemento conceptual tiene largo b: El elemento conceptual tiene ancho

2) Simbolizando el enunciado: ~ [(ab) (ab)] 3) La tabla de verdad de la proposicin es: ~ [( a F F F F b) (a V F V F V V V V V V F F V V V F b)] V F V F

V V V F F F F F

4) La tabla arroja como resultado una falsedad absoluta, es decir que ninguno de los elementos conceptuales cumplirn los requerimientos de sta proposicin. Determinemos el valor de verdad del siguiente enunciado compuesto por simples indefinidos: Los colores transmiten alegra entonces provocan hambre, si y solo no es cierto que los colores no transmitan alegra, adems los colores transmiten elegancia. 1) Determinar los enunciados simples que conforman el complejo: p: Los colores provocan hambre q: Los colores transmiten alegra r: Los colores denotan elegancia

2) Simbolizando el enunciado compuesto: [(q p) q]r

38

Gabriela Acosta Ch.

3) La tabla de verdad de la proposicin es: [(q p) V V F F V V F F V V V V F F V V V V V V F F F F V V F F F F F F

q] r
V V F F V V F F V V F F

F V F F

F V F F

F V F F

4) El resultado es un contingencia, es decir que habr colores con los que la proposicin sea verdadera, y colores con los que la proposicin sea falsa. No obstante los valores de verdad en su mayora son falsos, por lo que existirn mayores posibilidades que los colores que se usen el la proposicin arrojen un resultado falso.

39

Gabriela Acosta Ch.

Ejercicios Grupo 1.2 Establezca el valor de verdad de los siguientes enunciados compuestos: La silueta Reloj de Arena luce en un cuerpo delgado entonces se recomienda para mujeres altas o, la silueta Reloj de Arena se recomienda para mujeres altas o no luce en un cuerpo robusto. La silueta Reloj de Arena no luce en un cuerpo delgado o es acertada para acentuar la cintura si y solo si, la silueta Vasija no se recomienda para mujeres altas. La silueta Vasija luce en un cuerpo delgado o, la silueta Sirena se recomienda para mujeres altas entonces no es verdad que no sea acertada para un cuerpo robusto. La silueta Sirena luce en un cuerpo delgado entonces se recomienda para mujeres altas y, la silueta Vasija no se recomienda para mujeres bajas entonces acenta la cintura consecuentemente, La silueta Reloj de Arena luce en un cuerpo delgado entonces no es cierto que no acente la cintura.

Determine el valor de verdad de las siguientes proposiciones Una silueta luce en un cuerpo delgado entonces se recomienda para mujeres altas o, una silueta se recomienda para mujeres altas o no luce en un cuerpo robusto. La silueta no luce en un cuerpo delgado o es acertada para acentuar la cintura si y solo si, la silueta no se recomienda para mujeres altas. La silueta luce en un cuerpo delgado o, una silueta se recomienda para mujeres altas entonces no es verdad que no sea acertada para un cuerpo robusto. Una silueta luce en un cuerpo delgado entonces se recomienda para mujeres altas y, una silueta no se recomienda para mujeres bajas entonces acenta la cintura consecuentemente, una silueta luce en un cuerpo delgado entonces no es cierto que no acente la cintura.

40

Gabriela Acosta Ch.

Grupo 1.2 Establezca el valor de verdad de los siguientes enunciados compuestos: El plano est formado por lneas entonces la lnea est formada por puntos o, la lnea est formada por puntos entonces el plano est formado por lneas. La lnea est formada por puntos o el volumen est formado por planos si y solo si, el plano est formado por lneas. El plano est formado por lneas o, el volumen est formado por planos entonces no es verdad que la lnea no est formada por puntos. El volumen est formado por planos entonces el plano est formado por lneas y, la lnea no est formada por puntos entonces el plano est formado por lneas consecuentemente, la lnea est formada por puntos entonces no es cierto que el volumen est formado por planos.

Determine el valor de verdad de las siguientes proposiciones El elemento conceptual est formado por lneas entonces sta formado por puntos o, el elemento conceptual est formado por puntos entonces sta formado por lneas. El elemento conceptual est formado por puntos o est formado por lneas si y solo si, el elemento conceptual est formado por planos. El elemento conceptual est formado por puntos o, est formado por lneas entonces no es verdad que el elemento conceptual no est formado por puntos. El elemento conceptual est formado por planos entonces est formado por lneas y, el elemento conceptual est formado por lneas entonces est formado por puntos consecuentemente, el elemento conceptual est formado por planos entonces no es cierto que no est formado por puntos.

41

Gabriela Acosta Ch.

Grupo 1.3 Establezca el valor de verdad de los siguientes enunciados compuestos: Los colores clidos crean ambientes acogedores entonces ayudan a relajarse o, los colores clidos crean ambientes acogedores o no se proyectan con la naturaleza. Los colores clidos se proyectan con la naturaleza o crean ambientes acogedores si y solo si, los colores clidos ayudan a relajarse. Los colores clidos ayudan a relajarse o, los colores clidos se proyectan con la naturaleza entonces no es verdad que no crean ambientes acogedores. Los colores clidos crean ambientes acogedores entonces ayudan a relajarse y, los colores clidos no se proyectan con la naturaleza entonces no ayudan a relajarse consecuentemente, Los colores clidos crean ambientes acogedores entonces no es cierto que no ayudan a relajarse.

Determine el valor de verdad de las siguientes proposiciones Los colores crean ambientes acogedores entonces ayudan a relajarse o, los colores ayudan a relajarse entonces crean ambientes acogedores. Los colores crean ambientes acogedores o ayudan a relajarse si y solo si, los colores no se proyectan con la naturaleza. Los colores se proyectan con la naturaleza o, los colores ayudan a relajarse entonces no es verdad que no crean ambientes acogedores. Los colores crean ambientes acogedores entonces se ayudan a relajarse y, los colores ayudan a relajarse entonces se proyectan con la naturaleza

consecuentemente, los colores no crean ambientes inhospitalarios entonces no es cierto que no se proyecten con la naturaleza.

42

Gabriela Acosta Ch.

UNIDAD IV

Equivalencias Lgicas

Los enunciados compuestos pueden escribirse con un estilo distinto, aparentemente se muestran diferentes, sin embargo existe un mtodo de comprobar si stos son o no el mismo enunciado.

Comprobacin de las Equivalencias Lgicas.

Aquellas equivalencias en las que el orden de los enunciados no altera el valor de verdad de los mismos. Ejemplo 1: Proposicin: El elemento conceptual tiene principio y fin. Enunciados simples: p: El elemento conceptual tiene principio. q: El elemento conceptual tiene fin. Simbologa: p q Tabla de verdad: p q Equivalencia: El elemento conceptual tiene fin y principio. Enunciados simples: p: El elemento concept. tiene principio. q: El elemento conceptual tiene fin. Simbologa: p q Tabla de verdad: q p

V V V V F F F F F F V F

V V V F F V F F

V F F F

Los resultados de las tablas de verdad son iguales, por lo tanto se trata de una equivalencia lgica.
43 Gabriela Acosta Ch.

Otro modo de comprobar una Equivalencia Lgica es acudiendo a las Tautologas, apliquemos ste mtodo con los enunciados anteriores as: Proposicin: El elemento conceptual tiene principio y fin. Enunciados simples: p: El elemento conceptual tiene principio. q: El elemento conceptual tiene fin. Simbologa: p q Equivalencia: El elemento conceptual tiene fin y principio. Enunciados simples: p: El elemento concept. tiene principio. q: El elemento conceptual tiene fin. Simbologa: p q

A continuacin se acoplan las dos simbologas en una sola tabla, unindolas mediante un conectivo de implicacin: ( p q ) ( q p ) Resolviendo la tabla de verdad: (p V V F F q) (q V V V V V F V F p)

V V F F F F V F

V V F F F V F F

Al obtener una tautologa como resultado de la tabla de verdad queda comprobada la equivalencia.

Ejemplo 2: Proposicin: El elemento conceptual tiene principio o fin. Enunciados simples: p: El elemento conceptual tiene principio.
44

Equivalencia: El elemento conceptual tiene fin o principio. Enunciados simples: p: El elemento concept. tiene principio.
Gabriela Acosta Ch.

q: El elemento conceptual tiene fin. Simbologa: p q Tabla de verdad: p q

q: El elemento conceptual tiene fin. Simbologa: p q Tabla de verdad: q p

V V V V V F F F V V F F

V V V F V V

V V F F F F

Los resultados de las tablas de verdad son iguales, por lo tanto se trata de una equivalencia lgica. Otro modo de comprobar una Equivalencia Lgica es acudiendo a las Tautologas, apliquemos ste mtodo con los enunciados anteriores as: Proposicin: El elemento conceptual tiene principio o fin. Enunciados simples: p: El elemento conceptual tiene principio. q: El elemento conceptual tiene fin. Simbologa: p q Equivalencia: El elemento conceptual tiene fin o principio. Enunciados simples: p: El elemento concept. tiene principio. q: El elemento conceptual tiene fin. Simbologa: p q

A continuacin se acoplan las dos simbologas en una sola tabla, unindolas mediante un conectivo de implicacin: ( p q ) ( q p )

45

Gabriela Acosta Ch.

Resolviendo la tabla de verdad: (p V V F F q) (q V V V V V F V F p)

V V V F V V F F

V V V V V F F F

Al obtener una tautologa como resultado de la tabla de verdad queda comprobada la equivalencia. Una vez tratada la comprobacin de las Equivalencias Lgicas, procederemos a citarlas dentro de sus subgrupos respectivos. Equivalencias Lgicas

Equivalencias Conmutativas pq qp pq q p Nota: Se conserva el conectivo y se cambia el orden de los enunciados simples de la proposicin. Slo se cumple con conectivos de conjuncin y disyuncin.

Equivalencias Asociativas (pq)r p(q r) (pq)r p(q r)

46

Gabriela Acosta Ch.

Nota: Se conserva el conectivo y los enunciados simples de la proposicin, slo vara el lugar de los signos de agrupacin. Se cumple nicamente con conectivos de conjuncin, disyuncin y con una proposicin de tres enunciados.

Equivalencias Distributivas

p(q r)(pq)(p r) p(q r)(pq)(p r) p(q r)(pq)(p r) Nota: El primer enunciado acompaado del conectivo que lo prosigue, se opera con cada enunciado dentro de parntesis con un respectivo parntesis, separados por el segundo conectivo de la proposicin. Se cumple con varios conectivos, excepto con la doble implicacin.

Equivalencias de Morgan

~ ( p ~ ( p

q )~ p q )~ p

~q ~q q q

~ ( p ~q )~ p ~ ( ~p ~q ) p

Nota: La negacin fuera de los parntesis afecta a cada enunciado dentro de los parntesis y as tambin al conectivo que los une. Se con la conjuncin y disyuncin, no obstante la implicacin y doble implicacin podran estar tambin afectadas por Morgan, tal como lo veremos ms adelante.

47

Gabriela Acosta Ch.

Otras equivalencias

Llamaremos a stas otras equivalencias, debido a que no se operan las proposiciones iniciales para obtener las resultantes, sino que se consideran equivalencias debido a las tautologas que arrojan sus tablas de verdad

q ~ p q q)(q p)

p q (p

Equivalencias de Idempotencia

p pp p pp

Equivalencias de Identidad

p FF p Vp p Fp p VV

Equivalencias de Complemento

p ~p F
48 Gabriela Acosta Ch.

p ~p V ~ ~p p ~V F ~F V Importante. La negacin de es , y la negacin de es .

49

Gabriela Acosta Ch.

Ejercicios

Verifique las Equivalencias Lgicas: o Conmutativas o Asociativas o Distributivas o Otras Equivalencias o De Idempotencia o De Identidad.

Indique si las siguientes proposiciones corresponden o no a una Equivalencia Lgica. ab ba b c c p ~(p~ q) (p q) (pq) r p(q r) (ab) c a(b c) p(q r)(pq)(p r) p(q r)(pq)(p r) p(q r)(pq)(p r) p q pq ~ ( p ~q )~ p ~ ( ~p q ) p ~ ( p ~q )~ p ~ ( p a ~ ( p q ) p b ~ a b q) (p ~ q) (q ~ p) ~q ~q q ~q

50

Gabriela Acosta Ch.

Propiedades Lgicas Una propiedad lgica la proposicin tiene correspondencia bilateral respecto a la implicacin o condicional. Ejemplo: Enunciado: Los colores crean ambiente acogedores entonces ayudan a relajarse. Simbologa: p q

Es recproco a: Los colores ayudan a relajarse entonces crean ambiente acogedores. Simbologa: q p

Basados en el ejemplo anterior, citamos a continuacin las propiedades lgicas: Recprocas

p ~p

q R q

q R q ~p

~p ~ q R ~q ~p Contrarecprocas

p ~p

q CR ~ q ~ p q CR ~ q p

~ p ~ q CR q p

Importante. En las propiedades reciprocas, adems de cambiar el orden de los enunciados, stos tambin deben negarse.

51

Gabriela Acosta Ch.

Ejercicios Verifique el resultado de tablas de verdad aplicadas a Propiedades Lgicas: o Recprocas o Contrarecprocas

Escriba un ejemplo relacionado con su carrera, con cada una de las Propiedades Lgicas.

52

Gabriela Acosta Ch.

UNIDAD IV

Leyes de inferencia

Reglas de Inferencia Las leyes de inferencia, son todas aquellas reglas aplicadas a un grupo de proposiciones relacionadas entre s, por medio de las cuales es posible obtener una conclusin. La estructura se presenta de la siguiente forma:

P1 (Premisa 1): Proposicin 1 P2 (Premisa 2): Proposicin 2 . . . Pn (Premisa n): Proposicin n Ln+1 (Lnea 1): Proposicin resultante de operar premisas Ln+2 (Lnea 2): Proposicin resultante de operar premisas . . . Ln+k (Lnea n): Proposicin resultante de operar premisas _____________________________________________ C (Conclusin): Proposicin final Justificacin tctica Justificacin tctica

Justificacin tctica Justificacin tctica

Las Leyes mediante las cuales se obtienen lneas a partir de premisas, se llaman reglas de inferencia, las describiremos a continuacin aadiendo ejemplos ilustrativos. Importante. Las reglas de inferencia se aplican para enunciados compuestos por simples definidos e indefinidos.

53

Gabriela Acosta Ch.

Modo en el que Afirmando Afirmo (Modus Ponendo Ponens). Supongamos las siguientes proposiciones:

Premisa 1: Si los puntos integran lneas entonces las lneas integran planos. Premisa 2: Los puntos integran lneas ______________________________________________________________ Conclusin: Las lneas integran planos Modo en el que afirmando, afirmo, aplicado a premisa 1 y premisa 2

Simbolizando: P1: p q

P2: p _____________________ C: q MAA P1:P2

Variaciones por uso de negaciones P1: ~ p q

P2: ~ p _____________________ C: q MAA P1:P2

Importante. Ntese que se repite el enunciado p (antecedente) en las premisas 1 y 2, para concluir el enunciado q (consecuente). La regla MAA debe aplicarse nicamente con la conectiva implicacin.

54

Gabriela Acosta Ch.

P1: p ~ q P2: p _____________________ C: ~ q MAA P1:P2

P1: ~ p ~ q P2: ~ p _____________________ C: ~ q MAA P1:P2

P1: p ~ q P2: ~ p _____________________ C: No existe MAA.

Variaciones por proposiciones compuestas por varios enunciados simples. P1: p ( q r ) P2: p ________________________ C: ( q r ) MAA P1:P2

P1: ( q r ) s P2: ( q r ) ________________________ C: s MAA P1:P2

55

Gabriela Acosta Ch.

P1: ( q r ) ~ ( s t ) P2: ( q r ) ________________________ C: ~ ( s t ) MAA P1:P2

Variaciones por procesos adicionales a las premisas.

P1:

p (q r)

P2: ~ ~ p L3: p Eq. Compl. P2 (Equivalencia de complemento a la premisa 2) ________________________ C: ( q r ) MAA P1:L3 (Ntese que la regla se aplic entre premisa 1 y lnea 3)

P1:

(~ q r ) s

P2: ~ ( q ~ r ) L3: ~ q r Morgan. P2 ________________________ C: s MAA P1:L3 (Ntese que la regla se aplic entre premisa 1 y lnea 3)

Variaciones cuando los procesos requieren varias lneas. Cuando el ejercicio necesita ms de una lnea para obtener la conclusin, el mismo solicitar la conclusin a la que debe llegarse.

56

Gabriela Acosta Ch.

Concluir: ~ s t P1: (~ q r ) ~ ( s ~ t ) P2: q r L3: ~ q r Otras E. P2 (Otras equivalencias)

L4: ~ ( s ~ t ) MAA P1:L3 ________________________ C: ~ s t Morgan L4 Se logr llegar a la conclusin que el ejemplo haba solicitado.

Modo en el que Negando, Niego (Modus Tollendo Tollens).

Premisa 1: Los colores clidos crean ambientes acogedores entonces ayudan a relajarse. Premisa 2: Los colores clidos no ayudan a relajarse. ______________________________________________________________ Conclusin: Las colores clidos no crean ambientes acogedores. Modo en el que negando, niego, aplicado a premisa 1 y premisa 2.

Simbolizando: P1: p q

P2: ~ q _____________________ C: ~ p MNN P1:P2

57

Gabriela Acosta Ch.

Variaciones por uso de negaciones P1: ~ p q

P2: ~ q __________________________ C: p MNN P1:P2 (La conclusin es una doble negacin de p, lo cual es equivalente a p, por medio de la equivalencia de complemento.)

P1: p ~ q P2: q __________________________ C: ~ p MNN P1:P2

P1: ~ p ~ q P2: q __________________________ C: p MNN P1:P2

P1: p ~ q P2: ~ q _____________________ C: No existe MNN. Importante. Ntese que en la segunda premisa se niega el enunciado q, consecuente de la premisa 1, concluyendo ~ p, que es la negacin del antecedente de la primera premisa.

58

Gabriela Acosta Ch.

Variaciones por proposiciones compuestas por varios enunciados simples. P1: p ( q r ) P2: ~ ( q r ) ________________________ C: ~ p MNN P1:P2

P1: ( q r ) s P2: ~ s ____________________________ C: ~ ( q r ) MNN P1:P2

P1: ( q r ) ~ ( s t ) P2: ( s t ) ____________________________ C: ~ ( q r ) MNN P1:P2

Variaciones por procesos adicionales a las premisas.

P1: P2: P3:

p q p s ~q

L4: q MAA P1:P2 ____________________________ C: ~ s MNN P3:L4

59

Gabriela Acosta Ch.

Variaciones cuando los procesos requieren varias lneas.

Concluir: ~ s

P1: ~ s ( q r ) P2: ( ~ s q ) P3: ~ r L4: ( ~ s q ) ( ~ s r ) L5: ~ s r Eq. Distributiva P1 MAA L4:P2

L6: s r Otras Eq. L5 ______________________________________________ C: ~ s MNN L6:P3

Importante. La justificacin tctica de los ejercicios se describe en el orden en el que se aplican las reglas de inferencia. La regla MNN se aplica nicamente con el conectivo condicional.

60

Gabriela Acosta Ch.

Modo en el que Negando, Afirmo (Modus Tollendo Ponens).

Premisa 1: La lnea tiene fin o principio. Premisa 2: La lnea no tiene fin. ______________________________________________________________ Conclusin: La lnea tiene principio. Modo en el que negando, afirmo, aplicado a premisa 1 y premisa 2.

Simbolizando: P1: p q

P2: ~ p _____________________ C: q MNA P1:P2

Variaciones por uso de negaciones P1: ~ p q P2: p (La premisa 2 se expresa con una doble negacin, o lo que es lo mismo una afirmacin. ___________________________________________ C: q MNA P1:P2

P1:

p ~ q

P2: ~ p __________________________ C: ~ q MNA P1:P2

61

Gabriela Acosta Ch.

P1: ~ p ~ q P2: p __________________________ C: ~ q MNA P1:P2

P1: p ~ q P2: p _____________________ C: No existe MNA. Importante. Ntese que en la segunda premisa se niega el enunciado p, el primer enunciado de la premisa 1, concluyendo q, que es el segundo enunciado de primera premisa exactamente como se encuentra escrito. La regla MNA debe aplicarse nicamente con la conectiva disyuncin. Deben usarse todas las premisas que el ejercicio proponga. Existen ejercicios que tienen varios caminos que llegan a la misma solucin.

Variaciones por proposiciones compuestas por varios enunciados simples. P1: p ( q r ) P2: ~ p ________________________ C: ( q r ) MNA P1:P2

P1: ( q r ) s P2: ~ ( q r ) ____________________________ C: s MNA P1:P2

62

Gabriela Acosta Ch.

P1:

(q r) ~(st)

P2: ~ ( q r ) ____________________________ C: ~ ( s t ) MNA P1:P2

Variaciones por procesos adicionales a las premisas.

P1: P2: P3:

p q p ~q s

L4: q MAA P1:P2 ____________________________ C: s MNA P3:L4

Variaciones cuando los procesos requieren varias lneas.

Concluir: a P1: ~ s ( q r ) P2: s P3: ~ r P4: ~ q a L5: q r MNA P1:P2

L6: ~ q MNN L5:P3 ______________________________________________ C: a MAA L6:P4

63 Gabriela Acosta Ch.

Silogismo Hipottico.

Premisa 1: Si los puntos integran lneas entonces las lneas integran planos. Premisa 2: Si las lneas integran planos entonces los planos integran volmenes __________________________________________________________________ Conclusin: Si los puntos integran lneas entonces los planos integran volmenes. Silogismo Hipottico, aplicado a premisa 1 y premisa 2.

Simbolizando: P1: p q

P2: q r _____________________ C: p r SH. P1:P2

Variaciones por uso de negaciones y varias premisas P1: p ~ q P2: ~ q r _____________________ C: p r SH. P1:P2

P1: ~ p

P2: q ~ r ________________________ C: ~ p ~ r SH. P1:P2

64

Gabriela Acosta Ch.

P1: p P2: q

q r

P3: r ~ s _____________________ C: p ~ s SH. P1:P2:P3

P1:

p q

P2: ~ q r _____________________ C: No existe SH. Importante. Debe repetirse el consecuente de la primera premisa, en el antecedente de la segunda premisa, para posteriormente concluir, el antecedente de la primera premisa, con el consecuente de la segunda premisa. La regla SH debe aplicarse nicamente con la conectiva implicacin.

Variaciones por proposiciones compuestas por varios enunciados simples. P1: p ( q r ) P2: ( q r ) s ________________________ C: p s SH. P1:P2

P1: ( q r ) s P2: s ( t n ) ________________________________ C: ( q r ) ( t n ) SH. P1:P2

65

Gabriela Acosta Ch.

P1:

(q r) ~(st)

P2: ~ ( s t ) ~ a P2: ~ a ~ b ___________________________ C: ( q r ) ~ b SH. P1:P2

Variaciones por procesos adicionales a las premisas. P1: P2: p q r q

L3: q r Recproca P2 ___________________________ C: p r SH. P1:L3

Variaciones cuando los procesos requieren varias lneas.

Concluir: ~ p (t s)

P1: P2: P3:

p ~q ~r q r (t s) Otras Eq. P1

L4: ~ p ~ q

L5: ~ q r Contrarecproca P2 ___________________________ C: p (t s) SH. L4: L5:P3

66

Gabriela Acosta Ch.

Adjuncin.

Premisa 1: La ley de la proximidad est dentro de la ley de la Gestalt. Premisa 2: La ley del toque est dentro de la ley de la Gestalt. __________________________________________________________________ Conclusin: La ley de la proximidad y toque estn dentro de la ley de la Gestalt.. Adjuncin, aplicado a premisa 1 y premisa 2.

Simbolizando: P1: p P2: q _____________________ C: p q Adjuncin P1:P2

Variaciones por uso de negaciones P1: p P2: ~ q _____________________ C: p ~ q Adjuncin P1:P2

P1: ~ p P2: q _____________________ C: ~ p q Adjuncin P1:P2

67

Gabriela Acosta Ch.

P1: ~ p P2: ~ q _____________________ C: ~ p ~ q Adjuncin P1:P2

Importante. Se unen dos premisas mediante la conectiva conjuncin, exactamente como se encuentran escritas. La regla de Adjuncin debe aplicarse nicamente con la conectiva conjuncin.

Variaciones por proposiciones compuestas por varios enunciados simples. P1: p P2: ( q r ) ________________________ C: p ( q r ) Adjuncin P1:P2

P1: ( q r ) P2: s ________________________________ C: ( q r ) s Adjuncin P1:P2

P1:

(q r) ~(st)

P2: ~ a ______________________________________________ C: [ ( q r ) ~ ( s t ) ] ~ a Adjuncin P1:P2

68

Gabriela Acosta Ch.

Variaciones cuando los procesos requieren varias lneas. Concluir: ~ r ~ s

P1: P2: P3:

(p ~q) ~r ~ q p

P4: ~ s L5: p ~q Adjuncin P3:P2

L6: ~ r MAA P1:L5 ___________________________ C: ~ r ~ s Adjuncin L6: P4

Adicin.

Premisa 1: La lnea tiene principio. Premisa 2: La lnea tiene fin. __________________________________________________________________ Conclusin: La lnea tiene principio o fin. Adicin, aplicado a premisa 1 y premisa 2.

Simbolizando: P1: p P2: q _____________________ C: p q Adicin P1:P2

69

Gabriela Acosta Ch.

Variaciones por uso de negaciones P1: p P2: ~ q _____________________ C: p ~ q Adicin P1:P2

P1: ~ p P2: q _____________________ C: ~ p q Adicin P1:P2

P1: ~ p P2: ~ q _____________________ C: ~ p ~ q Adicin P1:P2

Importante. Se unen dos premisas mediante la conectiva disyuncin, incluyendo negaciones en el caso de que existieren. La regla de Adjuncin debe aplicarse nicamente con la conectiva disyuncin. Las premisas y lneas pueden reutilizarse.

Variaciones por proposiciones compuestas por varios enunciados simples. P1: p P2: ( q r ) ________________________ C: p ( q r ) Adicin P1:P2
70 Gabriela Acosta Ch.

P1: ( q r ) P2: s ________________________________ C: ( q r ) s Adicin P1:P2

P1:

(q r) ~(st)

P2: ~ a ______________________________________________ C: [ ( q r ) ~ ( s t ) ] ~ a Adicin P1:P2

Variaciones cuando los procesos requieren varias lneas. Concluir: t s

P1: ~ r ( p ~ q ) P2: ~ ( ~ p q ) P3: (s ~t ) r

P4: s L5: ( p ~ q ) ~ r L6: p ~ q L7: ~ r L8: ~ ( s ~ t ) L9: ~ s t Recproca P1 Morgan P2 MAA L5:L6 MNN P3:L7 Morgan L8

L10: t MNA L9:L4 _____________________________________ C: t s Adjuncin L10: L4

71

Gabriela Acosta Ch.

Simplificativa.

Premisa 1: La ley de la proximidad y toque estn dentro de la ley de la Gestalt. __________________________________________________________________ Conclusin: La ley de la proximidad est dentro de la ley de la Gestalt. Simplificativa, aplicado a premisa 1 y premisa 2.

Simbolizando: P1: p q _____________________ C1: p Simplificativa P1 C2: q Simplificativa P1

Variaciones por uso de negaciones P1: ~ p q _____________________ C1: ~ p Simplificativa P1 C2: q Simplificativa P1

P1: p ~ q _____________________ C1: p Simplificativa P1 C2: ~ q Simplificativa P1

72

Gabriela Acosta Ch.

P1: ~ p ~ q _____________________ C1: ~ p Simplificativa P1 C2: ~ q Simplificativa P1

P1: p p _____________________ C1: p Simplificativa P1 Eq. de Idempotencia.

Importante. Al detallar una proposicin que separa enunciados simples o compuestos (iguales o diferentes) por medio de un conectivo de conjuncin, es posible eliminar uno de ellos por medio de la regla simplificativa. La regla simplifativa debe aplicarse nicamente con la conectiva conjuncin.

Variaciones por proposiciones compuestas por varios enunciados simples. P1: ( q r ) ( q r ) ________________________ C1: ( q r ) Simplificativa P1

P1: ( q r ) s ________________________________ C1: ( q r ) Simplificativa P1 C2: s Simplificativa P1

73

Gabriela Acosta Ch.

P2: [ ( q r ) ~ ( s t ) ] ~ a ______________________________________________ C1: ( q r ) ~ ( s t ) Simplificativa P1 C2: ~a Simplificativa P1

Variaciones cuando los procesos requieren varias lneas. Concluir: ~ r ~ u P1: ~ r ( p ~ q ) P2: p P3: (t ~u) s Distributiva P1 Simplificativa L4 Recproca L5 MAA L6:P2 Conmutativa P3 Asociativa L8

L4: (~ r p ) (~ r ~ q ) L5: ~ r p L6: p ~r

L7: ~ r L8: s ( t ~ u ) L9: ( s t ) ~ u

L10: ~ u Simplificativa L9 _____________________________________________________ C: ~ r ~ u Adjuncin L7: L10

Importante. Es posible simplificar un enunciado compuesto nicamente cuando ste posea un enunciado suelto, es decir fuera de un parntesis.

74

Gabriela Acosta Ch.

Simplificacin.

Premisa 1: El diseo es pregnante o es pregnante. __________________________________________________________________ Conclusin: El diseo es pregnante. Simplificacin, aplicado a premisa 1 y premisa 2.

Simbolizando: P1: p p _____________________ C: p Simplificacin P1

Variaciones por uso de negaciones P1: ~ p ~ p _____________________ C: ~ p Simplificacin P1

P1: p q ________________________________ C: No es posible aplicar simplificacin

Importante. Al detallar una proposicin que separa enunciados iguales, simples o compuestos por medio de un conectivo de disyuncin, es posible prescindir de uno de ellos por medio de la regla simplificacin. La regla simplificacin debe aplicarse nicamente con la conectiva disyuncin.

75

Gabriela Acosta Ch.

Variaciones por proposiciones compuestas por varios enunciados simples. P1: ~ ( q r ) ~ ( q r ) ________________________________ C: ~ ( q r ) Simplificacin P1

P2: [ ( q r ) ~ ( s t ) ] ~ [ ( q r ) ~ ( s t ) ] ______________________________________________ C1: No es posible aplicar simplificacin

Variaciones cuando los procesos requieren varias lneas.

Concluir: ~ p P1: r s P2: ~ s ~ s P3: p q

P4: q ~ r L5: ~s Simplificacin P2 Conmutativa P1 MNA L6:L5

L6: s r L7: r

L8: p ~ r SH. P3:P4 ____________________________________________________ C: ~ p MNN L8:L7

76

Gabriela Acosta Ch.

Ejercicios gramaticales. Los ejemplos que se redactan a continuacin no estn precisamente relacionados con el Diseo, sin embargo se consideraron con fines pedaggicos y en ningn momento pretenden atentar contra la autoestima del estudiante.

Sean los siguientes enunciados: P1: Estudio o pierdo Fundamentos Cientficos I P2: Apruebo Fundamentos Cientficos I entonces voy a la playa P3: Estudi Cul es la conclusin? Reconocemos los enunciados simples p: Estudio q: Apruebo Fundamentos Cientficos I r: Voy a la playa Simbolizamos las proposiciones propuestas P1: p ~ q P2: q r P3: p Otras Eq. P1 Contrarecproca L4 MNN L6:P3

L4: ~ p ~ q L6: ~ q ~ p L7: q

L8: r MAA P2:L7 ____________________________________________________ C: q r Adjuncin L7:L8 Conclusin: Aprob Fundamentos Cientficos I y voy a la playa

77

Gabriela Acosta Ch.

Si variamos la tercera premisa:

P1: Estudio o pierdo Fundamentos Cientficos I P2: Apruebo Fundamentos Cientficos I entonces voy a la playa P3: Aprob Fundamentos Cientficos I

Cul es la conclusin?

Reconocemos los enunciados simples p: Estudio q: Apruebo Fundamentos Cientficos I r: Voy a la playa

Simbolizamos las proposiciones propuestas P1: p ~ q P2: q r P3: q MAA P2:P3 Conmutativa P1

L4: r L5: ~ q p

L6: p MNA L5:P3 ____________________________________________________ C: p r Adjuncin L6:L4 Conclusin: Estudi y voy a la playa.

78

Gabriela Acosta Ch.

Volvemos a variar la tercera premisa:

P1: Estudio o pierdo Fundamentos Cientficos I P2: Apruebo Fundamentos Cientficos I entonces voy a la playa P3: Voy a la playa

Cul es la conclusin?

Reconocemos los enunciados simples p: Estudio q: Apruebo Fundamentos Cientficos I r: Voy a la playa

Simbolizamos las proposiciones propuestas P1: p ~ q P2: q r P3: r Recproca de P2 MAA L4:P3 Conmutativa P1

L4: r q L5: q L6: ~ q p

L7: p MNA L6:L5 ____________________________________________________ C: p q Adjuncin L7:L5 Conclusin: Estudi y aprob Fundamentos Cientficos I.

79

Gabriela Acosta Ch.

Variamos la tercera premisa pero ahora utilizamos negaciones:

P1: Estudio o pierdo Fundamentos Cientficos I P2: Apruebo Fundamentos Cientficos I entonces voy a la playa P3: No estudio

Cul es la conclusin?

Reconocemos los enunciados simples p: Estudio q: Apruebo Fundamentos Cientficos I r: Voy a la playa

Simbolizamos las proposiciones propuestas

P1: p ~ q P2: q r P3: ~p MNA de P1:P3 Recproca P2

L4: ~ q L5: r q

L6: ~ r MNN L5:L4 ____________________________________________________ C: ~ q ~ r Adjuncin L4:L6 Conclusin: No apruebo Fundamentos Cientficos I y no voy a la playa.

80

Gabriela Acosta Ch.

Volvemos a variar la tercera premisa con negaciones:

P1: Estudio o pierdo Fundamentos Cientficos I P2: Apruebo Fundamentos Cientficos I entonces voy a la playa P3: No aprob

Cul es la conclusin?

Reconocemos los enunciados simples p: Estudio q: Apruebo Fundamentos Cientficos I r: Voy a la playa

Simbolizamos las proposiciones propuestas P1: p ~ q P2: q r P3: ~q Recproca P2 MNN L4:P3 Otras Eq. P1 Recproca L6

L4: r q L5: ~ r L6: ~ p ~ q L7: ~ q ~ p

L8: ~ p MAA L7:P3 ____________________________________________________ C: ~ p ~ r Adjuncin L8:L5 Conclusin: No estudi y no ir a la playa.

81

Gabriela Acosta Ch.

Volvemos a variar la tercera premisa con negaciones:

P1: Estudio o pierdo Fundamentos Cientficos I P2: Apruebo Fundamentos Cientficos I entonces voy a la playa P3: No fui a la playa

Cul es la conclusin?

Reconocemos los enunciados simples p: Estudio q: Apruebo Fundamentos Cientficos I r: Voy a la playa

Simbolizamos las proposiciones propuestas P1: p ~ q P2: q r P3: ~r MNN P2:P3 Otras Eq. P1 Recproca L5

L4: ~ q L5: ~ p ~ q L6: ~ q ~ p

L7: ~ p MAA L6:L4 ____________________________________________________ C: ~ p ~ q Adjuncin L7:L4 Conclusin: No estudi y perd Fundamentos Cientficos I.

82

Gabriela Acosta Ch.

Ejercicios

Escriba un ejemplo gramatical asociado a cada Ley de Inferencia. Relacione sus ejemplos con el Diseo.

Resuelva los siguientes ejercicios aplicando Equivalencias Lgicas, Propiedades Lgicas y Leyes de Inferencia.

1) Sean los enunciados: P1: Los lneas no integran planos entonces los planos no integran volmenes. P2.1: Pero las lneas si integran planos. P2.2: Pero los planos si integran volmenes.

2) Sean los enunciados:

P1: Es falso que, los puntos no integran lneas si y slo si el punto no es la unidad bsica del diseo. P2.1: Los puntos no integran lneas entonces el punto no es la unidad bsica del diseo. P2.2: Los puntos integran lneas o el punto no es la unidad bsica del diseo. P2.2: El punto es la unidad bsica del diseo o los puntos no integran lneas. P2.3: El punto es la unidad bsica de Diseo entonces no es verdad que, los puntos no integran lneas entonces el punto no es la unidad bsica del diseo y, el punto no es la unidad bsica del diseo entonces los puntos no integran lneas.

83

Gabriela Acosta Ch.

3) Sean los siguientes enunciados: P1: La lnea tiene principio o fin. P2: La lnea no tiene fin entonces integra planos. P3.1: La lnea si tiene principio. P3.2: La lnea no tiene principio. P3.3: La lnea si tiene fin. P3.4: La lnea no tiene fin. P3.5: La lnea integra planos. P3.6: La lnea no integra plano.

Resuelva los siguientes ejercicios de Leyes de Inferencia, combinados con Equivalencias y Propiedades Lgicas.

1) Concluir: b P1: (a b) (a b) 2) Concluir: p r P1: p ~ (q r) p q

P2: ~ p P3:

3) Concluir: ~ t P1: ( a b ) ~ t P2: b a

84

Gabriela Acosta Ch.

4) Concluir: ~ ( q p ) P1: ~ ( p q ) P2: p q

5) Concluir: ~ t P1: ( b a ) ~ t P2: a b

6) Concluir: q P1: ( p ~ q ) r P2: ~ r P3: p

7) Concluir: r P1: ( p ~ q ) r P2: ~ r P3: p

8) Concluir: q P1: p (q r )

P2: p P3: ~ r

9) Concluir: r P1: p (q r )

P2: p P3: ~ q

10) Concluir: p P1: p (q r ) P2: ~ (~ q ~ r )

85 Gabriela Acosta Ch.

11) Concluir: q P1: p (q r ) P2: ~ s ~ p P3: ~ ( p ~ s ) ( t ~ q ) P4: t

12) Concluir: ~ t P1: p (q r ) P2: ~ s ~ p P3: ~ ( p ~ s ) ( t ~ q ) P4: ~ q

13) Concluir: F P1: p (q r ) (p ~s) (t ~q ) P2: ~ s ~ p P3:

P4: ~ t

14) Concluir: V P1: p (q r ) (p ~s) (t ~q ) P2: ~ s ~ p P3:

P4: ~ t

15) Concluir: V P1: ~ p ~ q P2: ~ s ~ t P3: ~ u ~ r P4: P5: t q u s

86

Gabriela Acosta Ch.

UNIDAD VI

Fbulas Lgicas

Fbulas Lgicas

Las Unidades estudiadas nos han trado al captulo, quizs el ms recreativo de todo el documento, es as que lo estudiado anteriormente lo emplearemos en la construccin de Fbulas que describen la Realidad del Diseo, vistas de una forma un tanto graciosa, pero sin dejar de lado la formalidad de la Lgica Proposicional as como tambin los principios y elementos del Diseo. Las Fbulas que redactamos a continuacin son creaciones hechas por estudiantes de todas las Carreras de la Facultad de Diseo, Arquitectura y Artes, has sido guiadas y supervisadas para posteriormente ser corregidas.

LA FAMILIA COLORIDA

Esta historia narra la vida de la familia Colorida y su gran desentono. rase una vez una familia de 4 colores:

87

Gabriela Acosta Ch.

El pap Azul (color primario) La mam Amarilla (color primario) Su hija Naranjita (color secundario, mezcla de amarillo y rojo) Y Su hijo Verdecito (color secundario, mezcla de azul y amarillo)

Pero Naranjita y Verdecito no se parecan. Los colores cercanos a la familia, pensaban que Naranjita se pareca a Don Rojo Carne, su vecino.

p: Naranjita es hermana legtima de Verdecito. (V)F). Nadie lo sabe. Enunciado abierto q : Naranjita se parece a Verdecito. r : Naranjita es hija de Don Azul. (F). No se parecen. (V) (F). Nadie lo sabe. Enunciado abierto

s : Naranjita es hija de su madre Amarilla. (V). Es seguro que lo es. t : Naranjita es hija de Don Rojo Carne. Enunciado abierto (V) o (F). Nadie lo sabe. Enunciado abierto

Pero pese a que la Seora Amarilla aseguraba que Naranjita era hija de ella y Don Azul, los vecinos que vean a la pequea Colorida, rumoraban que la colorcita debera parecerse a su hermano Verdecito para ser hija de tinta (sangre) del matrimonio Colorida, sea que.

Naranjita es hermana de Verdecito SSI Naranjita se parece a Verdecito Naranjita se parece a Verdecito SSI Naranjita es hija de su madre Amarilla y de su padre Azul.

88

Gabriela Acosta Ch.

Reglas de inferencia. P1: p q

P2: q ( s r ) L3: ( p q ) ( q p ) L4: p q Otras Eq. P1 Simplificativa L3 Otras Eq. P2 Simplificativa L5 Recproca L6 Recproca L4 Silogismo H. L4:L6 Silogismo H. L7:L8

L5: [ q ( s r ) ] [ ( s r ) q ] L6: q ( s r ) L7: ( s r ) q L8: q p L9: p ( s r ) L10: ( s r ) p

L11: [ p ( s r ) ] [ ( s r ) p ] Adjuncin L9:L10 ________________________________________________________ C: p ( s r ) Silogismo H. L4:L6

De tal manera que: Naranjita es hermana de Verdecito si y solo si, Naranjita es hija de su madre Amarilla y de su padre Azul. Pero que tan verdadera era esta conclusin era el misterio que los vecinos queran resolver

p: Naranjita es hermana legtima de Verdecito. (V)F). Nadie lo sabe. Enunciado abierto r : Naranjita es hija Don Azul. (V) (F). Nadie lo sabe. Enunciado abierto

s : Naranjita es hija de su madre Amarilla. (V). Es seguro que lo es.

89

Gabriela Acosta Ch.

(s V V V V V V V V

r)

V V V V V F V F F F F F F F V V

V V V V F F F F

V V V V F F F F

La respuesta era una Contingencia, y las posibilidades eran de un 50% de que la pequea Naranjita sea hija de Don Azul (4 Verdaderos) y 50% de que no lo fuera (4 Falsos). Cmo saber la verdad?

Los vecinos saban que era que Naranjita no se pareca a Verdecito y as mismo saban que Naranjita era hija de Amarilla:

q : Naranjita se parece a Verdecito.

(F). No se parecen.

s : Naranjita es hija de su madre Amarilla. (V). Es seguro que lo es.

~ q V

s V

Se corrobora que lo que piensan los vecinos es cierto, sin embargo tambin saben que la familiaridad de Naranjita con Don Azul era falsa, aun as Amarilla negaba la afirmacin de los vecinos.
90 Gabriela Acosta Ch.

Amarilla saba que los rumores de los vecinos eran ciertos: Naranjita se pareca a Don Rojo Sangre. Ahora Azul se haba enterado de todo, y quera que Naranjita se hiciera una prueba de tinta (sangre), para descubrir realmente de quien era hija

r : Naranjita es hija de Azul.

(V) (F). Nadie lo sabe. Enunciado abierto

s : Naranjita es hija de su madre Amarilla. (V). Es seguro que lo es. t : Naranjita es hija de Don Rojo Carne. (V) o (F). Nadie lo sabe. Enunciado abierto

De manera que es falso que, Naranjita es hija de Don azul y Doa Amarilla, entonces Es hija de Doa Amarilla y Don Rojo Carne. ~ F F F F V V V V (r V V V V F F F F V V V V F F F F

s) (s t)
V V V V V V V V V V V V V F V F V V V V V V V V V F V F V F V F V F V F V F V F

Los resultados dejaron claro en un 75% que Naranjita no era hija de Azul y Amarilla sino que era hija de Amarilla y Don Rojo Carne, negando todo lo que Amarilla deca.

91

Gabriela Acosta Ch.

Naranjita confundida como estaba, saba que si Azul no es su padre entonces Don Rojo Sangre es su padrepero ella quisiera que la realidad fuese todo lo contrario que Don Sangre no fuese su padre y que Azul si lo fuese.. ~r t Contrarecproca ~t r

Pobre Naranjita, el color de su vida se estaba decolorando. Pero lo que Naranjita nunca iba a dudar ni negar es que verdecito es su hermano y se parecen.

~ V F F F

(~p F F V V F V V V

~q) F V F V

q
F

V V V V V V F V F V F

F V F F

92

Gabriela Acosta Ch.

Esto es una verdad Total.

FIN

Creado por: Joselyn Niza y Andrea Gavilanez Revisado y Corregido por: Gabriela Acosta.

93

Gabriela Acosta Ch.

Ejercicios

Grupo 1.1

Escriba una Fbula que evidencie el uso de todos los Contenidos que conforman el Documento. Relacione su Fbula con su carrera

Redacte una historia a partir de las siguientes premisas y simbologa e incluya Ttulo a la Fbula. p: En la casa de modas existen vestidos silueta reloj de arena. q: En la casa de modas existen vestidos silueta sirena. r: En la casa de modas existen vestidos silueta nfora. s: La silueta reloj de arena luce en un cuerpo delgado. t: La silueta Sirena luce si eres alta. v: La silueta nfora luce si eres robusta Primera escena p q r Segunda escena p s Tercera escena r ~p Cuarta escena r v Creado por: Judith Salazar y Xavier Salgado

94

Gabriela Acosta Ch.

Grupo 1.2

Escriba una Fbula que evidencie el uso de todos los Contenidos que conforman el Documento. Relacione su Fbula con su carrera

Redacte una historia a partir de las siguientes premisas y simbologa e incluya Ttulo a la Fbula. p: el puntito consigue trabajo q: el puntito se vuelve un famoso publicista r: el puntito publica un proyecto Primera escena p r Segunda escena q p Tercera escena (p r) q

Creado por: Roberto Caicedo

95

Gabriela Acosta Ch.

Grupo 1.3

Escriba una Fbula que evidencie el uso de todos los Contenidos que conforman el Documento. Relacione su Fbula con su carrera

Redacte una historia a partir de las siguientes premisas y simbologa e incluya Ttulo a la Fbula. p: Los muebles son comprados por una familia. q: Los muebles consiguen establecerse en una casa. r: Los muebles hicieron felices a los nios.

Primera escena q r Segunda escena q p Tercera escena (p q) r

Creado por: Susana Hernndez, Paula Campaa, Karen Lara

96

Gabriela Acosta Ch.

Bibliografa Badesa, C.; Jan, I.; Jansana, R. (2000). Elementos de lgica formal. Ariel. Barnes, D. W.; Mack, J. M. (1978).Una introduccin algebraica a la lgica matemtica. Eunibar. BenAri, M. (2001). Mathematical logic for computer science (2nd ed.). Springer Di Prisco, C. (2009). Introduccin a la lgica matemtica. Amalca Amazonia. Enderton, H. (2004).Una introduccin matemtica a la lgica.Mxico: ElseiverincUNAM. Dez, J (2002). Iniciacin a la Lgica. Ariel. Hamilton, A. (1981).Lgica para matemticos. Paraninfo. Mostern, J. (1983). Lgica de primer orden. Editorial Ariel.

97

Gabriela Acosta Ch.