Logica

Universidad Nacional de Piura Departamento Acadmico de Matemtica e a
MATEMATICA I con MATHEMATICA R

Mathematica y MathReader son marcas registradas de Wolfram Research: www.wolfram.com
Piura, 3 de mayo de 2012 PERU
Prlogo o
En este mdulo se desarrollan los temas concernientes a un curso tradicional de o Matemtica I y est dirigido a los estudiantes de las diferentes especialidades a a de la Universidad Nacional de Piura. Para el cap tulo concerniente a Lgica se ha tomado como referencia el o libro Introduccin a la lgica del Profesor Digenes Rosales Papa. o o o Casi todos los cap tulos se ha complementado con el sistema de algebra computacional Mathematica 8.0. Esto se consigue mediante el nuevo paquete de comandos matematica1 desarrollado por un equipo de docentes del Departamento Acadmico de Matemtica de la Universidad Nacional de Piura. e a
Indice general
Prlogo o 1. Introduccin a la lgica o o 1.1. Funciones veritativas . . . . . . . . . . . . . 1.1.1. La conjuncin. . . . . . . . . . . . . o 1.1.2. La disyuncin. . . . . . . . . . . . . . o 1.1.3. La condicional. . . . . . . . . . . . . 1.1.4. La bicondicional. . . . . . . . . . . . 1.1.5. La negacin. . . . . . . . . . . . . . . o 1.1.6. S mbolos de Sheer. . . . . . . . . . 1.2. Simbolizacin de proposiciones . . . . . . . . o 1.3. Esquemas moleculares . . . . . . . . . . . . 1.4. Tablas de valores . . . . . . . . . . . . . . . 1.5. Equivalencia e implicacin . . . . . . . . . . o 1.5.1. La equivalencia . . . . . . . . . . . . 1.5.2. La implicacin . . . . . . . . . . . . . o 1.6. La inferencia . . . . . . . . . . . . . . . . . . 1.7. El mtodo abreviado . . . . . . . . . . . . . e 1.8. Principios lgicos . . . . . . . . . . . . . . . o 1.9. Equivalencias notables . . . . . . . . . . . . 1.9.1. La doble negacin . . . . . . . . . . . o 1.9.2. La idempotencia . . . . . . . . . . . 1.9.3. La conmutacin . . . . . . . . . . . . o 1.9.4. La asociatividad . . . . . . . . . . . . 1.9.5. La distribucin . . . . . . . . . . . . o 1.9.6. Leyes de De Morgan . . . . . . . . . 1.9.7. Las deniciones del condicional . . . 1.9.8. Las deniciones del bicondicional . . 1.9.9. La denicin del disyuntivo exclusivo o 1.9.10. La absorcin . . . . . . . . . . . . . . o 1.9.11. La expansin . . . . . . . . . . . . . o 1.9.12. Las transposiciones . . . . . . . . . . 1.9.13. La Exportacin . . . . . . . . . . . . o 1.10. El reemplazo . . . . . . . . . . . . . . . . . iii i 1 4 4 5 6 7 8 9 10 11 12 15 15 20 24 29 36 37 37 37 38 38 39 40 41 42 42 42 44 45 46 46
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
iv 1.11. Las implicaciones notables . . . . . . . 1.11.1. Modus ponendo ponens . . . . . 1.11.2. Modus tollendo tollens . . . . . 1.11.3. Silogismo disyuntivo . . . . . . 1.11.4. Simplicacin . . . . . . . . . . o 1.11.5. Adicin . . . . . . . . . . . . . o 1.11.6. Conjuncin . . . . . . . . . . . o 1.11.7. Silogismo hipottico puro . . . e 1.11.8. Transitividad simtrica . . . . . e 1.11.9. Dilema constructivo compuesto 1.11.10.Dilema destructivo compuesto . 1.11.11.La ley del absurdo . . . . . . . 1.11.12.La prueba condicional . . . . . 1.12. La derivacin . . . . . . . . . . . . . . o 1.13. La prueba por reduccin al absurdo . . o A. Implementacin computacional o A.1. Mathematica . . . . . . . . . . A.2. Funcionamiento de Mathematica A.3. Clculos con Mathematica . . . a A.4. El paquete matematica1 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
INDICE GENERAL . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 51 51 52 52 52 53 53 53 53 54 54 54 55 55 63 65 65 65 66 68
. . . .
. . . .
. . . .
. . . .
. . . .
. . . .
. . . .
. . . .
. . . .
. . . .
. . . .
. . . .
. . . .
. . . .
. . . .
. . . .
. . . .
. . . .
Cap tulo 1 Introduccin a la lgica o o

Nocin de Lgica. El tema central de la lgica es el anlisis formal de los o o o a razonamientos, esto es, establecer si la conclusin se deriva lgicamente de las o o premisas. Por lo tanto, la tarea de la lgica es estudiar la validez o invalidez o de las inferencias. Nocin de inferencia. Inferencia es una estructura de proposiciones en o donde a partir de una o ms proposiciones llamadas premisas se obtiene otra a que es la conclusin. Por ejemplo: o (1) Si dos es mayor que uno y uno es mayor que cero, entonces dos es mayor que cero. (2) Todos los hombres son mortales. Scrates es hombre. Por lo tanto, Scrao o tes es mortal. (3) Si el galen no trae piratas, entonces el capitn ha muerto o est prisioo a a nero. Pero, el capitn no ha muerto ni est prisionero. En consecuencia, a a el galen trae piratas. o Expresiones proposicionales y expresiones no proposicionales. Una expresin proposicional es una oracin declarativa, un enunciado o un juicio, o o cuya propiedad fundamental es la de ser verdadera o falsa. Por ejemplo: (1) Dos es mayor que uno. (2) Todos los hombres son mortales. (3) El galen trae piratas. o (4) El agua hierve a 100 grados cent grados. (5) Lima es la capital del Per. u 1
CAP ITULO 1. INTRODUCCION A LA LOGICA
Las expresiones no proposicionales son aqullas que no tienen la propiedad de e ser verdaderas o falsas. Con este lenguaje se expresan sentimientos, emociones, o bien ordenes, directivas, etc. Por ejemplo: (6) Hola! Cmo ests? o a (7) Soldado Chvez... presntese! a e (8) Prohibido fumar. Las proposiciones simples y compuestas. Las proposiciones simples, llamadas tambin proposiciones atmicas, bsicas o elementales, son aquellas e o a oraciones que tienen un solo sujeto y un solo predicado. Por ejemplo: (1) Scrates naci en Atenas. o o (2) La Luna es un satlite de la Tierra. e (3) Dos es un nmero par. u Las proposiciones compuestas, llamadas tambin proposiciones moleculares, e son aquellas que estn constituidas por dos o ms proposiciones simples. Por a a ejemplo: (4) Scrates fue un lsofo y naci en Atenas. o o o (5) Si Zaida va a Trujillo, visitar a Carlos. a (6) Si el automvil sufre desperfectos entonces Mar llegar tarde a la ciuo a a dad. (7) Juan no obtendr su visa, si y slo si no es turista o no tiene permiso de a o su trabajo. Lenguaje lgico. El lenguaje lgico es un lenguaje sintctico. Esto signica o o a que considera solamente la estructura de las proposiciones llamada estructura lgica y que est compuesta unicamente por los elementos lgicos. Una eso a o tructura lgica es lgicamente verdadera o vlida, si las proposiciones que la o o a componen son verdaderas independientemente de sus trminos con signicae dos fcticos. De ah que poco interesa a la lgica el contenido semntico de a o a las proposiciones. La validez o invalidez de una inferencia o un razonamiento no depende entonces del contenido signicativo de sus proposiciones, sino que esta validez o invalidez depende de la funcin que desempeen los elementos o n lgicamente esenciales. Por ejemplo: o (1) O los soldados van a la guerra o se rinden incondicionalmente. Los soldados no se rinden incondicionalmente. Luego, los soldados van a la guerra.
3 Si consideramos solamente los elementos lgicos o, no, luego, se tiene la sio guiente estructura lgica: o O... o... no... Luego, ... Esta inferencia es vlida, por lo tanto su estructura lgica es vlida o lgicaa o a o mente verdadera siempre y cuando los puntos suspensivos sean llenados adecuadamente, o sea, en el mismo orden que aparecen las proposiciones en la inferencia. Igual ocurrir en la siguiente inferencia: a (2) Si todos los hombres son mortales y todos los griegos son hombres, entonces todos los griegos son mortales. Donde su estructura lgica es: o Si todos son... y todos son... entonces todos... son... La validez de las inferencias de los ejemplos 1 y 2 puede demostrarse haciendo uso de un lenguaje especializado que es el lenguaje simblico, lenguaje o que est compuesto por un conjunto de signos lgicos establecidos por reglas a o denidas. Este lenguaje se ha ideado por la necesidad operativa en este caso, de analizar la validez o la invalidez de las inferencias, porque dada la naturaleza misma de las inferencias, sus estructuras lgicas son cada vez ms complejas o a resultando su verdad lgica menos perceptible. Por lo tanto, el lenguaje adeo cuado para las demostraciones lgicas es el lenguaje simblico. Este lenguaje se o o caracteriza por ser convencional, articial, preciso, exacto, universal, carente de todo contenido fctico y expresable slo por escrito. a o Desde este punto de vista, el lenguaje simblico es todo un clculo y a la o a vez es el lenguaje de la lgica. o Variables y constantes lgicas. Las variables son s o mbolos a los que se les puede designar contenidos, mientras que las constantes son los s mbolos de los elementos lgicos. o Proposicionales: p, q, r, etc. Predicativas: F, G, H, etc. Variables Individuales: a, b, c, etc. Indeterminadas: x, y, z, etc.
4 Propo sicionales
CAP ITULO 1. INTRODUCCION A LA LOGICA o mbolo es La conjuncin y; su s e mbolo es La disyuncin o dbil; su s o fuerte; su s mbolo es La condicional si... entonces; su s mbolo es La bicondicional si y slo si; su s o mbolo es La negacin no; su s o mbolo es
Constantes
Universal todos; su s mbolo es (x) No propo sicionales Cuanticadores Existencial algunos; su s mbolo es (x) Lgica proposicional. La lgica proposicional, llamada tambin lgica de o o e o las proposiciones sin analizar, trata de las relaciones interproposicionales y las funciones que desempean las constantes proposicionales (llamadas tambin n e conectivas) y, o, si... entonces, si y slo si, no, etc. o
1.1.
Funciones veritativas
Como toda proposicin puede ser verdadera o falsa, entonces se le puede asigo nar los valores de verdad (V ) y falsedad (F ). Los valores de verdad de cualquier proposicin compuesta estn determinados por los valores de verdad de las proo a posiciones componentes, o sea, como las proposiciones compuestas o moleculares estn formadas por proposiciones simples en base a conectivas, entonces los a valores de verdad que se obtiene en base a conectivas en cualquier proposicin o compuesta de relacionarse los valores veritativos de las proposiciones simples, se llama funciones veritativas.
1.1.1.
La conjuncin. o
La conjuncin combina dos proposiciones conectadas por y. Su s o mbolo es . Por ejemplo: (1) El soldado Prez trabaja en el campo y el capitn Mat es un ocial e a as administrativo. Esta proposicin conjuntiva se puede expresar simblicamente por o o pq donde,
1.1. FUNCIONES VERITATIVAS El soldado Prez trabaja en el campo = p e El capitn Mat es un ocial administrativo = q a as
y es verdadera unicamente cuando las dos proposiciones componentes son ver daderas, y en cualquier otro caso es falsa. Esta aseveracin es vlida para toda o a conjuncin y se puede expresar en la siguiente tabla de verdad: o p q V V V V F F F F F F F F En el lenguaje ordinario hay trminos como pero, aunque, incluso, tambin, e e tal como, del mismo modo, sin embargo, al igual que, as como, no obstante, a pesar que, a la vez, de la misma manera, tanto... como, no slo... tambin, es o e compatible con, etc., que tambin unen proposiciones y se pueden simbolizar e por , dado que generalmente interpretan la conjuncin. Por ejemplo: o (2) Carlos es pol tico pero honesto. Carlos es pol tico = p Carlos es honesto = q pq (3) Mar est enferma, sin embargo asiste a clases. a a Mar est enferma = p a a Mar asiste a clases = q a pq (4) Las operaciones matemticas son fciles de comprender, a la vez que a a permiten solucionar problemas prcticos. a Las operaciones matemticas son fciles de comprender = p a a Las operaciones matemticas permiten solucionar problemas prcticos a a =q pq
1.1.2.
La disyuncin. o
La disyuncin combina dos proposiciones conectadas por o, cuyo sentido o pueden interpretarse de dos maneras: como dbil o inclusiva, y como disyuncin e o fuerte o exclusiva. La disyuncin dbil o inclusiva es verdadera cuando por lo o e menos una de las proposiciones componentes es verdadera, resultando falsa solamente cuando las dos son falsas. Simblicamente se representa por es . o Por ejemplo:
CAP ITULO 1. INTRODUCCION A LA LOGICA (1) El canciller peruano domina el idioma ingls o domina el idioma francs. e e El canciller peruano domina el idioma ingls = p e El canciller peruano domina el idioma francs = q e p q V V V V V F F V V F F F
En el lenguaje ordinario hay trminos como salvo que, excepto que, a menos e que, o tambin, etc., que tambin se pueden simbolizar por . e e La disyuncin fuerte o exclusiva es verdadera cuando solamente una de las o proposiciones componentes es verdadera y no las dos, resultando falsa en otros casos. Su s mbolo es . Por ejemplo: (2) O el general Jos de San Mart naci en Argentina o naci en el Per. e n o o u El general Jos de San Mart naci en Argentina = p e n o El general Jos de San Mart naci en el Per = q e n o u p q V F V V V F F V V F F F Tambin los trminos bien... o bien, ya bien... ya bien, o solamente, o slo, e e o etc., son disyunciones fuertes y se pueden simbolizar por .
1.1.3.
La condicional.
Es la combinacin de dos proposiciones con si... entonces. La proposicin que o o est entre si y entonces se llama antecedente, y la proposicin que sigue a o a la palabra entonces se llama consecuente. si... entonces simblicamente o se representa por el signo . La condicional es falsa solamente cuando el antecedente es verdadero y el consecuente es falso, siendo verdadera en todos los dems casos. Por ejemplo: a (1) Si el automvil sufri desperfectos en el camino entonces Rosa llegar taro o a de a su compromiso. El automvil sufri desperfectos en el camino = p o o Rosa llegar tarde a su compromiso = q a p q V V V V F F F V V F V F
1.1. FUNCIONES VERITATIVAS
Tambin los trminos impone a, es condicin suciente para, cuando... e e o as pues, con tal que... es obvio que, en el caso de que... en tal sentido, en virtud de que... es evidente, dado... por eso, en cuanto... por tanto, de... deviene, de... deducimos (inferimos, llegamos, concluimos) que, ya que... bien se ve que, siempre que... por consiguiente, toda vez que.. en consecuencia, en la medida que... de all, en el caso de... en este caso, etc. son condicionales y se pueden simbolizar por . (2) Que Juan estudie para el examen de Matemtica es condicin suciente a o para que apruebe dicho examen. Juan estudia para el examen de Matemtica = p a Juan aprobar el examen de Matemtica = q a a pq (3) En virtud de que Juan estudia para el examen de Matemtica es evidente a que aprobar dicho examen. a Juan estudia para el examen de Matemtica = p a Juan aprobar el examen de Matemtica = q a a pq Por otra parte los trminos pues, puesto que, ya que, dado que, porque, si, e siempre que, es condicin necesaria para, se concluye de, es insuciente para, o cada vez que, es condicin de que, en vista de que, etc., tambin son conectivas o e condicionales y se caracterizan porque despus de cada uno de estas conectivas e est el antecedente. Por ejemplo: a (1) Carlota viajar al extranjero si obtiene su visa. a Carlota viajar al extranjero = p a Carlota obtiene su visa = q qp (2) Enrique viajar al norte siempre que sea miembro de la comisin invesa o tigadora. Enrique viajar al norte = p a Enrique es miembro de la comisin investigadora = q o qp
1.1.4.
La bicondicional.
Dos proposiciones unidas por si y slo si se llama bicondicional, y es verdadeo ra cuando las dos proposiciones componentes tienen el mismo valor veritativo, en otros casos es falsa. El s mbolo bicondicional es .
CAP ITULO 1. INTRODUCCION A LA LOGICA (1) Pedro construir su casa si y slo si obtiene un prstamo de la cooperaa o e tiva. Pedro construir su casa = p a Pedro obtiene un prstamo de la cooperativa = q e p q V V V V F F F F V F V F
Esta proposicin bicondicional se entiende como: Si Pedro construir su o a casa entonces obtiene un prstamo de la cooperativa, y si obtiene un prstamo e e de la cooperativa entonces construir su casa. Simblicamente se tiene: a o (p q) (q p) Otras formas de expresar la bicondicional es utilizando los trminos es e equivalente a, siempre y slo cuando, por lo cual y segn lo cual, se dene o u como, es lo mismo que, si de la misma forma, es idntico a, etc. e
1.1.5.
La negacin. o
La negacin no expresada simblicamente por , cumple la funcin de o o o negar una armacin o de armar una negacin. o o (1) Napolen no es ruso. o Napolen es ruso = p o p F V V F (2) No es cierto que la luna no tenga atmsfera. o La luna tiene atmsfera = p o ( p) V F V F V F En el ejemplo 1 se ha negado una armacin y en el ejemplo 2 al negar una o negacin, se ha armado una negacin. o o Otras formas de expresar la negacin es utilizando los trminos no es el o e caso que, es falso que, es inconcebible que, es imposible que, no ocurre que, no sucede que, no acontece que, no acaece que, no es verdad que, es mentira que, es inadmisible que, no es innegable que, de ninguna forma se da que, etc. En estos casos, por lo general, la negacin niega proposiciones compuestas, y o simblicamente se expresa por (. . .). Por ejemplo: o
1.1. FUNCIONES VERITATIVAS
(1) No es el caso que, Prez sea acionado al ftbol y obtenga buenas notas e u en clase. Prez es acionado al ftbol = p e u Prez obtiene buenas notas en clase = q e (p q) (2) No es cierto que, Descartes fue mdico o ingeniero. e Descartes fue mdico = p e Descartes fue ingeniero = q (p q) Cabe destacar que la negacin afecta slo a la derecha y al signo que est ino o a mediatamente despus de ella. e
1.1.6.
S mbolos de Sheer.
M. N. Sheer ha introducido el signo como la negacin conjuntiva, que se o lee por ni... ni; y es verdadera solamente cuando sus dos componentes son falsos, siendo falsa en cualquiera de los dems casos. Por ejemplo: a (1) Ni Scrates es egipcio ni Pitgoras es o a Scrates es egipcio = p o Pitgoras es romano = q a p V F V F F F F V romano.
q V F V F
Esta proposicin se puede simbolizar tambin por: o e p q De igual manera Sheer ha introducido el signo | como la negacin disyuno tiva, que se lee por no... o no, y para que sea verdadera basta que uno de sus componentes sea falso, resultando falsa solamente cuando los dos componentes son verdaderos. Por ejemplo: (2) Hipcrates no es lsofo o no es gemetra. o o o Hipcrates es lsofo = p o o Hipcrates es gemetra = q o o p | q V F V V V F F V V F V F
10
CAP ITULO 1. INTRODUCCION A LA LOGICA Esta proposicin se simboliza por: o p q
En lo sucesivo obviaremos los signos de Sheer, dado que puede interpretarse como la conjuncin con sus componentes negados, y | como la o disyuncin con sus componentes negados. o
1.2.
Simbolizacin de proposiciones y el uso o de los signos de agrupacin o
Simbolizar una proposicin consiste en reemplazar cada proposicin por una o o variable proposicional, y cada constante lgica por su correspondiente s o mbolo. Los signos de agrupacin (parntesis, corchetes, llaves, etc.) se utilizan en la o e simbolizacin para evitar la ambigedad en las frmulas. Sin los signos de o u o agrupacin las frmulas hasta carecer de sentido. Por ejemplo: o o an (1) No es el caso que, Einstein fue mdico o Newton fue antroplogo. e o Einstein fue mdico = p e Newton fue antroplogo = q o (p q) En este caso, sin los parntesis la simbolizacin ser incorrecta ya que e o a la negacin afectar solamente a la variable p. o a (2) Si el galen no trae piratas, entonces el capitn ha muerto o est prisioo a a nero. El galen trae piratas = p o El capitn ha muerto = q a El capitn est prisionero = r a a p (q r) En esta simbolizacin, es el de mayor alcance. Ntese que o o est limitado por los parntesis, y slo afecta a la variable p. a e o (3) Las leyes de la mecnica son exactas si Newton dice la verdad, si y slo a o si el movimiento no es relativo. Las leyes de la mecnica son exactas = p a Newton dice la verdad = q El movimiento es relativo = r (q p) r
1.3. ESQUEMAS MOLECULARES
11
(4) V ctor es un mecnico o un ingeniero, si es un graduado universitario; a adems, V a ctor es un comerciante. V ctor es un mecnico = p a V ctor es un ingeniero = q V ctor es un graduado universitario = q V ctor es un comerciante = s r (p q) s
Ejercicio 1
Simbolizar las siguientes proposiciones distinguiendo el alcance de cada una de las constantes proposicionales. 1) Juan trabaja en el ministerio, adems es un l a der estudiantil si estudia en la universidad. 2) Si el oro vale mucho dinero, o es un metal escaso o es un metal precioso. 3) Si no es el caso que Juan sea un comerciante o un prspero industrial, o entonces es director de una compa de teatro. na 4) O Emilio es un ingeniero y profesor de matemtica, o es un mecnico y a a dueo de una rma automotriz. n 5) Es falso que si Cristina no estudiaba derecho no podr contraer matria monio, dado que Cristina es experta en pol tica nanciera. 6) Coln descubri Amrica y Pizarro conquist el Per, si y slo si, o o o e o u o Pizarro fue un hbil guerrero o Coln fue un intrpido navegante. a o e 7) O las leyes de la mecnica son un conocimiento a priori si el conoa cimiento del espacio f sico es a priori, o la ley de la gravitacin es o un conocimiento emp rico si el conocimiento del espacio f sico no es a priori. 8) La sociedad est descontenta si y slo si no hay cambio social, pero si la a o sociedad est descontenta, o hay revolucin o hay cambio social. a o
1.3.
Esquemas moleculares
Son la combinacin de variables y constantes proposicionales. Los operadores o cumplen funciones denidas dado que el alcance de cada uno de ellos est ligado a por los signos de agrupacin. o De modo que, si un esquema molecular no ofrece ambigedad en la funcin u o que desempean cada uno de las constantes proposicionales, se dice que el n esquema molecular es una frmula bien formada (FBF). Por ejemplo: o
12

p V V F F q p q q V V V F V F V V V F F V 1 2
Figura 1.1: Tabla de valores del esquema (p q) q. (1) p (q r) (2) (p q) r q (3) (p q) ( r p) Adems, una variable proposicional independiente, como p por ejemplo, se a considera un esquema molecular por excepcin, por lo tanto una FBF. o En cada esquema molecular slo uno de los operadores es el de mayor o alcance o mayor jerarqu a este operador se le conoce como operador principal a, y es el que da nombre a dicho esquema. As el operador de mayor jerarqu en a: 1 es , en 2 es y en 3 es ; y los nombres que llevan cada uno de ellos respectivamente son: esquema condicional, esquema bicondicional y esquema negativo. A los esquemas moleculares por excepcin los llamaremos esquema o literales por estar formados slo por una letra o variable proposicional. o
1.4.
Evaluacin de esquemas moleculares por o la tabla de valores
Evaluar un esquema molecular por la tabla de valores es obtener los valores del operador principal a partir de los valores de verdad o falsedad de cada una de las variables proposicionales. El nmero de valores que se asigna a cada u variable resulta de aplicarse la frmula 2n , donde 2 es la constante y n es o el nmero de variables que hay en el esquema molecular. Luego se combinan u todas las posibilidades de verdad y falsedad en las columnas de referencia al margen izquierdo del esquema, y se procede a aplicar la regla de cada uno de los operadores, empezando por el de menor dominio, hasta llegar al de mayor alcance. Por ejemplo:
Mathematica
Evaluacin del esquema (p q) q. o

In[1]:= Out[1]=
TruthTable[(p q) q, ColumnNumbers True] Ver Fig. 1.1
Los valores de p y q (2n = 22 = 4) en el margen izquierdo del esquema son las columnas de referencia, y los valores de la derecha son el resultado de
1.4. TABLAS DE VALORES

p V V V V F F F F q V V F F V V F F r V F V F V F V F p F F V V V V V V F F V V F F V V q F F V F F V F V 5 r V F V F F V F V F F F F V V V V p V V V V F V F V 7 r V V V V F V F V 6 p
13
2 1
4 3
Figura 1.2: Tabla de valores del esquema [(p q) (r p)] (r p).

p V V V V F F F F q V V F F V V F F r V F V F V F V F r F V F F F F F F 4 V F V V V V V V F F V V V V V V q V V F F F F F F 1 p V V V V V V V V 7 q V V V V V F V V 6 r V V V V V F V F 5 p
3 2
Figura 1.3: Tabla de valores del esquema [r (q p)] [q (r p)]. aplicacin de las reglas de y , de acuerdo al dominio de cada uno de o ellos.
Mathematica
Evaluacin del esquema [(p q) (r p)] (r p). o

In[2]:=
Out[2]=
TruthTable[((p q) (r ColumnNumbers True] Ver Fig. 1.2
p)) (r p),
Mathematica
Evaluacin del esquema [r (q p)] [q (r p)]. o

In[3]:=
Out[3]=
TruthTable[(r (q p)) (q (r p)), ColumnNumbers True] Ver Fig. 1.3
Mathematica
Evaluacin del esquema [( p q) r] [r (p q)]. o

In[4]:=
TruthTable[((p q) r) (r (p q)), ColumnNumbers True]
14
Out[4]=
CAP ITULO 1. INTRODUCCION A LA LOGICA Ver Fig. 1.4
p V V V V F F F F
q V V F F V V F F
r V F V F V F V F
p F F F F V V V V 1 F F F F V V F F 2
q V V V V F V V V F V F V F V F V
r F F F F F F F F 9
r F F F F V F F F F F F F V V F F
p V V V V F F V V F F V V F F V V
4 3
8 7
6 5
Figura 1.4: Tabla de valores del esquema [( p q) r] [r (p q)]. Segn el resultado que se obtenga en el operador principal, los esquemas u moleculares se clasican en consistentes, tautolgicos y contradictorios. o Un esquema molecular es consistente cuando en su resultado hay por lo menos una verdad y una falsedad (esquemas de las guras 1.1 y 1.2). Un esquema molecular es tautolgico cuando los valores de su operador principal o son todos verdaderos (esquema de la gura 1.3) y es contradictorio cuando en el resultado todos sus valores son falsos (esquema de la gura 1.4).
Ejercicio 2
Por medio de la tabla de valores, determine si es consistente, tautolgico o o contradictorio cada uno de los siguientes esquemas moleculares. 1) (p q) p 2) p (q p) 3) (p q) (q p) 4) ( p q) ( q p) 5) (p q) ( q p) 6) [p (q r)] (r p) 7) [p (q r)] (r p) 8) [ p (q r)] [(r q) p] r)] [ q (p r)]
9) [ (p q) (q
10) [(p q) (r p)] [(p q) (q r)]
1.5. EQUIVALENCIA E IMPLICACION

p V V F F q p q V V F V F V V V V F F V F V V V 2 1 6 p F F V V 3 V V F V F V F V q
15
5 4
Figura 1.5: Dos esquemas equivalentes.
1.5.
Equivalencia e implicacin o
Es importante distinguir los conceptos de equivalencia e implicacin de los o conceptos bicondicional y condicional respectivamente. La no distincin de o estos conceptos ha generado por ejemplo la paradoja de la implicacin mateo rial donde se considera el operador como implica en vez de leerlo como s mbolo de si... entonces.
1.5.1.
La equivalencia
Dos esquemas o dos proposiciones, por ejemplo A y B, son equivalentes cuando unidos por el bicondicional el resultado es una tautolog En tal caso se a. denota por AB Si A es equivalente a B, B tambin es equivalente a A. e Ejemplos: (1) Vamos a determinar si los esquemas A y B que aparecen a continuacin o son equivalentes. A = p q B = p q
Mathematica
Evaluacin de los esquemas A y B. o

In[5]:=
Out[5]=
A = p q; B = p q; TruthTable[A B, ColumnNumbers True] Ver Fig. 1.5
El resultado del operador es tautolgico, luego A y B son equivalentes. o (2) Si tenemos las siguientes proposiciones A y B, A= Si Einstein dice la verdad, entonces la Teor de la Relatividad a es exacta. B = No es el caso que, la Teor de la Relatividad no sea exacta y a Einstein diga la verdad.
16
p V V F F

q V F V F p V F V V 1 q V V V V V F V V F V F V 2 q F V F F 3 p
5 4
Figura 1.6: Dos esquemas equivalentes. Uniendo bicondicionalmente las dos proposiciones se tiene: Si Einstein dice la verdad entonces la Teor de la Relatividad es exacta, a si y slo si no es el caso que la Teor de la Relatividad no sea exacta y o a Einstein diga la verdad. Para demostrar si esta proposicin bicondicional es equivalente, simboo lizamos y hallamos la tabla veritacional: Einstein dice la verdad = p La Teor de la Relatividad es exacta = q a A=pq B = ( q p)
Mathematica

In[6]:=
Out[6]=
A = p q; B = (q p); TruthTable[A B, ColumnNumbers True] Ver Fig. 1.6
El resultado del operador es tautolgico, luego A y B son equivalentes. o Como la tabla de valores arroja una tautolog las proposiciones A y B a, son equivalentes. (3) Cules de los esquemas moleculares siguientes son equivalentes? a A = ( p q) ( r p) B = p (r q) C = q p
Mathematica
Denicin de los esquemas en Mathematica (El uso del s o mbolo $ ante puesto a C se debe a que C es una variable reservada en Mathematica).
In[7]:=
A = (p q) (r p); B = p (r q); $C = q p;

p V V V V F F F F q V V F F V V F F r V F V F V F V F p F F F F V V V V 1 V V F F V V V V 2 q V V F F V V V V 6 F V F V F V F V 3 r F F F F F V F V F F F F V V V V p F F F V V V F V 9 p F F V F V V F V 8 r V V F V V V F V 7 q
17
5 4
Figura 1.7: Dos esquemas no equivalentes.

p V V V V F F F F q V V F F V V F F r V F V F V F V F p F F F F V V V V 1 V V F F V V V V 2 q V V F F V V V V 6 F V F V F V F V 3 r F F F F F V F V F F F F V V V V p V V V V V V V V 10 F F V V F F V V 7 q V V F F V V V V F F F F V V V V p
5 4
9 8
Figura 1.8: Dos esquemas equivalentes. Para demostrar si son equivalentes o no, se procede relacionando A B, A C y B C.
Mathematica

In[8]:= Out[8]=
TruthTable[A B, ColumnNumbers True] Ver Fig. 1.7
Mathematica
Evaluacin de los esquemas A y $C. o

In[9]:= Out[9]=
TruthTable[A $C, ColumnNumbers True] Ver Fig. 1.8
Mathematica
Evaluacin de los esquemas B y $C. o

In[10]:= Out[10]=
TruthTable[B $C, ColumnNumbers True] Ver Fig. 1.9
En consecuencia, solamente los esquemas A y C son equivalentes.
18
p V V V V F F F F q V V F F V V F F

r p V F F F V V F F V V F V V F F V 2 r V V F V V V F V 1 q F F F V V V F V 6 F F V V F F V V 3 q V V F F V V V V F F F F V V V V p
5 4
Figura 1.9: Dos esquemas no equivalentes.
Ejercicio 3
En cada grupo de esquemas moleculares o de proposiciones que aparecen a continuacin, determine los que son equivalentes. o 1) A = p q B = (p q) C = (q p) 2) A = p ( r p) B = ( p q) r C = q (p r) 3) A = (p q) (r p) B = p ( r q) C = q ( r p) 4) A = Si Carmen aprob los exmenes de admisin, ingres a la univero a o o sidad. B = No es el caso que Carmen apruebe los exmenes de admisin y a o no ingrese a la Universidad. C = Si Carmen no ingres a la universidad, entonces no aprob los o o exmenes de admisin. a o Si Bol var naci en Venezuela, no tuvo problema de nacionalidad o y luch a favor de los patriotas. o B = Bol var no tuvo problema de nacionalidad si naci en Venezuela, o y si naci en Venezuela entonces luch a favor de los patriotas. o o C = Bol var luch a favor de los patriotas si y slo si naci en Veneo o o zuela.
5) A =
1.5. EQUIVALENCIA E IMPLICACION 6) A =
19
Si los fenmenos naturales se comportan segn las leyes mecnio u a cas de Newton, entonces Newton dice la verdad; sin embargo, la F sica clsica no es absoluta. a B = Newton dice la verdad si la f sica clsica no es absoluta, si y a slo si los fenmenos naturales no se comportan segn las leyes o o u mecnicas de Newton. a C = Ni Newton dice la verdad ni la f sica clsica es absoluta, o la f a sica clsica no es absoluta a la vez que los fenmenos naturales no se a o comportan segn las leyes mecnicas de Newton. u a
7) A =
Si con carabinas se cazan felinos, entonces son armas de largo alcance; sin embargo, los felinos no son fciles de cazar a pesar a de que las carabinas son armas de largo alcance. B = No es el caso que los felinos sean fciles de cazar o las carabinas a no sean armas de largo alcance. C = O las carabinas son armas de largo alcance o con ellas no se cazan felinos; no obstante, las carabinas son armas de largo alcance a la vez que los felinos no son fciles de cazar. a
8) A =
Los comerciantes venden menos seda, si hay peste en la China o aumenta el precio de la seda. B = Aumenta el precio de la seda si y slo si hay peste en la China, o aunque los comerciantes vendan ms seda. a C = No es el caso que si hay peste en la China entonces no aumenta el precio de la seda.
9) Determine si la proposicin Juan Garc es maquinista, si es un mecnio a a co o dueo de una rma automotriz es equivalente a la disyuncin de n o las siguientes proposiciones: A= O Juan Garc es maquinista, o es dueo de una rma automotriz a n a la vez que es maquinista. B = Juan Garc ni es mecnico ni es dueo de una rma automotriz; a, a n sin embargo, es maquinista si es un mecnico. a
10) Cules de las proposiciones que aparecen a continuacin es equivalente a o a El producto de los rendimientos es decreciente si y slo si el producto o total decrece, lo que signica que el resultado de los rendimientos es decreciente?
20

p V V F F q p q p q V V V V F F V V V F V V F F V F 1 3 2
Figura 1.10: Una implicacin. o A= El resultado de los rendimientos es decreciente si y slo si el o producto total decrece. B = Si el resultado de los rendimientos es creciente, o el producto marginal crece o el producto total no decrece.
1.5.2.
La implicacin o
Si se tienen dos esquemas o proporciones A y B. Se dice que A implica a B, cuando unidos por el condicional , estando A como antecedente y B como consecuente, el resultado es una tautolog denotndose en tal caso a; a AB Si A implica a B, B puede no implicar a A. Ejemplos: (1) Dados los siguientes esquemas, vamos a determinar si A implica a B. A=pq B =pq
Mathematica

In[11]:= Out[11]=
Como el resultado es una tautolog A implica a B. a, (2) A continuacin vamos a demostrar si la proposicin A implica a B. o o A= El gobierno controla la venta de carros si y slo si controla la o venta de artefactos elctricos. e B = Si el gobierno no controla la venta de artefactos elctricos entone ces tampoco controla la venta de carros. Simbolizando las proposiciones se obtienen los esquemas de A y B, y se tiene:

p V V F F q p q V V V F F V V F V F V V 1 5 q F V F V 2 V F V V F F V V p
21
4 3
Figura 1.11: Una implicacin. o El gobierno controla la venta de carros = p El gobierno controla la venta de artefactos elctricos = q e A= pq B = q p
Mathematica

In[12]:= Out[12]=
Como el resultado es una tautolog la proposicin A implica a la propoa, o sicin B. o (3) Vamos a determinar si cada uno de los esquemas moleculares que aparecen a continuacin implica a K = (p q) r. o A = p (q r) B = (q r) p C = p r
Mathematica
Denicin de los esquemas K, A, B y $C en Mathematica. o

In[13]:=
K = (p q) r; A = p (q r); B = (q r) p; $C = p r;
Mathematica
Evaluacin de los esquemas A y K. o

In[14]:= Out[14]=
TruthTable[A K, ColumnNumbers True] Ver Fig. 1.12
22
p V V V V F F F F q V V F F V V F F

r p V F F F V V V V V F V V V V F F F V V F V F F V 3 2 q V F F F V F F F 1 r V V V V V V V V F F V V V V V V p V V F F F F F F 4 q F V V V V V V V F V F V F V F V r
8 5
7 6
Figura 1.12: Una implicacin. o

1 2 3 4 5 6 7 8 p V V V V F F F F q V V F F V V F F r V F V F V F V F q F V F F F V F F F V F V F V F V r V V V V F V F F 3 p F V V V V V V V F F V V V V V V p V V F F F F F F 4 q F V V V V V V V F V F V F V F V r
2 1
8 5
7 6
Figura 1.13: Una contingencia (note la l nea 1 del resultado).

Mathematica
Evaluacin de los esquemas B y K. o

In[15]:= Out[15]=
TruthTable[B K, ColumnNumbers True, RowNumbers True] Ver Fig. 1.13
Mathematica
Evaluacin de los esquemas $C y K. o

In[16]:= Out[16]=
TruthTable[$C K, ColumnNumbers True] Ver Fig. 1.14
Ejercicio 4
1) Dados los siguientes esquemas moleculares: A= B= C= D= p q (p r) qp (q r)
determine:

p V V V V F F F F q V V F F V V F F r V F V F V F V F p F F F F V V V V 1 F V F V V F V F F V F V F V F V r V V V V V V V V F F V V V V V V p V V F F F F F F 4 q F V V V V V V V F V F V F V F V r
23
3 2
8 5
7 6
Figura 1.14: Una implicacin. o a. Si A implica B, C y D respectivamente. b. Si B es implicada por C y D respectivamente. c. Si A implica a la conjuncin de B y D. o d. Si A implica a la disyuncin de C y D. o e. Si C implica a la disyuncin de A, B y D. o f. Si la conjuncin de A y C implica a B. o g. Si la disyuncin de B y C es implicada por A. o h. Si la disyuncin de B y D es implicada por la disyuncin de A y C. o o i. Si la conjuncin de B y D es implicada por la disyuncin de A y C. o o j. Si A entonces B est implicada por la negacin de C. a o 2) Dadas las siguientes proposiciones: A= El Estado es responsable de la econom del pa si y slo si las a s o leyes de la reforma econmica no son aplicables a la realidad. o B = No se da el caso que las leyes de la reforma econmica sean aplio cables a la realidad o el Estado sea responsable de la econom a del pa s. C = Si los pol ticos dicen la verdad, entonces, o el Estado es responsable de la econom del pa o las leyes de la reforma econmica a s o no son aplicables a la realidad. demuestre: a. Si A implica a B. b. Si B es implicada por B. c. Si B implica a C. d. Si C implica a la disyuncin de A y B. o e. Si la disyuncin de A y C est implicada por B. o a
24
CAP ITULO 1. INTRODUCCION A LA LOGICA f. Si la conjuncin de A y B est implicada por C. o a g. Si la conjuncin de A y B implica a la disyuncin de A y C. o o h. Si la bicondicional de A y B est implicada por C. a i. Si la negacin de B est implicada por la disyuncin de A y C. o a o j. Si la negacin de la conjuncin A y C implica a la negacin de B. o o o 3) Demuestre si la proposicin si mi gato es un felino entonces caza ratones, o o mi gato es perezoso si no es un felino est implicada por la proposicin a o mi gato no caza ratones. 4) Determine si cada una de las proposiciones que aparecen a continuacin, implica a la proposicin: Pedro es navegante si conoce los puertos o o mar timos de Sudamrica. e A= O Pedro es navegante y conoce los puertos mar timos de Sudamrica, o Pedro no es navegante ni conoce los puertos mar e timos de Sudamrica. e B = Si Pedro conoce los puertos mar timos de Sudamrica, o es navee gante o es acionado al turismo.
5) Demuestre si la disyuncin de las proposiciones o no es cierto que un o nmero entero sea positivo o es imposible que dos no sea un nmero u u entero y o es falso que un nmero entero no sea negativo, o los nmeros u u decimales no son impares si dos es un nmero entero est implicada o u a no por la proposicin los nmeros decimales no son pares ni un nmero o u u entero es negativo.
1.6.
La inferencia
Como se dijo, al inicio de este cap tulo, la inferencia es una estructura de proposiciones en la que a partir de una o ms proposiciones consideradas como a premisas se obtiene otra que es la conclusin, o tambin, es el paso de la o e premisa o la conjuncin de premisas a la conclusin. o o P1 P2 . . . P n C Pero como tambin dijimos, la tarea de la lgica es estudiar el anlisis e o a formal de validez o invalidez de las inferencias. Esto signica que el anlisis a formal nos permite simbolizar las inferencias en esquemas moleculares y demostrar con seguridad su validez o invalidez. Si la premisa o la conjuncin de o premisas implican a la conclusin, la inferencia ser vlida. o a a Ejemplos:
1.6. LA INFERENCIA
p V V F F q V F V F p V F V V 1 q F F F V F V F V q V V V V F F V V p
25
3 2
5 4
Figura 1.15: Una inferencia vlida. a (1) Si Julieta es espaola entonces es acionada a la esta brava. Pero, Jun lieta no es acionada a la esta brava. Por lo tanto, no es espaola. n Simbolizando: Julieta es espaola = p n Julieta es acionada a la esta brava = q pq q p
Mathematica
Luego, sometiendo a la tabla de valores dicha inferencia:

In[17]:= Out[17]=
TruthTable[(p q) q p, ColumnNumbers True] Ver Fig. 1.15
Como el resultado es una tautolog la conjuncin de premisas implica a a, o la conclusin, por lo tanto la inferencia es vlida. o a El mismo procedimiento seguiremos para demostrar la validez o la invalidez de las inferencias. A continuacin ofrecemos ms ejemplos. o a (2) Como es hora laborable, se concluye que en el juzgado hay jueces y testigos, dado que, si es hora laborable, en el juzgado hay jueces, y hay testigos si en el juzgado hay jueces. Simbolizando: Es hora laborable = p En el juzgado hay jueces = q En el juzgado hay testigos = r p pq qr qr
26
p V V V V F F F F q V V F F V V F F r V F V F V F V F p

p V V F F F F F F 2 V V F F V V V V 1 q V F F F F F F F 4 q V F V V V F V V 3 r V V V V V V V V 6 q V F F F V F F F 5 r
Figura 1.16: Una inferencia vlida. a En los casos en que las premisas forman dos o ms conjunciones, cualquiera a de ellas puede ser considerada como la principal para los efectos de la aplicacin o de la tabla de valores. Esto se ha hecho en el ejemplo (2) en que se ha tomado la ultima conjuncin como la principal del antecedente. o
Mathematica
Tabla de valores de la inferencia.
TruthTable[(p(p q))(q r) (qr), ColumnNumbers True] Out[18]= Ver Fig. 1.16

In[18]:=
La inferencia es vlida. a (3) Si el galen no trae piratas entonces el capitn ha muerto o est prisioo a a nero. Pero el capitn no ha muerto ni est prisionero. En consecuencia, a a el galen trae piratas. o Simbolizando: El galen trae piratas = p o El capitn ha muerto = q a El capitn est prisionero = r a a p (q r) qr p
Mathematica
TruthTable[(p (q r)) (q r) p, ColumnNumbers True] Out[19]= Ver Fig. 1.17

In[19]:=
La inferencia es vlida. a
1.6. LA INFERENCIA
p V V V V F F F F q V V F F V V F F r V F V F V F V F p F F F F V V V V 1 V V V V V V V F 3 q V V V F V V V F 2 r F F F V F F F F 7 F F V V F F V V 4 q F F F V F F F V F V F V F V F V r V V V V V V V V 8 p
27
6 5
Figura 1.17: Una inferencia vlida. a

1 2 3 4 5 6 7 8 p V V V V F F F F q V V F F V V F F r V F V F V F V F p V V F F F F V V 1 q V F F F F F V F 2 r V V V V V V F V 4 r V V F V V V F V 3 q
Figura 1.18: Una inferencia invlida (Note la l a nea 7 del resultado). (4) Smith es profesional si y slo si es graduado universitario. Ocurre que o Smith es mdico. Por lo tanto, si Smith es mdico entonces es graduado e e universitario. Simbolizando: Smith es profesional = p Smith es graduado universitario = q Smith es mdico = r e pq r rq
Mathematica

In[20]:=
Out[20]=
TruthTable[(p q) r (r q), ColumnNumbers True, RowNumbers True] Ver Fig. 1.18
La inferencia es invlida. a
28
p V V V V V V V V F F F F F F F F q V V V V F F F F V V V V F F F F r V V F F V V F F V V F F V V F F s V F V F V F V F V F V F V F V F p V V V V F F F F V V V V V V V V 1

q V V F F F F F F V V F F V V V V 3 q V V F F V V V V V V F F V V V V 2 r V F F F F F F F V F F F V F V V 5 r V F V V V F V V V F V V V F V V 4 s V V V V V V V V V V V V V V V V 7 p V F V F V F V F V V V V V V V V 6 s
Figura 1.19: Una inferencia vlida. a (5) Si un satlite gira alrededor de la Luna, entonces gira tambin alrededor e e de la Tierra. Y si gira alrededor de la Tierra, tambin gira alrededor del e Sol. Y, si gira alrededor del Sol, entonces gira alrededor de la constelacin o de la Lira. En consecuencia, si un satlite gira alrededor de la Luna, e entonces gira alrededor de la constelacin de la Lira. o Simbolizando: Un satlite gira alrededor de la Luna = p e El satlite gira alrededor de la Tierra = q e El satlite gira alrededor del Sol = r e El satlite gira alrededor de la constelacin de la Lira = s. e o pq qr rs ps
Mathematica

In[21]:=
Out[21]=
TruthTable[((p q) (q r)) (r s) (p s), ColumnNumbers True] Ver Fig. 1.19
La inferencia es vlida. a La tabla de valores resulta laboriosa para determinar la validez o invalidez de una inferencia. Para evitar esta combinacin de valores de verdad y falsedad o
1.7. EL METODO ABREVIADO
29
en el esquema de una inferencia se puede usar un procedimiento ms simple, a que consiste en probar si la unica posibilidad de falsedad que invalidar la a implicacin se cumple o no.; si se cumple esta posibilidad no hay implicacin; o o en caso contrario la premisa o la conjuncin de premisas, implicar a la cono a clusin, por tanto la inferencia ser vlida. Este procedimiento es el mtodo o a a e abreviado.
1.7.
El mtodo abreviado e
Es un procedimiento que nos evita el laborioso trabajo de la tabla de valores en el anlisis de validez o invalidez de las inferencias. Segn este mtodo a u e suponemos que la premisa o la conjuncin de premisas es verdadera y la cono clusin falsa, unica posibilidad que invalida la implicacin. Si no se prueba esta o o posibilidad la inferencia ser vlida. a a P1 P2 . . . Pn V V V C F
La prueba de este mtodo consiste en aplicar las siguientes reglas de opee racin (i y ii) y de decisin (iii y iv): o o i. Asignar el valor de verdad a cada una de las premisas y de falsedad a la conclusin. o ii. Deducir el valor de cada una de las variables proposicionales en funcin o de las reglas veritativas. iii. Si cada una de las variables cumple una sola funcin veritativa, se habr deo a mostrado que la premisa o conjuncin de premisas es verdadera y la o conclusin falsa; por lo tanto, la inferencia ser invalida. o a iv. Basta que una variable tenga los valores de verdad y falsedad a la vez, para demostrar que es imposible que la premisa o la conjuncin de preo misas sea verdadera y la conclusin falsa. Por lo tanto, hay implicacin o o y la inferencia ser vlida. a a Ejemplos: (1) Smith es profesional si y slo si es graduado universitario. Ocurre que o Smith es mdico. Por lo tanto, si Smith es mdico entonces es graduado e e universitario. Simbolizando: Smith es profesional = p Smith es graduado universitario = q Smith es mdico = r e
30
CAP ITULO 1. INTRODUCCION A LA LOGICA pq r rq Por la regla (i) se tiene: (p q) r V V Luego, por (ii) se obtiene: (p q) r F V F V (r q) V F F (r q) F
(2) Mas ser encontrado culpable si hoy rinde testimonio, puesto que si as a hoy rinde testimonio dir la verdad, y Mas no ser encontrado culpable a as a si no dice la verdad. Simbolizando: Mas ser encontrado culpable = p as a Mas hoy rinde testimonio = q as Mas dir la verdad = r as a qr r p qp Aplicando la regla (i) se tiene: (q r) ( r p) (q p) V V F Luego, por la regla (ii) se obtiene: (q r) ( r V V V V V p) (q p) V V F V F F
En (1), el procedimiento para obtener el valor de cada una de las variables consiste en aplicar la regla de los operadores proposicionales, segn sea el caso, u a partir de los valores que han sido asignados segn la regla (i). Se inicia la u deduccin del valor del operador que ofrece una sola posibilidad de aplicarse la o regla veritativa. En nuestro ejemplo (r q) es F , y como la unica posibilidad para que el condicional sea F es, que el antecedente sea V y el consecuente F , nos permite deducir el valor V para r y F para q.

p V V V V F F F F q V V F F V V F F r V F V F V F V F q V F V V V F V V 1 r V F V F V F V V 5 F V F V F V F V 2 r V F V F V V V V F F F F V V V V p V V V V F V V V 7 q V V V V F F V V 6 p
31
1 2 3 4 5 6 7 8
4 3
Figura 1.20: Esta tabla muestra que la l nea 5 invalida la implicacin. o Una vez obtenido el valor de una variable y si sta variable se repite en el e esquema, se debe trasladar el mismo valor si y slo si no haga variar el valor o del operador inmediato. En nuestro ejemplo el valor F de q ha sido trasladado al miembro del bicondicional (p q) lo que nos permite deducir el valor F de p segn la regla del bicondicional. Ntese, si no se traslada el valor de q, hay u o dos posibilidades para que el bicondicional sea V . Por la regla (iii) decidimos que la inferencia es invlida. Esto es, se ha a demostrado el supuesto que la conjuncin de premisas es verdadera y la cono clusin falsa (ver en la inferencia 4 de la seccin 1.6, donde la sptima l o o e nea de valores invalida la implicacin). o El procedimiento es el mismo en (2) y para demostrar cualquier inferencia por este mtodo. Dado que, a diferencia del ejemplo anterior no se tiene una e tabla que permita corroborar los resultados previos, utilizaremos Mathematica para este n.
Mathematica
Comprobacin del resultado obtenido con el mtodo abreviado. o e

In[22]:=
Out[22]=
TruthTable[(q r) ( r p) (q p), RowNumbers True, ColumnNumbers True] Ver Fig. 1.20
A continuacin citamos ms ejemplos. o a (3) Como es hora laborable, se concluye que en el juzgado hay jueces y testigos, dado que, si es hora laborable, en el juzgado hay jueces, y hay testigos si en el juzgado hay jueces. Simbolizando: Es hora laborable = p En el juzgado hay jueces = q En el juzgado hay testigos = r
32
CAP ITULO 1. INTRODUCCION A LA LOGICA p pq qr qr p (p q) r) r) (q (q V F V V V V V V F V
En este ejemplo (3) no se puede seguir trasladando el valor V de q porque har cambiar el valor F del conjuntivo. Entonces para mantener el valor del a conjuntivo, q necesariamente tiene que ser F . Por la regla (iv) decidimos que la inferencia es vlida, dado que la variable a q tiene los valores de verdad y falsedad a la vez, que imposibilita que la conjuncin de premisas sea verdadera y la conclusin falsa (ver la inferencia 2 de o o la seccin 1.6 donde se demuestra la validez por la tabla de valores). o (4) La luz no est encendida, si y slo si no hay alguien en casa o los de a o casa han salido a pasear. Si los de casa han salido a pasear entonces han ido a una funcin teatral. En consecuencia, si los de casa han ido a una o funcin teatral, la luz no est encendida. o a Simbolizando: La luz est encendida = p a Hay alguien en la casa = q Los de casa han salido a pasear = r Los de casa han ido a una funcin teatral = s o p ( q r) rs s p ( p ( q F V V F V r)) (r s) (s p) V F F V V V F F V
La inferencia no es vlida. a
Mathematica

In[23]:=
Out[23]=
TruthTable[( p ( q r)) (r s) (s p), RowNumbers True, ColumnNumbers True] Ver Fig. 1.21

p V V V V V V V V F F F F F F F F q V V V V F F F F V V V V F F F F r V V F F V V F F V V F F V V F F s V F V F V F V F V F V F V F V F p F F F F F F F F V V V V V V V V 1 F F V V F F F F V V F F V V V V F F F F V V V V F F F F V V V V q V V F F V V V V V V F F V V V V 3 r F F V V F F F F V F F F V F V V 6 r V F V V V F V V V F V V V F V V 5 s V V F V V V V V V V V V V V V V 9 s F V F V F V F V V V V V V V V V F F F F F F F F V V V V V V V V p
33
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16
4 2
8 7
Figura 1.21: Esta tabla muestra que la l nea 3 invalida la implicacin. o (5) Jones es el director de una empresa si tiene el mayor nmero de acciones, u y si tiene el mayor nmero de acciones, o es un economista o tiene mucho u dinero. No es el caso que Jones no tenga el mayor nmero de acciones o u no tenga mucho dinero. En consecuencia, si es un economista, Jones es el director de una empresa si tiene mucho dinero. Simbolizando: Jones Jones Jones Jones es el director de una empresa = p tiene el mayor nmero de acciones = q u es un economista = r tiene mucho dinero = s qp q (r s) ( q s) r (s p) (q p) V V V (r V F (s V (q (r s)) ( q V V F V s) F F V
p)) F F
34
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 p V V V V V V V V F F F F F F F F q V V V V F F F F V V V V F F F F r V V F F V V F F V V F F V V F F s V F V F V F V F V F V F V F V F q V V V V V V V V F F F F V V V V 1 p V V V F V V V V F F F F V V V V 4

q V V V F V V V V V V V F V V V V 3 r V V V F V V V F V V V F V V V F 2 s V F V F F F F F F F F F F F F F V F V F F F F F V F V F F F F F F F F F V V V V F F F F V V V V 5 q F V F V V V V V F V F V V V V V F V F V F V F V F V F V F V F V s V V V V V V V V V V V V V V V V 12 r V V V V V V V V F V V V F V V V 11 s V V V V V V V V F V F V F V F V 10 p
9 8
7 6
Figura 1.22: Esta tabla muestra que la implicacin es vlida. o a
Mathematica

In[24]:=
Out[24]=
TruthTable[( p ( q r)) (r s) (s p), RowNumbers True, ColumnNumbers True] Ver Fig. 1.22
En el mtodo abreviado es importante slo encontrar si una variable tiene e o los valores de verdad o falsedad a la vez para decidir que la inferencia es vlida. a
Ejercicio 5
Por la tabla de valores o el mtodo abreviado, decida si es vlida o no cada e a una de las siguientes inferencias: 1) Si Newton dice la verdad entonces la leyes de la mecnica son exactas. a Newton dice la verdad. En consecuencia, las leyes de la mecnica son a exactas. 2) Si el automvil sufri desperfectos en el camino entonces Rosa llegar taro o a de a su compromiso. Pero, Rosa no llegar tarde a su compromiso. Por a lo tanto, si el automvil sufri desperfectos en el camino entonces Rosa o o viaj en taxi. o 3) La sociedad est descontenta si y slo si no hay cambio social. En cona o secuencia, si la sociedad est descontenta hay revolucin o hay cambio a o social.
35
4) Smith es el director de una empresa si tiene el mayor nmero de acciones; u y, si tiene el mayor nmero de acciones, o es un economista o tiene u mucho dinero. Ocurre que Smith tiene el mayor nmero de acciones. En u consecuencia, o es un economista o tiene mucho dinero. 5) El arma del delito ser descubierta si la huella es autntica, puesto que, a e si la huella es autntica, el motivo del crimen fue el robo, y el arma del e delito ser descubierta si el motivo del crimen fue el robo. a 6) Hay humo en la montaa; por lo tanto, hay fuego y habitantes; puesto n que, si hay humo hay fuego, y hay habitantes en la montaa si hay fuego. n 7) No es el caso que la produccin minera no crezca y no haya divisas en o el pa dado que, si la produccin minera decrece, o no hay inversin de s; o o capitales o hay problemas con los trabajadores; y, hay problemas con los trabajadores, si los pol ticos mienten o no hay inversin de capitales; y, o los pol ticos mienten si no hay divisas en el pa s. 8) Maana viene Armando; luego, si no viene, viaja a Chile si consigue n pasaje. 9) Se conservar el mismo volumen de produccin si la reforma agraria no a o da buenos resultados, dado que o la reforma agraria da buenos resultados si todas las tierras son explotadas, o se conservar el mismo volumen de a produccin si todas las tierras no son explotadas. o 10) Carnades vino en auxilio de los epicreos si y slo si, o hab hecho e u o a causa comn contra los estoicos o con el pretexto de lucir su virtuosidad u dialctica. Pero Carnades no hab hecho causa comn contra los estoie e a u cos. De ah que, vino con el pretexto de lucir su virtuosidad dialctica a e la vez que en auxilio de los epicreos. u 11) O la Matemtica es exacta si es un sistema axiomtico, o la Geometr a a a es exacta si Euclides no se equivoc. Ocurre que, la Matemtica y la o a Geometr son exactas. En consecuencia la Matemtica es un sistema a a axiomtico a la vez que Euclides no se equivoc. a o 12) La F sica es exacta, si y slo si Tolomeo no dice la verdad o Coprnico o e tiene la razn; pero, el movimiento de los planetas no es el o ptico si Tolomeo dice la verdad; de ah que, si el movimiento de los planetas no es el ptico, la Tierra no es plana; puesto que, la Tierra es plana a la vez que Coprnico no tiene la razn, si la F e o sica no es exacta. 13) La luz no est encendida, si y slo si no hay alguien en casa o los de casa a o han salido a pasear. Si los de casa han salido a pasear entonces han ido a una funcin teatral. De ah que, si la luz no est encendida, los de casa o a han salido a pasear si han ido a una funcin teatral. o
36
14) Si los f sicos dicen la verdad, el movimiento que describen los astros es el ptico y la frmula de la gravedad es exacta. Pero, si los f o sicos no dicen la verdad, ni la frmula de la gravedad ni la frmula de la velocidad de o o la luz son exactas. De modo que, si las frmulas de la gravedad y de la o velocidad de la luz son exactas, el movimiento que describen los astros es el ptico. 15) Acercarnos al verdad y establecer una correspondencia entre las distancias de los astros, supone que, o las almas que mueven a los planetas son menos activas o existe un alma motora en el centro de todas las rbitas. o Kepler crey en la existencia del alma de la Tierra. De ah que, si Kepler o crey en la existencia del alma de la Tierra, no nos acercamos a la verdad o ni existe un alma motora en el centro de todas las orbitas.
1.8.
Principios lgicos o
Pruebas formales en la lgica proposicional. Las pruebas formales son o procedimientos mecnicos para demostrar si un esquema molecular es o no a lgicamente verdadero, o para demostrar si la conclusin de una inferencia se o o deriva lgicamente de sus premisas. Esta demostracin se efecta con ayuda de o o u las tautolog tautolog que son especialmente utiles para este propsito. as, as o Como hemos visto en la seccin 1.4, un esquema molecular es una tautolog o a cuando aplicada la tabla de valores tienen como resultado que todos sus valores son verdaderos. En la lgica tradicional son conocidas las tautolog con el nombre de o as principios lgicos y son los siguientes: o Principio de identidad. Segn este principio, una proposicin slo es idntiu o o e ca a s misma. Formalmente se expresa por: pp y pp Principio de no contradiccin. Segn este principio, es imposible que una o u proposicin sea verdadera y falsa a la vez. o Formalmente se expresa por: (p p) Principio del tercio excluido. Segn este principio, una proposicin o es u o verdadera o es falsa; no hay una tercera posibilidad. Se expresa por la siguiente frmula: o
1.9. EQUIVALENCIAS NOTABLES p p
37
Estas tautolog no son las unicas, dado que el nmero de tautolog as u as es innito. Las tautolog que vamos a usar son aqullas que tienen especial as e utilidad, y las vamos a clasicar en tautolog llamadas equivalencias notables as y las llamadas implicaciones notables. Todas estas tautolog se conocen con as el nombre de Leyes lgicas. Una forma proposicional es una ley lgica si y slo o o o si cualquiera que sea la interpretacin formalmente correcta que se haga de la o misma, se obtiene como resultado una verdad lgica. o
1.9.
Equivalencias notables
Las equivalencias notables son leyes lgicas para transformar esquemas o proo posiciones y obtener sus respectivas equivalencias. Esto implica que uno de los equivalentes se deduce lgicamente del otro. A continuacin estudiaremos las o o equivalencias ms importantes: a
1.9.1.
La doble negacin (DN) o

( p) p
Segn esta ley dos negaciones de igual alcance equivalen a una armacin. u o Ejemplos: (1) No es el caso que no todos los hombres sean racionales, equivale a todos los hombres son racionales. (2) Es falso que Descartes no sea francs equivale a Descartes es francs. e e
1.9.2.
La idempotencia (Idem)
a) b) ppp ppp
Las variables redundantes en una cadena de conjunciones o, tambin, en e una cadena de disyunciones, se eliminan. Ejemplos: (1) Pedro estudia, y Pedro trabaja y estudia, equivale a Pedro estudia y trabaja. (2) Pedro estudia o, Pedro trabaja o estudia, equivale a Pedro estudia o trabaja.
38
1.9.3.
La conmutacin (Conm.) o
a) b) c) pq qp pq qp pqqp
Segn estas leyes, si en las proposiciones conjuntivas, disyuntivas y bicondiu cionales se permutan sus respectivos componentes, sus equivalentes signican lo mismo. Ejemplos: (1) La pizarra es negra y la tiza es blanca equivale a la tiza es blanca y la pizarra es negra. Cabe destacar que en algunos casos el trmino y que conecta proposie ciones no cumple con la ley conmutativa. En este caso, no es una conjuncin o lgica; por ejemplo en: Pedro tom barbitricos y muri, si se conmutan los o o u o componentes de esta proposicin, el equivalente no signica lo mismo. o (2) Ests preocupado o ests enfermo, equivale a ests enfermo o ests preoa a a a cupado. (3) Daniel viajar al espacio sideral si y slo si es un astronauta, equivale a a o Daniel es un astronauta si y slo si viajar al espacio sideral. o a
1.9.4.
La asociatividad (Asoc.)
a) b) c) p (q r) (p q) r p (q r) (p q) r p (q r) (p q) r
La ley asociativa del esquema conjuntivo indica que si en un esquema hay ms de una conjuncin con igual jerarqu ellas pueden agruparse indistintaa o a, mente. Ejemplo: (1) (p q) (r s) ( p s) En este esquema hay dos conjunciones con la misma jerarqu Pueden a. agruparse como sigue: (p q) [(r s) ( p s)] o tambin as e : [(p q) (r s)] ( p s) La asociatividad es la misma en el caso de los esquemas disyuntivo y bicondicional.
1.9. EQUIVALENCIAS NOTABLES
39
1.9.5.
La distribucin (Dist.) o
a) b) c) d) p (q r) (p q) (p r) p (q r) (p q) (p r) p (q r) (p q) (p r) p (q r) (p q) (p r)
Segn estas leyes, a) es la distribucin del esquema conjuntivo al disyuntivo, u o que consiste en que uno de los miembros del esquema conjuntivo se distribuye a cada miembro del disyuntivo. El equivalente es una disyuncin de conjunciones. o Ejemplos: (1) p (q r) su equivalente es: ( p q) ( p r) (2) (p q) r su equivalente es: (p r) ( q r) (3) (p q) (r s) su equivalente es: (p r) (p s) (q r) (q s) b) es la distribucin del esquema disyuntivo al conjuntivo que consiste en o que cada miembro del esquema disyuntivo se distribuye en cada miembro del conjuntivo. El equivalente es una conjuncin de disyunciones. o Ejemplos: (4) p ( q r) su equivalente es: (p q) (p r) (5) ( p q) r su equivalente es: ( p r) (q r) (6) (p q) (r s) su equivalente es: (p r) (p s) (q r) (q s)
40
c) es la distribucin del esquema condicional al conjuntivo, donde el anteo cedente del esquema condicional se distribuye en cada miembro del conjuntivo que est en el consecuente. El equivalente es una conjuncin de condicionales. a o Ejemplos: (7) p (q r) su equivalente es: ( p q) ( p r) (8) (p r) (q s t) su equivalente es: [(p r) q] [(p r) s] [(p r) t] d) es la distribucin del esquema condicional al disyuntivo donde el anteo cedente del esquema condicional se distribuye a cada miembro del disyuntivo que est en el consecuente. El equivalente es una disyuncin de condicionales. a o Ejemplos: (9) p ( s q) distribuyendo se tiene: (p s) (p q) (10) p ( s t q) distribuyendo se tiene: ( p s) ( p t) ( p q)
1.9.6.
Leyes de De Morgan (D.M.)

a) b) c) d) p q ( p q) p q ( p q) (p q) p q (p q) p q
Se obtienen los equivalentes por la leyes de De Morgan negando las proposiciones conjuntivas o disyuntivas y cambiando la conjuncin a disyuncin, o o o la disyuncin a conjuncin, y negando cada uno de los componentes. o o Ejemplos: (1) En invierno nieva y hace fr equivale a no es el caso que en invierno no o, nieve o no haga fr o. (2) Hace calor o sofoca equivale a no es el caso que no haga calor y no sofoque.
41
(3) No es el caso que Rubn estudie y trabaje, equivale a Rubn no estudia e e o no trabaja. (4) No es el caso que viajes al sur o te quedes en la capital, equivale a no viajes al sur y no te quedes en la capital. Cuando se va a operar con frmulas aplicando las leyes de De Morgan se o deben tener en cuenta los siguientes pasos: i. Cambiar por o cambiar por . ii. Negar cada componente de la conjuncin o de la disyuncin. o o iii. Negar toda la frmula. o iv. Mantener la jerarqu de los operadores. a Ejemplos: (5) p q equivale a ( p q) y por D.N. se tiene: (p q) (6) [p ( q r)] equivale a [ p ( q r)] y por D.N. se tiene: p (q r) (7) {[p (q r)] s)} equivale a {[ p ( q r)] s} y aplicando D.N. se tiene: [ p ( q r)] s
1.9.7.
Las deniciones del condicional (Def. Cond.)

a) b) p q p q p q (p q)
a) es la denicin del esquema condicional por medio del disyuntivo. Segn o u esta ley, se niega el antecedente y el condicional se cambia por el disyuntivo. Ejemplos: (1) Si Kant es un lsofo entonces es idealista, equivale a Kant no es un o lsofo o es un idealista. o (2) Si Pedro no lleg tarde entonces recibi el telegrama antes del medio d o o a, equivale a, Pedro tarde o recibi el telegrama antes del medio d o a. b) es la denicin del esquema condicional por medio del conjuntivo. Segn o u esta ley, se niega toda la expresin y el esquema condicional se cambia por el o conjuntivo a la vez que se niega el consecuente. Ejemplos: (3) Si Daniel es diplomtico entonces habla ms de un idioma, equivale a, no a a es el caso que Daniel sea un diplomtico y no hable ms de un idioma. a a (4) Si Ada gana el concurso de msica entonces viajar al extranjero, equiu a vale a, no es posible que Ada gane el concurso de msica y no viaje al u extranjero.
42
1.9.8.
Las deniciones del bicondicional (Def. Bicond.)

a) b) p q (p q) (q p) p q (p q) ( p q)
a) indica que un esquema bicondicional puede transformarse en dos condicionales donde uno de los miembros implica a otro y viceversa. Ejemplo: (1) Una gura geomtrica tiene tres angulos si y slo si es un tringulo, e o a equivale a, si una gura geomtrica tiene tres ngulos entonces es un e a tringulo, y si es un tringulo entonces es una gura geomtrica que a a e tiene tres angulos. b) indica que un esquema bicondicional puede transformarse en una disyuncin de conjunciones armando los dos componentes conjuntivamente, o o negando los dos componentes tambin conjuntivamente. e Ejemplos: (2) Un nmero es positivo si y slo si es mayor que cero, equivale a, un u o nmero es positivo y es mayor que cero, o un nmero no es positivo y es u u mayor que cero. (3) Luis no viajar al norte si y slo si el pasaje es caro, equivale a, Luis no a o viajar al norte y el pasaje es caro, o Luis no viajar al norte y el pasaje a a no es caro.
1.9.9.
La denicin del disyuntivo exclusivo (Def. Disy. o Excl.)

p q (p q) (p q)
Un disyuntivo fuerte o exclusivo es equivalente a una expresin donde se o interpreta solamente la verdad de uno de sus miembros, pero nunca de los dos a la vez. Ejemplo: (1) O Smith es un prspero industrial o es un obrero idealista, equivale a, o Smith es un prspero industrial o es un obrero idealista, pero no es el o caso que sea un prspero industrial y un obrero idealista. o
1.9.10.
La absorcin (Abs.) o
a) b) c) d) p (p q) p p (p q) p p ( p q) p q p ( p q) p q
43
a) y c) son la absorcin del esquema conjuntivo al disyuntivo. En este o caso, uno de los miembros del esquema conjuntivo, que es una variable o una cadena de conjunciones, es el esquema absorbente, y el otro miembro, que es una disyuncin o una cadena de disyunciones, es el esquema que se absorbe. o La operacin para deducir el equivalente consiste en aplicar lo siguiente: o i. Si una de las variables del esquema absorbente se repite idnticamente e en la disyuncin o en la cadena de disyunciones, se absorbe toda la o disyuncin o la cadena de disyunciones. o ii. Si una de las variables del esquema absorbente se repite en la disyuncin o o en la cadena de disyunciones, pero ya no igual sino armada o negada, entonces se absorbe solamente la variable que est en la disyuncin o en a o la cadena de disyunciones. Ejemplos: (1) p (q p) Aplicando i se tiene: p (2) p (q p r) Se obtiene el equivalente aplicando i como sigue: p (3) (q r s) p t r Tambin se aplica i y se tiene: e p t r (4) p(q p) El siguiente equivalente se obtiene aplicando ii pq (5) p q r (s q) ( p t) Al efectuar la absorcin se obtiene: o p q r t Aqu se ha aplicado i y ii a la vez. b) y d) constituyen la absorcin del esquema disyuntivo al conjuntivo. A o diferencia de a) y c), el operador principal es y el esquema absorbente es una variable o una cadena de disyunciones, y el esquema donde se absorbe es una conjuncin o una cadena de conjunciones. El procedimiento para deducir o el equivalente es el siguiente:
44
iii. Si una de las variables del esquema absorbente se repite igual en el esquema conjuntivo o en la cadena de conjunciones, se absorbe toda la conjuncin o la cadena de conjunciones. o iv. Si una de las variables del esquema absorbente se repite en la conjuncin o o en la cadena de conjunciones, pero no igual sino armada o negada, entonces se absorbe solamente la variable que est en la conjuncin o en a o la cadena de conjunciones. Ejemplos: (6) p (q p) Aplicando iii se obtiene: p (7) (p q r t) (s r) Tambin aplicando iii se tiene: e s r (8) p ( p p) Aplicando iv se tiene: p q (9) (p r q) s (r s) El siguiente equivalente que se obtiene es por iii y iv sr (10) ( p s) ( t r p) p (t p) Tambin aplicando iii y iv a la vez se tiene: e r p t
1.9.11.
La expansin (Expan.) o
a) b) c) d) p p (q q) p p (q q) p q p (p q) p q q (p q)
a) indica que se puede expandir un esquema con el conjuntivo y un tercio excluido, y segn b) se expande con el disyuntivo y una contradiccin. u o Ejemplos:
1.9. EQUIVALENCIAS NOTABLES (1) p su equivalente por Expan. es: p (r r) (2) s su equivalente por Expand. es: s (r r)
45
La expansin en c) y d) indica que los condicionales pueden ser transo formados en bicondicionales. En el primer caso el antecedente es uno de los miembros del bicondicional y el otro miembro es la conjuncin del antecedente o y el consecuente a la vez. En el segundo caso, el consecuente es uno de los miembros del bicondicional y el otro miembro es la disyuncin del antecedente o y el consecuente. Ejemplos: (3) p r se deduce el equivalente siguiente: p ( p r) (4) (p q) s se deduce el equivalente siguiente: s [(p q) s]
1.9.12.
Las transposiciones (Trans.)

a) b) p q q p p q q p
Estas leyes indican que los miembros de un condicional y un bicondicional pueden ser transpuestos si se niegan cada uno de ellos. Ejemplos: (1) Si Mar viene de visita entonces se quedar a cenar, equivale a, si Mar a a a no se queda a cenar entonces no viene de visita. (2) Obtendr boletos para ir al estadio si y slo si mis amigos son acionados e o al ftbol, equivale a, mis amigos no son acionados al ftbol si y slo si u u o no obtendr boletos para ir al estadio. e
46
1.9.13.
La Exportacin (Exp.) o
(p q) r p (q r)
Ejemplo: (1) Si Pedro es un estudiante universitario y trabaja en una empresa privada, entonces se costea solo sus estudios, equivale a, si Pedro es un estudiante universitario, entonces si trabaja en una empresa privada, se costea solo sus estudios. Como se puede observar, con las leyes lgicas hasta aqu citadas se pueden o efectuar una serie de operaciones lgicas, en especial deducir equivalencias. En o particular usaremos muchas de estas leyes para transformar esquemas moleculares y decidir si una inferencia es vlida o no. a
1.10.
El reemplazo
El reemplazo es un procedimiento formal para demostrar la validez o invalidez de una inferencia. Este procedimiento consiste en utilizar las equivalencias notables para realizar reemplazos en un esquema con la nalidad de simplicarlo tratando de hallar en ste algn principio lgico que permita arribar a una e u o tautolog contingencia o contradiccin. Para tal n usaremos las siguientes a, o reglas, que por s mismas constituyen equivalencias: R1. T Q T R2. T T T R3. T T R4. T Q Q R5. T T T R6. T R7. Q Q R8. T T R9. R10. Q R11. T R12.
donde Q es un esquema contingente cualquiera, T es un esquema tautolgico o y es un esquema contradictorio. Ejemplos: (1) 1) 2) 3) 4) 5) p (q r) p (q r) (r q) Def. Bicond. p [( q r) ( r q)] Def. Cond. p [( q r) ( r q)] DN (p q r) (p r q) Dist.
Este resultado indica que 1) es una contingencia.

Mathematica
Tabla de valores del esquema.

In[25]:= Out[25]=
TruthTable[p (q r), ColumnNumbers True] Ver Fig. 1.23
1.10. EL REEMPLAZO
p V V V V F F F F q V V F F V V F F r V F V F V F V F p F F F F V V V V 1 V V V V V F F V 3 q V F F V V F F V 2 r
47
Figura 1.23: Un esquema contingente.

p V V V V F F F F q V V F F V V F F r V F V F V F V F p F F V V V V V V F F V V F F V V q F F F V V V F V 4 r V V F V V V F V 3 q V V V V V V V V 7 p F V F V V V V V F V F V F V F V r
2 1
6 5
Figura 1.24: Un esquema tautolgico. o (2) 1) 2) 3) 4) 5) 6) 7) [(p q) (r q)] (p r) [( p q) ( r q)] p r ( p q) ( r q) p r (p q) (r q) p r [ p (p q)] [ r (r q)] p q r q T ( p r)
8) T Este resultado indica que 1) es una tautolog a.

Mathematica
Def. Cond. DM DN Conm. y Asoc. Abs. Por Conm., Asoc. y Principio del tercio excluido R1.

In[26]:=
Out[26]=
TruthTable[((p q) (r q)) (p r), ColumnNumbers True] Ver Fig. 1.24
A continuacin mostraremos ejemplos en los cuales se decide si una infeo rencia es vlida o no; para tal efecto simbolizamos la inferencia, la convertimos a en un esquema molecular y utilizamos el procedimiento de rutina.
48 Ejemplos:
(3) Aldo es el autor del crimen, si Michel no miente y Marcela estaba en su casa al medio d Es imposible que Michel mienta o Marcela no est en a. e su casa al medio d En consecuencia, Aldo es el autor del crimen si a. viaj al norte. o Aldo es el autor del crimen = p Michel miente = q Marcela estaba en su casa al medio d = r a Aldo viaj al norte = s o 1) 2) 3) 4) 5) 6) [(( q r) p) (q r)] (s p) [( ( q r) p) (q r)] s p Def. Cond. [ ( q r) p] (q r) s p DM ( q r p) q r s p DN p q r s p Abs. T (q r s) Conm., Asoc. y Principio del tercio excluido 7) T R1
Mathematica

In[27]:=
Out[27]=
TruthTable[(((q r) p) (q r)) (s p), ColumnNumbers True] Ver Fig. 1.25
(4) Jos es un economista si y slo si trabaja en la direccin de nanzas. De e o o ah que, si no trabaja en la direccin de nanzas, ni es economista ni es o acionado al comercio. Jos es economista = p e Jos trabaja en la direccin de nanzas = q e o Jos es acionado al comercio = r e 1) 2) 3) 4) 5) 6) (p q) [ q ( p r)] [(p q) (q p)] [ q ( p r)] Def. Bicond. [( p q) ( q p) q ( p r)] Def. Cond. ( p q) ( q p) q ( p r) DM (p q) (q p) q ( p r) DN p q r Abs.
La inferencia no es vlida. a
1.10. EL REEMPLAZO
p V V V V V V V V F F F F F F F F q V V V V F F F F V V V V F F F F r V V F F V V F F V V F F V V F F s V F V F V F V F V F V F V F V F q F F F F V V V V F F F F V V V V 1 F F F F V V F F F F F F V V F F 2 r V V V V V V V V V V V V F F V V 3 p F F F F V V F F F F F F F F F F F F F F V V F F F F F F V V F F q V V V V F F V V V V V V F F V V F F V V F F V V F F V V F F V V r V V V V V V V V V V V V V V V V 9 s V V V V V V V V F V F V F V F V 8 p
49
7 6
5 4

p V V V V F F F F q V V F F V V F F r p q V V V F V V V F V F F V V F V F F V V V F F V V 1 7 q F F V V F F V V 2 V V F F V V F V F F F F V V V V p F F F F F V F V F V F V F V F V r
6 3
5 4
Figura 1.26: Una inferencia no vlida. a

Mathematica

In[28]:= Out[28]=
TruthTable[(p q) (q (p r)), ColumnNumbers True] Ver Fig. 1.26
Ejercicio 6
A. Demuestre por reemplazo, si cada uno de los siguientes esquemas moleculares son vlidos o no. a 1. (p q) (q p) 2. [( p q) (r q)] (r p) 3. (p q) r
50
CAP ITULO 1. INTRODUCCION A LA LOGICA 4. (p r) [( q r) q] 5. ( p s) [( q r) s] 6. (p s) [(t p) (s p)] 7. [( p s) (r s)] (p r) 8. [(p q) r] [( q r) p] 9. [((p q) (q p)) s] 10. [(( r r) q) ( p r)] B. Demuestre por reemplazo la validez o invalidez de cada una de las siguientes inferencias. 11. No es el caso que Leandro vote en las elecciones y los candidatos no conozcan los problemas de la realidad, dado que Leandro votar en a las elecciones, si y slo si los candidatos no son idealistas y conocen o los problemas de la realidad. 12. En la Edad Media, algunos consideraban el papel del cient co anlogo al del sacerdote; pero otros consideraban el papel del cient a co anlogo al del profeta. En consecuencia, o los romanos ten la a an razn si algunos consideraban el papel del cient o co anlogo al dl a sacerdote, o si los romanos ten la razn, consideraban el papel an o del cient co anlogo al del profeta. a 13. Si la teor de la relatividad es exacta entonces el ter no existe, a e si y slo si la teor de la relatividad es exacta si Einstein dice la o a verdad. Por lo tanto, si el ter existe, Einstein no dice la verdad o e la teor de la relatividad no es exacta. a 14. La exploracin de Marte es importante, si las areas oscuras son o desconocidas o se obtendrn minerales raros, y, si hay slo gases a o txicos, la exploracin de Marte no es importante. Pero, no es el o o caso que no se obtengan minerales raros o no haya gases txicos. o Luego, la investigacin cient o ca explicar el origen del universo si a y slo si las areas oscuras de Marte son conocidas. o 15. Carlos viajar a Alemania, si obtiene buenas notas o no tiene proa blemas familiares. Pero Carlos no viajar a Alemania. Por lo tanto, a tiene problemas familiares y no obtuvo buenas notas. 16. Pitgoras descubri el teorema que lleva su nombre si y slo si fue a o o un gemetra. Luego, si fue un gemetra cre el mtodo matemtico o o o e a y descubri el teorema que lleva su nombre. o 17. Si un nmero par es positivo, entonces no es un nmero decimal u u ni es un nmero primo. Un nmero par es negativo si y slo si es u u o un nmero menor que dos. Si no es un nmero decimal entonces es u u un nmero entero. Por lo tanto, si un nmero no es menor que dos u u entonces es un nmero entero. u
1.11. LAS IMPLICACIONES NOTABLES
51
1.11.
Las implicaciones notables
Las implicaciones notables son leyes lgicas que indican las formas de pasar o lgicamente de las premisas a la conclusin. A continuacin estudiamos las o o o ms importantes. a
1.11.1.
Modus ponendo ponens (MPP)

pq p q
Segn esta ley, si se arma el antecedente de una premisa condicional, se u concluye en la armacin del consecuente. o Ejemplo: (1) Si llueve entonces las pistas estn mojadas. Llueve. Luego, las pistas a estn mojadas. a La misma ley (MPP) se aplica si el antecedente y el consecuente son proposiciones compuestas. Ejemplo: (2) Si los militares valientes se cansan y los pol ticos no son buenos soldados, entonces los militares valientes no estn entrenados o los pol a ticos no conocen la estrategia de la guerra. Los militares valientes se cansan y los pol ticos no son buenos soldados. Por lo tanto, los militares valientes no estn entrenados o los pol a ticos no conocen la estrategia de la guerra. Simbolizando se puede apreciar con ms claridad la forma de MPP. a Los Los Los Los militares valientes se cansan = p pol ticos son buenos soldados = q militares valientes estn entrenados = r a pol ticos conocen la estrategia de la guerra = s (p q) ( r s) p q r s Este es un ejemplo de sustitucin de la forma del razonamiento modus o ponendo ponens: p q, p, q, donde (p q) sustituye a p y ( r s) sustituye a q. Cualquier ejemplo de sustitucin de una forma de razonamiento o vlida es un razonamiento vlido. Del mismo modo se procede en todas la leyes a a lgicas. o
52
1.11.2.
Modus tollendo tollens (MTT)

pq q p
Segn esta ley, si se niega el consecuente de una premisa condicional, se u concluye en la negacin del antecedente. o Ejemplos: (1) Si Luisa gana el concurso de literatura entonces viajar a Par Pero a s. Luisa no viajar a Par Luego, no gan el concurso de literatura. a s. o (2) Si la materia se destruye y Dios existe, entonces la teor de la relatividad a no es exacta. La teor de la relatividad es exacta. Luego, no es el caso a que la materia se destruya y Dios exista.
1.11.3.
Silogismo disyuntivo (SD)

pq p q pq q p
Si negamos uno de los miembros de una premisa disyuncin, se concluye o en la armacin del otro miembro. o Ejemplos: (1) Jorge pasar sus vacaciones en Ica o en Trujillo. Jorge no pasar sus a a vacaciones en Ica. Por lo tanto, pasar sus vacaciones en Trujillo. a (2) Hace fr y llueve, o el festival se celebrar al aire libre. El festival no se o a celebrar al aire libre. Luego, hace fr y llueve. a o
1.11.4.
Simplicacin (Simp) o
pq p pq q
Segn esta ley, de una premisa conjuntiva se puede concluir en cualquiera u de sus miembros. Ejemplos: (1) Platn fue pol o tico y lsofo. Por lo tanto, Platn fue pol o o tico. (2) El cient co no es escptico, pero duda de las verdades absolutas. Por lo e tanto, el cient co duda de las verdades absolutas.
1.11. LAS IMPLICACIONES NOTABLES
53
1.11.5.
Adicin (Ad.) o
p pq
Una disyuncin est implicada por cualquiera de sus miembros. o a Ejemplo: (1) Napolen fue deportado a la isla de Santa Elena. Por lo tanto fue deporo tado a la isla de Santa Elena o fue derrotado por los ingleses.
1.11.6.
Conjuncin (Conj.) o
p q pq
De dos premisas se puede concluir en la conjuncin de ellas. o Ejemplo: (1) Tales nacin en Mileto. Scrates naci en Atenas. Luego, Tales naci en o o o o Mileto y Scrates en Atenas. o
1.11.7.
Silogismo hipottico puro (SHP) e

pq qr pr
Esta ley indica que el condicional es transitivo. Ejemplo: (1) Si Maruja viaja a Trujillo entonces visitar a su t Si visita a su t ena a. a tonces pasar buenas vacaciones. Por lo tanto, si Maruja viaja a Trujillo a pasar buenas vacaciones. a
1.11.8.
Transitividad simtrica (TS) e

pq qr pr
Es la transitividad de bicondicionales. Ejemplo: (1) Un nmero es divisible por dos si y slo si es un nmero par. Es un u o u nmero par si y slo si a cualquier nmero impar se aade la unidad. u o u n Luego, un nmero es divisible por dos si y slo si a cualquier nmero u o u impar se le aade la unidad. n
54
1.11.9.
Dilema constructivo compuesto (DCC)

(p q)(r s) pr qs
Segn esta ley, si en la conjuncin de dos condicionales armamos los dos u o antecedentes disyuntivamente, se puede concluir en la armacin disyuntiva o de los consecuentes. Ejemplo: (1) Si Ral participa en un comit electoral de la universidad entonces los u e estudiantes se enojar con l, y si no participa en un comit electoral a e e de la universidad entonces las autoridades universitarias se enojar con a l. Pero, Ral participar en un comit electoral de la universidad o no e u a e participar. Por lo tanto, los estudiantes o las autoridades universitarias a se enojarn con l. a e
1.11.10.
Dilema destructivo compuesto (DDC)

(p q)(r s) q s p r
Segn esta ley, si negamos los dos consecuentes alternativamente de la u conjuncin d dos condicionales se puede concluir en la negacin alternativa de o o los antecedentes. Ejemplo: (1) Si Alberto dec la verdad, entonces Luis corromp la juventud, y si el a a tribunal lo conden equivocadamente, entonces Alberto no es el culpao ble. Pero Luis no corromp la juventud o Alberto es el culpable. Por a lo tanto, Alberto no dec la verdad o el tribunal no conden a Luis a o equivocadamente. Los dilemas fueron muy usados en la antigua retrica para poner en situao ciones dif ciles al interlocutor en una discusin. o
1.11.11.
La ley del absurdo (RA)

p (q q) p
Si una contradiccin se deduce de un conjunto de premisas ms la negacin o a o de una frmula, por ejemplo p, entonces p es derivable unicamente del o conjunto de premisas.
1.12. LA DERIVACION
55
1.11.12.
La prueba condicional (PC)

pq p (p q)
Segn esta ley, si podemos deducir q de p y de un conjunto de premisas, u entonces podemos deducir p q solamente del conjunto de premisas. Con las equivalencias y las implicaciones notables estudiadas, realizaremos demostraciones de validez de inferencias por el mtodo llamado derivacin. e o
1.12.
La derivacin o
La derivacin es un procedimiento formal para demostrar que la conclusin o o se deduce lgicamente de las premisas o de un conjunto de premisas. Este o procedimiento consiste en obtener la conclusin deseada mediante la aplicacin o o de leyes lgicas en una secuencia nita de pasos. Entonces, dado un conjunto o de premisas, la deduccin lgica debe permitirnos sacar consecuencias que slo o o o lgicamente se siguen de las premisas; en otro trminos, consecuencias que son o e implicadas por las premisas. Por ejemplo, sea el razonamiento: (1) Si Carnades vino en auxilio de los epicreos, entonces hab hecho caue u a sa comn contra los estoicos o vino con el pretexto de su virtuosidad u dialctica. Carnades vino en auxilio de los epicreos, pero no hab hee e u a cho causa comn contra los estoicos. Por lo tanto, vino con el pretexto u de su virtuosidad dialctica. e Para facilitar la demostracin simbolizamos el razonamiento como sigue: o Carnades vino en auxilio de los epicreos = p e u Carnades hab hecho causa comn contra los estoicos = q e a u Carnades vino con el pretexto de su virtuosidad dialctica = r e e p (q r) p q r y luego efectuamos la derivacin: o P1) P2) 3) 4) 5) 6) p (q r) p q// r p qr q r
(2) Simp. (1,3) MPP (2) Simp. (4,5) SD
56
La ultima secuencia es la conclusin de la inferencia que se deseaba demos o trar. Los nmero precedidos por P, en este caso 1 y 2, son premisas y no se u derivan de ninguna otra. En nuestra derivacin las secuencias entre 3 y 6 son o consecuencias de aplicarse las leyes lgicas. o
Mathematica
La tabla de valores del esquema, obtenida con Mathematica, nos permite apreciar el resultado que valida la inferencia.
In[29]:= Out[29]=
TruthTable[(p (q r)) (p q) r, ColumnNumbers True] Ver Fig. 1.27
p V V V V F F F F
q V V F F V V F F
r V F V F V F V F
p V V V F V V V V 2
q V V V F V V V F 1
r F F V F F F F F 5
p F F V V F F F F F F V V F F V V
q V V V V V V V V 6
4 3
Figura 1.27: Una inferencia vlida. a Para derivaciones de esta naturaleza el procedimiento es el mismo. A manera de ilustracin daremos ms ejemplos. o a (2) P1) P2) P3) P4) 5) 6) 7) 8) 9) 10) 11) 12) 13) 14) 15) 16) 17) p ( q s) ( s r) t zp t w// ( w q) p ( q s) q s s sr t (t w) (t w) tw w q q wq ( w q)
(3) Simp. (1,5) MPP (6) DM. (7) Simp. (8) Ad. (2,9) MPP (4) Def. Disy. Exc. (11) Simp. (10,12) SD (7) Simp. (14) DN (13,15) Conj. (16) DM
1.12. LA DERIVACION (3) P1) P2) P3) P4) 5) 6) 7) 8) 9) 10) 11) 12) 13) 14) 15) 16) 17) 18) 19)
Mathematica
57
p (s t) (w z) (r q) (p q) w z// s ( r s) p q p st (w z) (w z) (w w) w z wz rq q q t s r s r s r s (s r) s ( r s)
(3) DM (5) Simp. (1,6) MPP (4) Def. Disy. Exc. (8) Simp. (9) Def. Cond. (10) DN (2,11) MPP (5) Simp. (13) Ad. (7,12,14) DDC (15) Def. Cond. (16) DN (17) Expan. (18) Conm.
In[30]:=
Out[30]=
TruthTable[ (((p (q s)) ((s r) t)) (z p)) (t (w q), ColumnNumbers True] Ver Fig. 1.28
w)
Mathematica
In[31]:=
Out[31]=
TruthTable[ (((p (s t)) ((w z) (r q))) (p q)) (w (s (r s)), ColumnNumbers True] Ver Fig. 1.29
z)
Como se podr ver, deducir la consecuencia depende de la destreza que se a tenga en el manejo de las leyes lgicas; sin embargo, este mtodo tiene serias o e limitaciones, dado que si la conclusin no es consecuencia lgica del conjunto o o de premisas, nunca se obtendr la conclusin deseada. Ms aun, no hay forma a o a
58
p V V V V V V V V V V V V V V V V V V V V V V V V V V V V V V V V V V V V V V V V V V V V V V V V V V V V V V V V V V V V V V V V F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F q V V V V V V V V V V V V V V V V V V V V V V V V V V V V V V V V F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F V V V V V V V V V V V V V V V V V V V V V V V V V V V V V V V V F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F r V V V V V V V V V V V V V V V V F F F F F F F F F F F F F F F F V V V V V V V V V V V V V V V V F F F F F F F F F F F F F F F F V V V V V V V V V V V V V V V V F F F F F F F F F F F F F F F F V V V V V V V V V V V V V V V V F F F F F F F F F F F F F F F F s V V V V V V V V F F F F F F F F V V V V V V V V F F F F F F F F V V V V V V V V F F F F F F F F V V V V V V V V F F F F F F F F V V V V V V V V F F F F F F F F V V V V V V V V F F F F F F F F V V V V V V V V F F F F F F F F V V V V V V V V F F F F F F F F t V V V V F F F F V V V V F F F F V V V V F F F F V V V V F F F F V V V V F F F F V V V V F F F F V V V V F F F F V V V V F F F F V V V V F F F F V V V V F F F F V V V V F F F F V V V V F F F F V V V V F F F F V V V V F F F F V V V V F F F F V V V V F F F F w V V F F V V F F V V F F V V F F V V F F V V F F V V F F V V F F V V F F V V F F V V F F V V F F V V F F V V F F V V F F V V F F V V F F V V F F V V F F V V F F V V F F V V F F V V F F V V F F V V F F V V F F V V F F V V F F V V F F V V F F V V F F V V F F z p V F V F V F V F V F V F V F V F V F V F V F V F V F V F V F V F V F V F V F V F V F V F V F V F V F V F V F V F V F V F V F V F V F V F V F V F V F V F V F V F V F V F V F V F V F V F V F V F V F V F V F V F V F V F V F V F V F V F V F V F V F V F V F V F F F F F F F F F V V V V V V V V F F F F F F F F V V V V V V V V F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F V V V V V V V V V V V V V V V V V V V V V V V V V V V V V V V V V V V V V V V V V V V V V V V V V V V V V V V V V V V V V V V V 4 F F F F F F F F V V V V V V V V F F F F F F F F V V V V V V V V F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F V V V V V V V V F F F F F F F F V V V V V V V V F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F 3 F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F V V V V V V V V V V V V V V V V V V V V V V V V V V V V V V V V F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F V V V V V V V V V V V V V V V V V V V V V V V V V V V V V V V V 1 q

s V V V V V V V V F F F F F F F F V V V V V V V V F F F F F F F F V V V V V V V V V V V V V V V V V V V V V V V V V V V V V V V V V V V V V V V V F F F F F F F F V V V V V V V V F F F F F F F F V V V V V V V V V V V V V V V V V V V V V V V V V V V V V V V V 2 F F F F F F F F F F F F V V V V F F F F F F F F F F F F V V V V F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F V V V V F F F F V V V V V V V V V V V V F F F F V V V V F F F F V V V V F F F F V V V V V V V V V V V V F F F F V V V V 9 F F F F F F F F V V V V V V V V F F F F F F F F V V V V V V V V F F F F F F F F V V V V V V V V F F F F F F F F V V V V V V V V F F F F F F F F V V V V V V V V F F F F F F F F V V V V V V V V F F F F F F F F V V V V V V V V F F F F F F F F V V V V V V V V 5 s V V V V V V V V V V V V V V V V F F F F F F F F V V V V V V V V V V V V V V V V V V V V V V V V F F F F F F F F V V V V V V V V V V V V V V V V V V V V V V V V F F F F F F F F V V V V V V V V V V V V V V V V V V V V V V V V F F F F F F F F V V V V V V V V 6 r F F F F V V V V F F F F V V V V V V V V V V V V F F F F V V V V F F F F V V V V F F F F V V V V V V V V V V V V F F F F V V V V F F F F V V V V F F F F V V V V V V V V V V V V F F F F V V V V F F F F V V V V F F F F V V V V V V V V V V V V F F F F V V V V 8 F F F F V V V V F F F F V V V V F F F F V V V V F F F F V V V V F F F F V V V V F F F F V V V V F F F F V V V V F F F F V V V V F F F F V V V V F F F F V V V V F F F F V V V V F F F F V V V V F F F F V V V V F F F F V V V V F F F F V V V V F F F F V V V V 7 t F F F F F F F F F F F F V F V F F F F F F F F F F F F F V F V F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F 11 z V F V F V F V F V F V F V F V F V F V F V F V F V F V F V F V F V F V F V F V F V F V F V F V F V F V F V F V F V F V F V F V F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F 10 p F F F F F F F F F F F F V F F F F F F F F F F F F F F F V F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F 13 t F F V V V V F F F F V V V V F F F F V V V V F F F F V V V V F F F F V V V V F F F F V V V V F F F F V V V V F F F F V V V V F F F F V V V V F F F F V V V V F F F F V V V V F F F F V V V V F F F F V V V V F F F F V V V V F F F F V V V V F F F F V V V V F F 12 w V V V V V V V V V V V V V V V V V V V V V V V V V V V V V V V V V V V V V V V V V V V V V V V V V V V V V V V V V V V V V V V V V V V V V V V V V V V V V V V V V V V V V V V V V V V V V V V V V V V V V V V V V V V V V V V V V V V V V V V V V V V V V V V V 18 V V F F V V F F V V F F V V F F V V F F V V F F V V F F V V F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F V V F F V V F F V V F F V V F F V V F F V V F F V V F F V V F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F 17 F F V V F F V V F F V V F F V V F F V V F F V V F F V V F F V V F F V V F F V V F F V V F F V V F F V V F F V V F F V V F F V V F F V V F F V V F F V V F F V V F F V V F F V V F F V V F F V V F F V V F F V V F F V V F F V V F F V V F F V V F F V V F F V V 14 w F F V V F F V V F F V V F F V V F F V V F F V V F F V V F F V V V V V V V V V V V V V V V V V V V V V V V V V V V V V V V V V V F F V V F F V V F F V V F F V V F F V V F F V V F F V V F F V V V V V V V V V V V V V V V V V V V V V V V V V V V V V V V V V V 16 F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F V V V V V V V V V V V V V V V V V V V V V V V V V V V V V V V V F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F V V V V V V V V V V V V V V V V V V V V V V V V V V V V V V V V 15 q
1.12. LA DERIVACION
p V V V V V V V V V V V V V V V V V V V V V V V V V V V V V V V V V V V V V V V V V V V V V V V V V V V V V V V V V V V V V V V V F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F q V V V V V V V V V V V V V V V V V V V V V V V V V V V V V V V V F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F V V V V V V V V V V V V V V V V V V V V V V V V V V V V V V V V F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F r V V V V V V V V V V V V V V V V F F F F F F F F F F F F F F F F V V V V V V V V V V V V V V V V F F F F F F F F F F F F F F F F V V V V V V V V V V V V V V V V F F F F F F F F F F F F F F F F V V V V V V V V V V V V V V V V F F F F F F F F F F F F F F F F s V V V V V V V V F F F F F F F F V V V V V V V V F F F F F F F F V V V V V V V V F F F F F F F F V V V V V V V V F F F F F F F F V V V V V V V V F F F F F F F F V V V V V V V V F F F F F F F F V V V V V V V V F F F F F F F F V V V V V V V V F F F F F F F F t V V V V F F F F V V V V F F F F V V V V F F F F V V V V F F F F V V V V F F F F V V V V F F F F V V V V F F F F V V V V F F F F V V V V F F F F V V V V F F F F V V V V F F F F V V V V F F F F V V V V F F F F V V V V F F F F V V V V F F F F V V V V F F F F w V V F F V V F F V V F F V V F F V V F F V V F F V V F F V V F F V V F F V V F F V V F F V V F F V V F F V V F F V V F F V V F F V V F F V V F F V V F F V V F F V V F F V V F F V V F F V V F F V V F F V V F F V V F F V V F F V V F F V V F F V V F F V V F F z V F V F V F V F V F V F V F V F V F V F V F V F V F V F V F V F V F V F V F V F V F V F V F V F V F V F V F V F V F V F V F V F V F V F V F V F V F V F V F V F V F V F V F V F V F V F V F V F V F V F V F V F V F V F V F V F V F V F V F V F V F V F V F V F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F V V V V V V V V V V V V V V V V V V V V V V V V V V V V V V V V V V V V V V V V V V V V V V V V V V V V V V V V V V V V V V V V 1 p V V V V V V V V V V V V V V V V V V V V V V V V V V V V V V V V V V V V V V V V V V V V V V V V V V V V V V V V V V V V V V V V V V V V F F F F V V V V V V V V V V V V F F F F V V V V V V V V V V V V F F F F V V V V V V V V V V V V F F F F V V V V V V V V 3 s V V V V F F F F V V V V V V V V V V V V F F F F V V V V V V V V V V V V F F F F V V V V V V V V V V V V F F F F V V V V V V V V V V V V F F F F V V V V V V V V V V V V F F F F V V V V V V V V V V V V F F F F V V V V V V V V V V V V F F F F V V V V V V V V 2 t V V V V V V V V V V V V V V V V V V V V V V V V V V V V V V V V F V F F F V F F F V F F F V F F V V V V V V V V V V V V V V V V V V V V F F F F V V V V V V V V V V V V F F F F V V V V V V V V F V F F F F F F F V F F F V F F V V V V F F F F V V V V V V V V 7 w V F V V V F V V V F V V V F V V V F V V V F V V V F V V V F V V V F V V V F V V V F V V V F V V V F V V V F V V V F V V V F V V V F V V V F V V V F V V V F V V V F V V V F V V V F V V V F V V V F V V V F V V V F V V V F V V V F V V V F V V V F V V V F V V 4 z V V V V V V V V V V V V V V V V V V V V V V V V V V V V V V V V F V F F F V F F F V F F F V F F V V V V V V V V V V V V V V V V V V V V V V V V V V V V V V V V V V V V V V V V V V V V V V V V F V F F F V F F F V F F F V F F V V V V V V V V V V V V V V V V 6 r V V V V V V V V V V V V V V V V V V V V V V V V V V V V V V V V F F F F F F F F F F F F F F F F V V V V V V V V V V V V V V V V V V V V V V V V V V V V V V V V V V V V V V V V V V V V V V V V F F F F F F F F F F F F F F F F V V V V V V V V V V V V V V V V 5 q F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F V F F F F F F F V F F F V F F V V V V F F F F V V V V V V V V 10 F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F V V V V V V V V V V V V V V V V V V V V V V V V V V V V V V V V 9 p V V V V V V V V V V V V V V V V V V V V V V V V V V V V V V V V V V V V V V V V V V V V V V V V V V V V V V V V V V V V V V V V V V V V V V V V V V V V V V V V V V V V V V V V V V V V V V V V F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F 8 q F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F V F F V F F F F V F F V V F F V 13 w V F F V V F F V V F F V V F F V V F F V V F F V V F F V V F F V V F F V V F F V V F F V V F F V V F F V V F F V V F F V V F F V V F F V V F F V V F F V V F F V V F F V V F F V V F F V V F F V V F F V V F F V V F F V V F F V V F F V V F F V V F F V V F F V 12 F V F V F V F V F V F V F V F V F V F V F V F V F V F V F V F V F V F V F V F V F V F V F V F V F V F V F V F V F V F V F V F V F V F V F V F V F V F V F V F V F V F V F V F V F V F V F V F V F V F V F V F V F V F V F V F V F V F V F V F V F V F V F V F V 11 z V V V V V V V V V V V V V V V V V V V V V V V V V V V V V V V V V V V V V V V V V V V V V V V V V V V V V V V V V V V V V V V V V V V V V V V V V V V V V V V V V V V V V V V V V V V V V V V V V V V V V V V V V V V V V V V V V V V V V V V V V V V V V V V V 17 s F F F F F F F F V V V V V V V V V V V V V V V V V V V V V V V V F F F F F F F F V V V V V V V V V V V V V V V V V V V V V V V V F F F F F F F F V V V V V V V V V V V V V V V V V V V V V V V V F F F F F F F F V V V V V V V V V V V V V V V V V V V V V V V V 16 F F F F F F F F F F F F F F F F V V V V V V V V V V V V V V V V F F F F F F F F F F F F F F F F V V V V V V V V V V V V V V V V F F F F F F F F F F F F F F F F V V V V V V V V V V V V V V V V F F F F F F F F F F F F F F F F V V V V V V V V V V V V V V V V 14
59
r F F F F F F F F F F F F F F F F V V V V V V V V F F F F F F F F F F F F F F F F F F F F F F F F V V V V V V V V F F F F F F F F F F F F F F F F F F F F F F F F V V V V V V V V F F F F F F F F F F F F F F F F F F F F F F F F V V V V V V V V F F F F F F F F 15 s
60
de detener la secuencia de pasos. En consecuencia, este mtodo slo prueba e o cuando la premisa o el conjunto de premisas implica la conclusin. o
Ejercicio 7
A. Efecte una deduccin de las conclusiones que se siguen de los conjuntos u o de premisas que aparecen a continuacin, indicando el nmero de cada o u paso, la justicacin de cada l o nea mediante la abreviatura de la ley utilizada y los nmeros de la s l u neas de las que se deduce cada paso. Cabe indicar que todos los razonamientos propuestos para derivaciones son vlidos. a 1. P1) p (q r) P2) p q// r 2. P1) ( q r) s P2) p q P3) p r// s 3. P1) p ( q r) P2) (p s) P3) s r// q 4. P1) (r p) (s r) P2) p r P3) t p// t s 5. P1) p (q r) P2) p (s t) p3) (p r)// q ( s q) 6. P1) (p q) P2) r ( p q) P3) ( p q) s// q ( r s) 7. P1) P2) P3) P4) 8. P1) P2) P3) P4) 9. P1) P2) P3) P4) ( r p) t ( t q) s s (s q) p (r p)// q p (q s) q (t r) ( s w) z (r p)// w z ( p r) s (z w) (t q) (s r) (w q) t q// t (z t)
1.12. LA DERIVACION 10. P1) P2) P3) P4) (p q) (r s) t ( s k) w (q k) ( t p)// z ( w t)
61
11. P1) p q P2) q P3) p s// s 12. P1) p r P2) (q r) p// q 13. P1) p (r s) P2) p ( s q) P3) p// r q 14. P1) p (s t) P2) s p P3) ( p t) r// r q 15. P1) P2) P3) P4) (r q) p (t p) sz ( r s)// q z
16. P1) (p r) t P2) (r p) q P3) (s q)// t p 17. P1) P2) P3) P4) 18. P1) P2) P3) P4) P5) 19. P1) P2) P3) P4) q (r s) (z s) (t z) (s r) ( p q) q// r t rq p s (t z) ( s p) [r (q r)] (t p) (p s) q// (z q) p ( q r) t s [(r p) ( s t)] p ( q k)// q k
20. P1) p q P2) s ( t p) P3) p (r t)// q s B. Demuestre por derivacin la validez de cada una de las siguientes infeo rencias:
62
CAP ITULO 1. INTRODUCCION A LA LOGICA 21. Si el testigo dice la verdad entonces Pepe estaba en su casa antes del medio d pero si Pepe pas el d en el club entonces no estaba a; o a en su casa antes del medio d Pepe pas el d en el club. Por lo a. o a tanto, el testigo no dice la verdad. 22. Si Carmen es acionada a la msica o al teatro, entonces asiste a u los conciertos. Si Carmen no es acionada al teatro, es pianista o es compositora de zarzuelas. Carmen no es pianista ni asiste a los conciertos. Luego, es compositora de zarzuelas. 23. Los helados son caros, si y slo si se venden en las estas o se venden o en las playas. Si hace mucho fr entonces los helados no son caros, o y si los helados no son dulces entonces no se venden en las estas. Pero, no es el caso que no haga mucho fr y los helados sean dulces. o Por lo tanto, los helados no se venden en las estas o no se venden en las playas. 24. Si en la luna no hay ox geno, entonces no hay agua ni aire. Si no hay ox geno ni hay agua, entonces no hay plantas. No es el caso que en la luna haya ox geno o no haya plantas. En consecuencia, la luna est hecha de queso verde. a 25. Si los fenmenos de la naturaleza son observables, entonces el conoo cimiento emp rico es exacto si la ciencia posee instrumentos poderosos. El mtodo cient e co es universal si y slo si la ciencia fctica o a informa sus investigaciones. No es el caso que la ciencia fctica ina forme sus investigaciones y el conocimiento emp rico sea exacto. Los fenmenos de la naturaleza son observables. En consecuencia, si el o mtodo cient e co es universal entonces la ciencia no posee instrumentos poderosos. 26. Si los artefactos elctricos son caros, entonces hay devaluacin o e o no hay control de precios. Si no hay control de precios entonces la sociedad no est contenta. Si no hay revolucin, entonces la sociedad a o est contenta o hay cambio social. Si hay revolucin entonces los a o pol ticos mienten. De ah que, si los artefactos elctricos son caros e y los pol ticos no mienten, entonces hay devaluacin o hay cambio o social. 27. El psiquiatra se equivoc en el diagnstico, o Elena sufre de delirio o o de persecucin si no est sonmbula. Si Elena sufre de delirio de o a a persecucin, entonces ser internada en el nosocomio si es psicpata. o a o Pero, el psiquiatra no se equivoc en el diagnstico y Elena sufre o o de delirio de persecucin. Por lo tanto, Elena no es psicpata o o o est sonmbula; puesto que, no es el caso que sufra de delirio de a a persecucin y sea internada en el nosocomio. o 28. Rolando viajar al norte, si y slo si es un delegado estudiantil y a o no tiene exmenes en la universidad. Si Rolando no viaja al norte, a
1.13. LA PRUEBA POR REDUCCION AL ABSURDO
63
entonces si no es un delegado estudiantil, no representar a los esa tudiantes en el congreso. Rolando tiene exmenes en la universidad, a sin embrago representar a los estudiantes en el congreso. En cona secuencia, representar a los estudiantes en el congreso si y slo si a o es un delegado estudiantil. 29. Si es un nmero primo entonces es una fraccin negativa, y si es un u o nmero par entonces es un nmero mayor que cero. Si un nmero u u u no es una fraccin positiva o es mayor que cero, entonces un nmero o u es divisible por dos pero no es un nmero primo. No es cierto que u sea un nmero impar y no sea un nmero primo. De ah que, si no u u es un nmero decimal, entonces no es un nmero primo pero es un u u nmero divisible por dos. u 30. Si es un nmero primo, entonces o es indivisible por dos o no es u una fraccin positiva. Un nmero es divisible por dos si y slo si es o u o un nmero par. Si es una fraccin negativa, ni es un nmero mayor u o u que cero ni es un nmero decimal. No es el caso que sea un nmero u u impar o no sea un nmero mayor que cero. En consecuencia, si un u nmero no es indivisible por dos o es un nmero primo, entonces u u no es un nmero impar ni es un nmero primo. u u
1.13.
La prueba por reduccin al absurdo o
Esta prueba consiste en negar la conclusin e introducirla como premisa adio cional al conjunto de premisas ya dadas, y de ellas derivar una contradiccin. o La consecucin de la contradiccin en la secuencia de pasos indicar que el o o a conjunto de premisas ya dadas implica la conclusin. o Esto es, si una contradiccin es derivable de P (conjunto de premisas) ms o a la negacin de una frmula C (conclusin), entonces C se deduce lgicamente o o o o de P. O sea, si de P y C se deduce una contradiccin (p p), entonces se o tiene C (p p), y por la ley del absurdo (ver subseccin 1.11.11), se o concluye en C, que a su vez es lo mismo que C por DN. Para desarrollar las pruebas por reduccin al absurdo se siguen los siguieno tes pasos: i. introducir como una nueva premisa la negacin de la conclusin deseada. o o ii. Deducir una contradiccin del conjunto de premisas ms la premisa adio a cional. iii. Armar la conclusin deseada como deduccin lgica de las premisas. o o o El procedimiento formal de la deduccin es el mismo que en la seccin 1.12. o o Ejemplo:
64
(1) Si el contrato es vlido, entonces, la Sra. Gonzlez tendr que desocupar a a a la casa o estar obligada a pagar jur a dicamente. Si la Sra. Gonzlez tiene a que desocupar la casa entonces el contrato no es vlido. a
Apndice A e Implementacin computacional o

A.1. Mathematica
Mathematica es un programa utilizado en areas cient cas, de ingenier maa, temticas y reas computacionales. Originalmente fue concebido por Stephen a a Wolfram, quien contina siendo el l u der del grupo de matemticos y prograa madores que desarrollan el producto en Wolfram Research, compa ubicada na en Champaign, Illinois. Comnmente considerado como un sistema de algebra u computacional, Mathematica es tambin un poderoso lenguaje de programae cin de propsito general. o o La primera versin de Mathematica se puso a la venta en 1988. La versin o o 8, fue lanzada el 15 de noviembre del 2010, se encuentra disponible para una gran variedad de sistemas operativos. Mathematica se divide en 2 partes, el kernel o ncleo que desempea los u n clculos. Y el front end o interfaz, que despliega los resultados y permite al a usuario interactuar con el ncleo como si fuera un documento. u El lenguaje de programacin de Mathematica est basado en re-escritura o a de trminos (que se identica tambin como computacin simblica), y soporta e e o o el uso de programacin funcional y de procedimientos (aunque en general, la o programacin funcional es ms eciente). Est implementado en una variante o a a del lenguaje de programacin C orientado a objetos, pero el grueso del extenso o cdigo de librer est en realidad escrito en el lenguaje Mathematica. Usualo as a mente, puede aadirse nuevo cdigo mediante archivos de texto escritos en el n o lenguaje de Mathematica a los que se les da el nombre de paquetes.
A.2.
Funcionamiento de Mathematica
Cuando Mathematica inicializa usualmente presenta un cuaderno blanco. El en Shift Enter usuario digita la entrada (input), luego presiona (en simultneo) a para que Mathematica procese su entrada. Shift Enter indica a Mathematica que el usuario ha nalizado su entrada. 65
66
APENDICE A. IMPLEMENTACION COMPUTACIONAL
Despus de ejecutar una entrada en Mathematica desde un cuaderno, Mate hematica etiquetar la entrada con In[n]:=. Tambin etiqueta la correspondiena e te salida con Out[n]=.
El usuario digita 1 + 1, luego naliza su entrada con Shift Enter la entrada, luego agrega la etiqueta In[1]:= a la entrada, y devuelve
In[1]:= Out[1]=
Mathematica
. Mathematica procesa la respectiva salida.
1+1 2
A.3.
Mathematica
Clculos con Mathematica a
Mathematica puede ser usado como una potente calculadora cient ca.
Un clculo numrico bsico. a e a
In[2]:= Out[2]=
9.7200 2.26124 10197
Mathematica
Un clculo algebraico bsico. a a

In[3]:= Out[3]=
Factor[x25 1] (1 + x) (1 + x + x2 + x3 + x4 ) (1 + x5 + x10 + x15 + x20 )
Mathematica
Es posible usar letras griegas (o de otro alfabeto como variables).

In[4]:= Out[4]=
Factor[21 1] (1 + ) (1 + + 2 ) (1 + + 2 + 3 + 4 + 5 + 6 ) (1 + 3 4 + 6 8 + 9 11 + 12 )
Mathematica
El clculo de la cuarta derivada con respecto a x. a

In[5]:= Out[5]=
D[Sin[x]10 , {x, 4}] 5040Cos[x]4 Sin[x]6 4680Cos[x]2 Sin[x]8 + 280Sin[x]10
Mathematica
El clculo de una integral. a

In[6]:=
Integrate[ x31 , x] 1
A.3. CALCULOS CON MATHEMATICA

ArcTan
1+2x 3
67
Out[6]=
1 + 1 Log[1 + x] 6 Log [1 + x + x2 ] 3
Mathematica
La grca de una funcin z = f (x, y). a o

In[7]:=
Plot3D[Sin[y + Sin[3x]], {x, 3, 3}, {y, 3, 3}]
Out[7]=
As como un lenguaje de programacin. o

Mathematica
Frmula de Newton para hallar el cero de una funcin. o o

In[8]:= In[9]:= Out[9]=
NewtonZero[f , x0 ]:=FixedPoint[# f [#]/f [#]&, x0] NewtonZero[BesselJ[2, #]&, 5.0] 5.13562
Mathematica
Buscar una aproximacin a mediante la bsqueda de la proporcin de puntos que se o u o encuentran dentro de un disco.
In[10]:=
In[11]:=
app[n ]:=4N [Length[Select[RandomReal[{1, 1}, {n, 2}], Dot[#, #] 1&]]/n] TableForm Table n = 10k ; p = app[n]; {n, p, p}, {k, 1, 6} , TableHeadings {{}, {n, approximation, error}}]
n 10 100 1000 10 000 100 000 1 000 000 approximation 3.6 2.92 3.04 3.1128 3.1348 3.14279 error 0.458407 0.221593 0.101593 0.0287927 0.00679265 0.00119535
Out[11]//TableForm=
68
APENDICE A. IMPLEMENTACION COMPUTACIONAL
A.4.
El paquete matematica1
matematica1.m
Para que el lector pueda utilizar dicho paquete debe guardar el archivo
en la ruta C:\Archivos de programa\Wolfram Research\Mathematica\8.0\AddOns\ExtraPackages y luego inicializarlo mediante la sentencia mostrada a continuacin. o
Mathematica
Incializacin del paquete matematica1. o

In[12]:=
<<matematica1.m

Logica

Diunggah oleh

Informasi Dokumen

Hak Cipta

Format Tersedia

Bagikan dokumen Ini

Bagikan atau Tanam Dokumen

Opsi Berbagi

Apakah menurut Anda dokumen ini bermanfaat?

Apakah konten ini tidak pantas?

Hak Cipta:

Format Tersedia

Logica

Diunggah oleh

Hak Cipta:

Format Tersedia

Universidad Nacional de Piura Departamento Acadmico de Matemtica e a

MATEMATICA I con MATHEMATICA R

Piura, 3 de mayo de 2012 PERU

Cap tulo 1 Introduccin a la lgica o o

CAP ITULO 1. INTRODUCCION A LA LOGICA

1.1. FUNCIONES VERITATIVAS

1.1. FUNCIONES VERITATIVAS

CAP ITULO 1. INTRODUCCION A LA LOGICA Esta proposicin se simboliza por: o p q

Simbolizacin de proposiciones y el uso o de los signos de agrupacin o

1.3. ESQUEMAS MOLECULARES

CAP ITULO 1. INTRODUCCION A LA LOGICA

Evaluacin de esquemas moleculares por o la tabla de valores

Evaluacin del esquema (p q) q. o

TruthTable[(p q) q, ColumnNumbers True] Ver Fig. 1.1

1.4. TABLAS DE VALORES

Figura 1.2: Tabla de valores del esquema [(p q) (r p)] (r p).

Evaluacin del esquema [(p q) (r p)] (r p). o

TruthTable[((p q) (r ColumnNumbers True] Ver Fig. 1.2

Evaluacin del esquema [r (q p)] [q (r p)]. o

TruthTable[(r (q p)) (q (r p)), ColumnNumbers True] Ver Fig. 1.3

Evaluacin del esquema [( p q) r] [r (p q)]. o

TruthTable[((p q) r) (r (p q)), ColumnNumbers True]

CAP ITULO 1. INTRODUCCION A LA LOGICA Ver Fig. 1.4

10) [(p q) (r p)] [(p q) (q r)]

1.5. EQUIVALENCIA E IMPLICACION

Figura 1.5: Dos esquemas equivalentes.

Evaluacin de los esquemas A y B. o

A = p q; B = p q; TruthTable[A B, ColumnNumbers True] Ver Fig. 1.5

CAP ITULO 1. INTRODUCCION A LA LOGICA

Evaluacin de los esquemas A y B. o

A = p q; B = (q p); TruthTable[A B, ColumnNumbers True] Ver Fig. 1.6

1.5. EQUIVALENCIA E IMPLICACION

Figura 1.7: Dos esquemas no equivalentes.

Evaluacin de los esquemas A y B. o

TruthTable[A B, ColumnNumbers True] Ver Fig. 1.7

Evaluacin de los esquemas A y $C. o

TruthTable[A $C, ColumnNumbers True] Ver Fig. 1.8

Evaluacin de los esquemas B y $C. o

TruthTable[B $C, ColumnNumbers True] Ver Fig. 1.9

En consecuencia, solamente los esquemas A y C son equivalentes.

CAP ITULO 1. INTRODUCCION A LA LOGICA

Figura 1.9: Dos esquemas no equivalentes.

1.5. EQUIVALENCIA E IMPLICACION 6) A =

CAP ITULO 1. INTRODUCCION A LA LOGICA

Evaluacin de los esquemas A y B. o

TruthTable[A B, ColumnNumbers True] Ver Fig. 1.10

1.5. EQUIVALENCIA E IMPLICACION

Evaluacin de los esquemas A y B. o

TruthTable[A B, ColumnNumbers True] Ver Fig. 1.11

Denicin de los esquemas K, A, B y $C en Mathematica. o

Evaluacin de los esquemas A y K. o

TruthTable[A K, ColumnNumbers True] Ver Fig. 1.12

CAP ITULO 1. INTRODUCCION A LA LOGICA

Figura 1.12: Una implicacin. o

Figura 1.13: Una contingencia (note la l nea 1 del resultado).

Evaluacin de los esquemas B y K. o

TruthTable[B K, ColumnNumbers True, RowNumbers True] Ver Fig. 1.13

Evaluacin de los esquemas $C y K. o

TruthTable[$C K, ColumnNumbers True] Ver Fig. 1.14

1.5. EQUIVALENCIA E IMPLICACION

Luego, sometiendo a la tabla de valores dicha inferencia:

TruthTable[(p q) q p, ColumnNumbers True] Ver Fig. 1.15

CAP ITULO 1. INTRODUCCION A LA LOGICA

Tabla de valores de la inferencia.