Logica

Universidad Nacional de Piura Departamento Acad emico de Matem atica
MATEMATICA I con MATHEMATICA R

Mathematica y MathReader son marcas registradas de Wolfram Research: www.wolfram.com
Piura, 3 de mayo de 2012 PERU
Pr ologo
En este m odulo se desarrollan los temas concernientes a un curso tradicional de Matem atica I y est a dirigido a los estudiantes de las diferentes especialidades de la Universidad Nacional de Piura. Para el cap tulo concerniente a L ogica se ha tomado como referencia el libro Introducci on a la l ogica del Profesor Di ogenes Rosales Papa. Casi todos los cap tulos se ha complementado con el sistema de a lgebra computacional Mathematica 8.0. Esto se consigue mediante el nuevo paquete de comandos matematica1 desarrollado por un equipo de docentes del Departamento Acad emico de Matem atica de la Universidad Nacional de Piura.
Indice general
Pr ologo 1. Introducci on a la l ogica 1.1. Funciones veritativas . . . . . . . . . . . . . 1.1.1. La conjunci on. . . . . . . . . . . . . 1.1.2. La disyunci on. . . . . . . . . . . . . . 1.1.3. La condicional. . . . . . . . . . . . . 1.1.4. La bicondicional. . . . . . . . . . . . 1.1.5. La negaci on. . . . . . . . . . . . . . . 1.1.6. S mbolos de Sheer. . . . . . . . . . 1.2. Simbolizaci on de proposiciones . . . . . . . . 1.3. Esquemas moleculares . . . . . . . . . . . . 1.4. Tablas de valores . . . . . . . . . . . . . . . 1.5. Equivalencia e implicaci on . . . . . . . . . . 1.5.1. La equivalencia . . . . . . . . . . . . 1.5.2. La implicaci on . . . . . . . . . . . . . 1.6. La inferencia . . . . . . . . . . . . . . . . . . 1.7. El m etodo abreviado . . . . . . . . . . . . . 1.8. Principios l ogicos . . . . . . . . . . . . . . . 1.9. Equivalencias notables . . . . . . . . . . . . 1.9.1. La doble negaci on . . . . . . . . . . . 1.9.2. La idempotencia . . . . . . . . . . . 1.9.3. La conmutaci on . . . . . . . . . . . . 1.9.4. La asociatividad . . . . . . . . . . . . 1.9.5. La distribuci on . . . . . . . . . . . . 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 denici on del disyuntivo exclusivo 1.9.10. La absorci on . . . . . . . . . . . . . . 1.9.11. La expansi on . . . . . . . . . . . . . 1.9.12. Las transposiciones . . . . . . . . . . 1.9.13. La Exportaci on . . . . . . . . . . . . 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. Simplicaci on . . . . . . . . . . 1.11.5. Adici on . . . . . . . . . . . . . 1.11.6. Conjunci on . . . . . . . . . . . 1.11.7. Silogismo hipot etico puro . . . 1.11.8. Transitividad sim etrica . . . . . 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 derivaci on . . . . . . . . . . . . . . 1.13. La prueba por reducci on al absurdo . . A. Implementaci on computacional A.1. Mathematica . . . . . . . . . . A.2. Funcionamiento de Mathematica A.3. C alculos con Mathematica . . . 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 Introducci on a la l ogica

Noci on de L ogica. El tema central de la l ogica es el an alisis formal de los razonamientos, esto es, establecer si la conclusi on se deriva l ogicamente de las premisas. Por lo tanto, la tarea de la l ogica es estudiar la validez o invalidez de las inferencias. Noci on de inferencia. Inferencia es una estructura de proposiciones en donde a partir de una o m as proposiciones llamadas premisas se obtiene otra que es la conclusi on. Por ejemplo: (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. S ocrates es hombre. Por lo tanto, S ocrates es mortal. (3) Si el gale on no trae piratas, entonces el capit an ha muerto o est a prisionero. Pero, el capit an no ha muerto ni est a prisionero. En consecuencia, el gale on trae piratas. Expresiones proposicionales y expresiones no proposicionales. Una expresi on proposicional es una oraci on declarativa, un enunciado o un juicio, 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 gale on trae piratas. (4) El agua hierve a 100 grados cent grados. (5) Lima es la capital del Per u. 1
A LA LOGICA CAP ITULO 1. INTRODUCCION
Las expresiones no proposicionales son aqu ellas que no tienen la propiedad de ser verdaderas o falsas. Con este lenguaje se expresan sentimientos, emociones, o bien o rdenes, directivas, etc. Por ejemplo: (6) Hola! C omo est as? (7) Soldado Ch avez... pres entese! (8) Prohibido fumar. Las proposiciones simples y compuestas. Las proposiciones simples, llamadas tambi en proposiciones at omicas, b asicas o elementales, son aquellas oraciones que tienen un solo sujeto y un solo predicado. Por ejemplo: (1) S ocrates naci o en Atenas. (2) La Luna es un sat elite de la Tierra. (3) Dos es un n umero par. Las proposiciones compuestas, llamadas tambi en proposiciones moleculares, son aquellas que est an constituidas por dos o m as proposiciones simples. Por ejemplo: (4) S ocrates fue un l osofo y naci o en Atenas. (5) Si Zaida va a Trujillo, visitar a a Carlos. (6) Si el autom ovil sufre desperfectos entonces Mar a llegar a tarde a la ciudad. (7) Juan no obtendr a su visa, si y s olo si no es turista o no tiene permiso de su trabajo. Lenguaje l ogico. El lenguaje l ogico es un lenguaje sint actico. Esto signica que considera solamente la estructura de las proposiciones llamada estructura l ogica y que est a compuesta u nicamente por los elementos l ogicos. Una estructura l ogica es l ogicamente verdadera o v alida, si las proposiciones que la componen son verdaderas independientemente de sus t erminos con signicados f acticos. De ah que poco interesa a la l ogica el contenido sem antico de 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 funci on que desempe nen los elementos l ogicamente esenciales. Por ejemplo: (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 l ogicos o, no, luego, se tiene la siguiente estructura l ogica: O... o... no... Luego, ... Esta inferencia es v alida, por lo tanto su estructura l ogica es v alida o l ogicamente 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 a en la siguiente inferencia: (2) Si todos los hombres son mortales y todos los griegos son hombres, entonces todos los griegos son mortales. Donde su estructura l ogica es: 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 simb olico, lenguaje que est a compuesto por un conjunto de signos l ogicos establecidos por reglas 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 l ogicas son cada vez m as complejas resultando su verdad l ogica menos perceptible. Por lo tanto, el lenguaje adecuado para las demostraciones l ogicas es el lenguaje simb olico. Este lenguaje se caracteriza por ser convencional, articial, preciso, exacto, universal, carente de todo contenido f actico y expresable s olo por escrito. Desde este punto de vista, el lenguaje simb olico es todo un c alculo y a la vez es el lenguaje de la l ogica. Variables y constantes l ogicas. Las variables son s mbolos a los que se les puede designar contenidos, mientras que las constantes son los s mbolos de los elementos l o gicos. Proposicionales: p, q, r, etc. Predicativas: F, G, H, etc. Variables Individuales: a, b, c, etc. Indeterminadas: x, y, z, etc.
4 Propo sicionales
A LA LOGICA CAP ITULO 1. INTRODUCCION La conjunci on y; su s mbolo es d ebil; su s mbolo es La disyunci on o fuerte; su s mbolo es La condicional si... entonces; su s mbolo es La bicondicional si y s olo si; su s mbolo es La negaci on no; su s mbolo es
Constantes
Universal todos; su s mbolo es (x) No propo Cuanticadores sicionales Existencial algunos; su s mbolo es (x) L ogica proposicional. La l ogica proposicional, llamada tambi en l ogica de las proposiciones sin analizar, trata de las relaciones interproposicionales y las funciones que desempe nan las constantes proposicionales (llamadas tambi en conectivas) y, o, si... entonces, si y s olo si, no, etc.
1.1.
Funciones veritativas
Como toda proposici on puede ser verdadera o falsa, entonces se le puede asignar los valores de verdad (V ) y falsedad (F ). Los valores de verdad de cualquier proposici on compuesta est an determinados por los valores de verdad de las proposiciones componentes, o sea, como las proposiciones compuestas o moleculares est an formadas por proposiciones simples en base a conectivas, entonces los valores de verdad que se obtiene en base a conectivas en cualquier proposici on compuesta de relacionarse los valores veritativos de las proposiciones simples, se llama funciones veritativas.
1.1.1.
La conjunci on.
La conjunci on combina dos proposiciones conectadas por y. Su s mbolo es . Por ejemplo: (1) El soldado P erez trabaja en el campo y el capit an Mat as es un ocial administrativo. Esta proposici on conjuntiva se puede expresar simb olicamente por pq donde,
1.1. FUNCIONES VERITATIVAS El soldado P erez trabaja en el campo = p El capit an Mat as es un ocial administrativo = q
y es verdadera u nicamente cuando las dos proposiciones componentes son verdaderas, y en cualquier otro caso es falsa. Esta aseveraci on es v alida para toda conjunci on y se puede expresar en la siguiente tabla de verdad: p q V V V V F F F F F F F F En el lenguaje ordinario hay t erminos como pero, aunque, incluso, tambi en, 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 s olo... tambi en, es compatible con, etc., que tambi en unen proposiciones y se pueden simbolizar por , dado que generalmente interpretan la conjunci on. Por ejemplo: (2) Carlos es pol tico pero honesto. Carlos es pol tico = p Carlos es honesto = q pq (3) Mar a est a enferma, sin embargo asiste a clases. Mar a est a enferma = p Mar a asiste a clases = q pq (4) Las operaciones matem aticas son f aciles de comprender, a la vez que permiten solucionar problemas pr acticos. Las operaciones matem aticas son f aciles de comprender = p Las operaciones matem aticas permiten solucionar problemas pr acticos =q pq
1.1.2.
La disyunci on.
La disyunci on combina dos proposiciones conectadas por o, cuyo sentido pueden interpretarse de dos maneras: como d ebil o inclusiva, y como disyunci on fuerte o exclusiva. La disyunci on d ebil o inclusiva es verdadera cuando por lo menos una de las proposiciones componentes es verdadera, resultando falsa solamente cuando las dos son falsas. Simb olicamente se representa por es . Por ejemplo:
A LA LOGICA CAP ITULO 1. INTRODUCCION (1) El canciller peruano domina el idioma ingl es o domina el idioma franc es. El canciller peruano domina el idioma ingl es = p El canciller peruano domina el idioma franc es = q p q V V V V V F F V V F F F
En el lenguaje ordinario hay t erminos como salvo que, excepto que, a menos que, o tambi en, etc., que tambi en se pueden simbolizar por . La disyunci on fuerte o exclusiva es verdadera cuando solamente una de las proposiciones componentes es verdadera y no las dos, resultando falsa en otros casos. Su s mbolo es . Por ejemplo: (2) O el general Jos e de San Mart n naci o en Argentina o naci o en el Per u. El general Jos e de San Mart n naci o en Argentina = p El general Jos e de San Mart n naci o en el Per u=q p q V F V V V F F V V F F F Tambi en los t erminos bien... o bien, ya bien... ya bien, o solamente, o s olo, etc., son disyunciones fuertes y se pueden simbolizar por .
1.1.3.
La condicional.
Es la combinaci on de dos proposiciones con si... entonces. La proposici on que est a entre si y entonces se llama antecedente, y la proposici on que sigue a la palabra entonces se llama consecuente. si... entonces simb olicamente 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 dem as casos. Por ejemplo: (1) Si el autom ovil sufri o desperfectos en el camino entonces Rosa llegar a tarde a su compromiso. El autom ovil sufri o desperfectos en el camino = p Rosa llegar a tarde a su compromiso = q p q V V V V F F F V V F V F
1.1. FUNCIONES VERITATIVAS
Tambi en los t erminos impone a, es condici on suciente para, cuando... 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 Matem atica es condici on suciente para que apruebe dicho examen. Juan estudia para el examen de Matem atica = p Juan aprobar a el examen de Matem atica = q pq (3) En virtud de que Juan estudia para el examen de Matem atica es evidente que aprobar a dicho examen. Juan estudia para el examen de Matem atica = p Juan aprobar a el examen de Matem atica = q pq Por otra parte los t erminos pues, puesto que, ya que, dado que, porque, si, siempre que, es condici on necesaria para, se concluye de, es insuciente para, cada vez que, es condici on de que, en vista de que, etc., tambi en son conectivas condicionales y se caracterizan porque despu es de cada uno de estas conectivas est a el antecedente. Por ejemplo: (1) Carlota viajar a al extranjero si obtiene su visa. Carlota viajar a al extranjero = p Carlota obtiene su visa = q qp (2) Enrique viajar a al norte siempre que sea miembro de la comisi on investigadora. Enrique viajar a al norte = p Enrique es miembro de la comisi on investigadora = q qp
1.1.4.
La bicondicional.
Dos proposiciones unidas por si y s olo si se llama bicondicional, y es verdadera cuando las dos proposiciones componentes tienen el mismo valor veritativo, en otros casos es falsa. El s mbolo bicondicional es .
A LA LOGICA CAP ITULO 1. INTRODUCCION (1) Pedro construir a su casa si y s olo si obtiene un pr estamo de la cooperativa. Pedro construir a su casa = p Pedro obtiene un pr estamo de la cooperativa = q p q V V V V F F F F V F V F
Esta proposici on bicondicional se entiende como: Si Pedro construir a su casa entonces obtiene un pr estamo de la cooperativa, y si obtiene un pr estamo de la cooperativa entonces construir a su casa. Simb olicamente se tiene: (p q ) (q p) Otras formas de expresar la bicondicional es utilizando los t erminos es equivalente a, siempre y s olo cuando, por lo cual y seg un lo cual, se dene como, es lo mismo que, si de la misma forma, es id entico a, etc.
1.1.5.
La negaci on.
La negaci on no expresada simb olicamente por , cumple la funci on de negar una armaci on o de armar una negaci on. (1) Napole on no es ruso. Napole on es ruso = p p F V V F (2) No es cierto que la luna no tenga atm osfera. La luna tiene atm osfera = p ( p) V F V F V F En el ejemplo 1 se ha negado una armaci on y en el ejemplo 2 al negar una negaci on, se ha armado una negaci on. Otras formas de expresar la negaci on es utilizando los t erminos no es el 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 negaci on niega proposiciones compuestas, y simb olicamente se expresa por (. . .). Por ejemplo:
1.1. FUNCIONES VERITATIVAS
(1) No es el caso que, P erez sea acionado al f utbol y obtenga buenas notas en clase. P erez es acionado al f utbol = p P erez obtiene buenas notas en clase = q (p q ) (2) No es cierto que, Descartes fue m edico o ingeniero. Descartes fue m edico = p Descartes fue ingeniero = q (p q ) Cabe destacar que la negaci on afecta s olo a la derecha y al signo que est a inmediatamente despu es de ella.
1.1.6.
S mbolos de Sheer.
M. N. Sheer ha introducido el signo como la negaci on conjuntiva, que se lee por ni... ni; y es verdadera solamente cuando sus dos componentes son falsos, siendo falsa en cualquiera de los dem as casos. Por ejemplo: (1) Ni S ocrates es egipcio ni Pit agoras es S ocrates es egipcio = p Pit agoras es romano = q p V F V F F F F V romano.
q V F V F
Esta proposici on se puede simbolizar tambi en por: p q De igual manera Sheer ha introducido el signo | como la negaci on disyuntiva, 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) Hip ocrates no es l osofo o no es ge ometra. Hip ocrates es l osofo = p Hip ocrates es ge ometra = q p | q V F V V V F F V V F V F
10
A LA LOGICA CAP ITULO 1. INTRODUCCION Esta proposici on se simboliza por: p q
En lo sucesivo obviaremos los signos de Sheer, dado que puede interpretarse como la conjunci on con sus componentes negados, y | como la disyunci on con sus componentes negados.
1.2.
Simbolizaci on de proposiciones y el uso de los signos de agrupaci on
Simbolizar una proposici on consiste en reemplazar cada proposici on por una variable proposicional, y cada constante l ogica por su correspondiente s mbolo. Los signos de agrupaci on (par entesis, corchetes, llaves, etc.) se utilizan en la simbolizaci on para evitar la ambig uedad en las f ormulas. Sin los signos de agrupaci on las f ormulas hasta carecer an de sentido. Por ejemplo: (1) No es el caso que, Einstein fue m edico o Newton fue antrop ologo. Einstein fue m edico = p Newton fue antrop ologo = q (p q ) En este caso, sin los par entesis la simbolizaci on ser a incorrecta ya que la negaci on afectar a solamente a la variable p. (2) Si el gale on no trae piratas, entonces el capit an ha muerto o est a prisionero. El gale on trae piratas = p El capit an ha muerto = q El capit an est a prisionero = r p (q r) En esta simbolizaci on, es el de mayor alcance. N otese que est a limitado por los par entesis, y s olo afecta a la variable p. (3) Las leyes de la mec anica son exactas si Newton dice la verdad, si y s olo si el movimiento no es relativo. Las leyes de la mec anica son exactas = p Newton dice la verdad = q El movimiento es relativo = r (q p) r
1.3. ESQUEMAS MOLECULARES
11
(4) V ctor es un mec anico o un ingeniero, si es un graduado universitario; adem as, V ctor es un comerciante. V ctor es un mec anico = p 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, adem as es un l 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 pr ospero industrial, entonces es director de una compa n a de teatro. 4) O Emilio es un ingeniero y profesor de matem atica, o es un mec anico y due no de una rma automotriz. 5) Es falso que si Cristina no estudiaba derecho no podr a contraer matrimonio, dado que Cristina es experta en pol tica nanciera. 6) Col on descubri o Am erica y Pizarro conquist o el Per u, si y s olo si, o Pizarro fue un h abil guerrero o Col on fue un intr epido navegante. 7) O las leyes de la mec anica son un conocimiento a priori si el conocimiento del espacio f sico es a priori, o la ley de la gravitaci on es un conocimiento emp rico si el conocimiento del espacio f sico no es a priori. 8) La sociedad est a descontenta si y s olo si no hay cambio social, pero si la sociedad est a descontenta, o hay revoluci on o hay cambio social.
1.3.
Esquemas moleculares
Son la combinaci on de variables y constantes proposicionales. Los operadores cumplen funciones denidas dado que el alcance de cada uno de ellos est a ligado por los signos de agrupaci on. De modo que, si un esquema molecular no ofrece ambig uedad en la funci on que desempe nan cada uno de las constantes proposicionales, se dice que el esquema molecular es una f ormula bien formada (FBF). Por ejemplo:
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) Adem as, una variable proposicional independiente, como p por ejemplo, se considera un esquema molecular por excepci on, por lo tanto una FBF. En cada esquema molecular s olo uno de los operadores es el de mayor alcance o mayor jerarqu a, a este operador se le conoce como operador principal y es el que da nombre a dicho esquema. As el operador de mayor jerarqu a: en 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 excepci on los llamaremos esquema literales por estar formados s olo por una letra o variable proposicional.
1.4.
Evaluaci on de esquemas moleculares por 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 n umero de valores que se asigna a cada variable resulta de aplicarse la f ormula 2n , donde 2 es la constante y n es el n umero de variables que hay en el esquema molecular. Luego se combinan 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
Evaluaci on del esquema (p q ) q .

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)]. aplicaci on de las reglas de y , de acuerdo al dominio de cada uno de ellos.
Mathematica
Evaluaci on del esquema [(p q ) (r p)] (r p).

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

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

In[4]:=
TruthTable[((p q ) r) (r (p q )), ColumnNumbers True]
14
Out[4]=
A LA LOGICA CAP ITULO 1. INTRODUCCION 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 )]. Seg un el resultado que se obtenga en el operador principal, los esquemas moleculares se clasican en consistentes, tautol ogicos y contradictorios. 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 tautol ogico cuando los valores de su operador principal 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, tautol ogico 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 implicaci on
Es importante distinguir los conceptos de equivalencia e implicaci on de los conceptos bicondicional y condicional respectivamente. La no distinci on de estos conceptos ha generado por ejemplo la paradoja de la implicaci on material 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 a. En tal caso se denota por AB Si A es equivalente a B , B tambi en es equivalente a A. Ejemplos: (1) Vamos a determinar si los esquemas A y B que aparecen a continuaci on son equivalentes. A = p q B = p q
Mathematica
Evaluaci on de los esquemas A y B .

In[5]:=
Out[5]=
A = p q ; B = p q ; TruthTable[A B, ColumnNumbers True] Ver Fig. 1.5
El resultado del operador es tautol ogico, luego A y B son equivalentes. (2) Si tenemos las siguientes proposiciones A y B , A= Si Einstein dice la verdad, entonces la Teor a de la Relatividad es exacta. B = No es el caso que, la Teor a de la Relatividad no sea exacta y 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 a de la Relatividad es exacta, si y s olo si no es el caso que la Teor a de la Relatividad no sea exacta y Einstein diga la verdad. Para demostrar si esta proposici on bicondicional es equivalente, simbolizamos y hallamos la tabla veritacional: Einstein dice la verdad = p La Teor a de la Relatividad es exacta = q 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 tautol ogico, luego A y B son equivalentes. Como la tabla de valores arroja una tautolog a, las proposiciones A y B son equivalentes. (3) Cu ales de los esquemas moleculares siguientes son equivalentes? A = ( p q ) ( r p) B = p (r q ) C = q p
Mathematica
Denici on de los esquemas en Mathematica (El uso del s 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
Evaluaci on de los esquemas A y $C .

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

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 continuaci on, determine los que son equivalentes. 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 o los ex amenes de admisi on, ingres o a la universidad. B = No es el caso que Carmen apruebe los ex amenes de admisi on y no ingrese a la Universidad. C = Si Carmen no ingres o a la universidad, entonces no aprob o los ex amenes de admisi on. Si Bol var naci o en Venezuela, no tuvo problema de nacionalidad y luch o a favor de los patriotas. B = Bol var no tuvo problema de nacionalidad si naci o en Venezuela, y si naci o en Venezuela entonces luch o a favor de los patriotas. C = Bol var luch o a favor de los patriotas si y s olo si naci o en Venezuela.
5) A =
1.5. EQUIVALENCIA E IMPLICACION 6) A =
19
Si los fen omenos naturales se comportan seg un las leyes mec anicas de Newton, entonces Newton dice la verdad; sin embargo, la F sica cl asica no es absoluta. B = Newton dice la verdad si la f sica cl asica no es absoluta, si y s olo si los fen omenos naturales no se comportan seg un las leyes mec anicas de Newton. C = Ni Newton dice la verdad ni la f sica cl asica es absoluta, o la f sica cl asica no es absoluta a la vez que los fen omenos naturales no se comportan seg un las leyes mec anicas de Newton.
7) A =
Si con carabinas se cazan felinos, entonces son armas de largo alcance; sin embargo, los felinos no son f aciles de cazar a pesar de que las carabinas son armas de largo alcance. B = No es el caso que los felinos sean f aciles de cazar o las carabinas 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 f aciles de cazar.
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 s olo si hay peste en la China, aunque los comerciantes vendan m as seda. C = No es el caso que si hay peste en la China entonces no aumenta el precio de la seda.
9) Determine si la proposici on Juan Garc a es maquinista, si es un mec anico o due no de una rma automotriz es equivalente a la disyunci on de las siguientes proposiciones: A= O Juan Garc a es maquinista, o es due no de una rma automotriz a la vez que es maquinista. B = Juan Garc a, ni es mec anico ni es due no de una rma automotriz; sin embargo, es maquinista si es un mec anico.
10) Cu ales de las proposiciones que aparecen a continuaci on es equivalente a El producto de los rendimientos es decreciente si y s olo si el producto 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 implicaci on. A= El resultado de los rendimientos es decreciente si y s olo si el 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 implicaci on
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 a; denot andose en tal caso 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, A implica a B . (2) A continuaci on vamos a demostrar si la proposici on A implica a B . A= El gobierno controla la venta de carros si y s olo si controla la venta de artefactos el ectricos. B = Si el gobierno no controla la venta de artefactos el ectricos entonces 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 implicaci on. El gobierno controla la venta de carros = p El gobierno controla la venta de artefactos el ectricos = q A= pq B = q p
Mathematica

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

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

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 implicaci on.

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
Evaluaci on de los esquemas B y K .

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

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 implicaci on. 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 conjunci on de B y D. d. Si A implica a la disyunci on de C y D. e. Si C implica a la disyunci on de A, B y D. f. Si la conjunci on de A y C implica a B . g. Si la disyunci on de B y C es implicada por A. h. Si la disyunci on de B y D es implicada por la disyunci on de A y C . i. Si la conjunci on de B y D es implicada por la disyunci on de A y C . j. Si A entonces B est a implicada por la negaci on de C . 2) Dadas las siguientes proposiciones: A= El Estado es responsable de la econom a del pa s si y s olo si las leyes de la reforma econ omica no son aplicables a la realidad. B = No se da el caso que las leyes de la reforma econ omica sean aplicables 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 a del pa s o las leyes de la reforma econ omica 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 disyunci on de A y B . e. Si la disyunci on de A y C est a implicada por B .
24
A LA LOGICA CAP ITULO 1. INTRODUCCION f. Si la conjunci on de A y B est a implicada por C . g. Si la conjunci on de A y B implica a la disyunci on de A y C . h. Si la bicondicional de A y B est a implicada por C . i. Si la negaci on de B est a implicada por la disyunci on de A y C . j. Si la negaci on de la conjunci on A y C implica a la negaci on de B . 3) Demuestre si la proposici on si mi gato es un felino entonces caza ratones, o mi gato es perezoso si no es un felino est a implicada por la proposici on mi gato no caza ratones. 4) Determine si cada una de las proposiciones que aparecen a continuaci on, implica a la proposici on: Pedro es navegante si conoce los puertos mar timos de Sudam erica. A= O Pedro es navegante y conoce los puertos mar timos de Sudam erica, o Pedro no es navegante ni conoce los puertos mar timos de Sudam erica. B = Si Pedro conoce los puertos mar timos de Sudam erica, o es navegante o es acionado al turismo.
5) Demuestre si la disyunci on de las proposiciones o no es cierto que un n umero entero sea positivo o es imposible que dos no sea un n umero entero y o es falso que un n umero entero no sea negativo, o los n umeros decimales no son impares si dos es un n umero entero est a implicada o no por la proposici on los n umeros decimales no son pares ni un n umero 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 m as proposiciones consideradas como premisas se obtiene otra que es la conclusi on, o tambi en, es el paso de la premisa o la conjunci on de premisas a la conclusi on. P1 P2 . . . P n C Pero como tambi en dijimos, la tarea de la l ogica es estudiar el an alisis formal de validez o invalidez de las inferencias. Esto signica que el an alisis formal nos permite simbolizar las inferencias en esquemas moleculares y demostrar con seguridad su validez o invalidez. Si la premisa o la conjunci on de premisas implican a la conclusi on, la inferencia ser a v alida. 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 v alida. (1) Si Julieta es espa nola entonces es acionada a la esta brava. Pero, Julieta no es acionada a la esta brava. Por lo tanto, no es espa nola. Simbolizando: Julieta es espa nola = p 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 a, la conjunci on de premisas implica a la conclusi on, por lo tanto la inferencia es v alida. El mismo procedimiento seguiremos para demostrar la validez o la invalidez de las inferencias. A continuaci on ofrecemos m as ejemplos. (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 v alida. En los casos en que las premisas forman dos o m as conjunciones, cualquiera de ellas puede ser considerada como la principal para los efectos de la aplicaci on de la tabla de valores. Esto se ha hecho en el ejemplo (2) en que se ha tomado la u ltima conjunci on como la principal del antecedente.
Mathematica
Tabla de valores de la inferencia.
TruthTable[(p(p q ))(q r) (q r), ColumnNumbers True] Out[18]= Ver Fig. 1.16

In[18]:=
La inferencia es v alida. (3) Si el gale on no trae piratas entonces el capit an ha muerto o est a prisionero. Pero el capit an no ha muerto ni est a prisionero. En consecuencia, el gale on trae piratas. Simbolizando: El gale on trae piratas = p El capit an ha muerto = q El capit an est a prisionero = r 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 v alida.
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 v alida.

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 inv alida (Note la l nea 7 del resultado). (4) Smith es profesional si y s olo si es graduado universitario. Ocurre que Smith es m edico. Por lo tanto, si Smith es m edico entonces es graduado universitario. Simbolizando: Smith es profesional = p Smith es graduado universitario = q Smith es m edico = r 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 inv alida.
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 v alida. (5) Si un sat elite gira alrededor de la Luna, entonces gira tambi en alrededor de la Tierra. Y si gira alrededor de la Tierra, tambi en gira alrededor del Sol. Y, si gira alrededor del Sol, entonces gira alrededor de la constelaci on de la Lira. En consecuencia, si un sat elite gira alrededor de la Luna, entonces gira alrededor de la constelaci on de la Lira. Simbolizando: Un sat elite gira alrededor de la Luna = p El sat elite gira alrededor de la Tierra = q El sat elite gira alrededor del Sol = r El sat elite gira alrededor de la constelaci on de la Lira = s. 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 v alida. La tabla de valores resulta laboriosa para determinar la validez o invalidez de una inferencia. Para evitar esta combinaci on de valores de verdad y falsedad
1.7. EL METODO ABREVIADO
29
en el esquema de una inferencia se puede usar un procedimiento m as simple, que consiste en probar si la u nica posibilidad de falsedad que invalidar a la implicaci on se cumple o no.; si se cumple esta posibilidad no hay implicaci on; en caso contrario la premisa o la conjunci on de premisas, implicar a a la conclusi on, por tanto la inferencia ser a v alida. Este procedimiento es el m etodo abreviado.
1.7.
El m etodo abreviado
Es un procedimiento que nos evita el laborioso trabajo de la tabla de valores en el an alisis de validez o invalidez de las inferencias. Seg un este m etodo suponemos que la premisa o la conjunci on de premisas es verdadera y la conclusi on falsa, u nica posibilidad que invalida la implicaci on. Si no se prueba esta posibilidad la inferencia ser a v alida. P1 P2 . . . Pn V V V C F
La prueba de este m etodo consiste en aplicar las siguientes reglas de operaci on (i y ii) y de decisi on (iii y iv): i. Asignar el valor de verdad a cada una de las premisas y de falsedad a la conclusi on. ii. Deducir el valor de cada una de las variables proposicionales en funci on de las reglas veritativas. iii. Si cada una de las variables cumple una sola funci on veritativa, se habr a demostrado que la premisa o conjunci on de premisas es verdadera y la conclusi on falsa; por lo tanto, la inferencia ser a invalida. 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 conjunci on de premisas sea verdadera y la conclusi on falsa. Por lo tanto, hay implicaci on y la inferencia ser a v alida. Ejemplos: (1) Smith es profesional si y s olo si es graduado universitario. Ocurre que Smith es m edico. Por lo tanto, si Smith es m edico entonces es graduado universitario. Simbolizando: Smith es profesional = p Smith es graduado universitario = q Smith es m edico = r
30
A LA LOGICA CAP ITULO 1. INTRODUCCION 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 as ser a encontrado culpable si hoy rinde testimonio, puesto que si hoy rinde testimonio dir a la verdad, y Mas as no ser a encontrado culpable si no dice la verdad. Simbolizando: Mas as ser a encontrado culpable = p Mas as hoy rinde testimonio = q Mas as dir a la verdad = r 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, seg un sea el caso, a partir de los valores que han sido asignados seg un la regla (i). Se inicia la deducci on del valor del operador que ofrece una sola posibilidad de aplicarse la regla veritativa. En nuestro ejemplo (r q ) es F , y como la u nica 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 implicaci on. Una vez obtenido el valor de una variable y si esta variable se repite en el esquema, se debe trasladar el mismo valor si y s olo si no haga variar el valor 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 seg un la regla del bicondicional. N otese, si no se traslada el valor de q , hay dos posibilidades para que el bicondicional sea V . Por la regla (iii) decidimos que la inferencia es inv alida. Esto es, se ha demostrado el supuesto que la conjunci on de premisas es verdadera y la conclusi on falsa (ver en la inferencia 4 de la secci on 1.6, donde la s eptima l nea de valores invalida la implicaci on). El procedimiento es el mismo en (2) y para demostrar cualquier inferencia por este m etodo. Dado que, a diferencia del ejemplo anterior no se tiene una tabla que permita corroborar los resultados previos, utilizaremos Mathematica para este n.
Mathematica
Comprobaci on del resultado obtenido con el m etodo abreviado.

In[22]:=
Out[22]=
TruthTable[(q r) ( r p) (q p), RowNumbers True, ColumnNumbers True] Ver Fig. 1.20
A continuaci on citamos m as ejemplos. (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
A LA LOGICA CAP ITULO 1. INTRODUCCION p pq qr qr p (p q ) (q r) (q r ) VV V FF V V V V V
En este ejemplo (3) no se puede seguir trasladando el valor V de q porque har a cambiar el valor F del conjuntivo. Entonces para mantener el valor del conjuntivo, q necesariamente tiene que ser F . Por la regla (iv) decidimos que la inferencia es v alida, dado que la variable q tiene los valores de verdad y falsedad a la vez, que imposibilita que la conjunci on de premisas sea verdadera y la conclusi on falsa (ver la inferencia 2 de la secci on 1.6 donde se demuestra la validez por la tabla de valores). (4) La luz no est a encendida, si y s olo si no hay alguien en casa o los de casa han salido a pasear. Si los de casa han salido a pasear entonces han ido a una funci on teatral. En consecuencia, si los de casa han ido a una funci on teatral, la luz no est a encendida. Simbolizando: La luz est a encendida = p Hay alguien en la casa = q Los de casa han salido a pasear = r Los de casa han ido a una funci on teatral = s 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 v alida.
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 implicaci on. (5) Jones es el director de una empresa si tiene el mayor n umero de acciones, y si tiene el mayor n umero de acciones, o es un economista o tiene mucho dinero. No es el caso que Jones no tenga el mayor n umero de acciones o 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 n umero de acciones = q 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 implicaci on es v alida.
Mathematica

In[24]:=
Out[24]=
TruthTable[( p ( q r)) (r s) (s p), RowNumbers True, ColumnNumbers True] Ver Fig. 1.22
En el m etodo abreviado es importante s olo encontrar si una variable tiene los valores de verdad o falsedad a la vez para decidir que la inferencia es v alida.
Ejercicio 5
Por la tabla de valores o el m etodo abreviado, decida si es v alida o no cada una de las siguientes inferencias: 1) Si Newton dice la verdad entonces la leyes de la mec anica son exactas. Newton dice la verdad. En consecuencia, las leyes de la mec anica son exactas. 2) Si el autom ovil sufri o desperfectos en el camino entonces Rosa llegar a tarde a su compromiso. Pero, Rosa no llegar a tarde a su compromiso. Por lo tanto, si el autom ovil sufri o desperfectos en el camino entonces Rosa viaj o en taxi. 3) La sociedad est a descontenta si y s olo si no hay cambio social. En consecuencia, si la sociedad est a descontenta hay revoluci on o hay cambio social.
35
4) Smith es el director de una empresa si tiene el mayor n umero de acciones; y, si tiene el mayor n umero de acciones, o es un economista o tiene mucho dinero. Ocurre que Smith tiene el mayor n umero de acciones. En consecuencia, o es un economista o tiene mucho dinero. 5) El arma del delito ser a descubierta si la huella es aut entica, puesto que, si la huella es aut entica, el motivo del crimen fue el robo, y el arma del delito ser a descubierta si el motivo del crimen fue el robo. 6) Hay humo en la monta na; por lo tanto, hay fuego y habitantes; puesto que, si hay humo hay fuego, y hay habitantes en la monta na si hay fuego. 7) No es el caso que la producci on minera no crezca y no haya divisas en el pa s; dado que, si la producci on minera decrece, o no hay inversi on de capitales o hay problemas con los trabajadores; y, hay problemas con los trabajadores, si los pol ticos mienten o no hay inversi on de capitales; y, los pol ticos mienten si no hay divisas en el pa s. 8) Ma nana viene Armando; luego, si no viene, viaja a Chile si consigue pasaje. 9) Se conservar a el mismo volumen de producci on si la reforma agraria no da buenos resultados, dado que o la reforma agraria da buenos resultados si todas las tierras son explotadas, o se conservar a el mismo volumen de producci on si todas las tierras no son explotadas. 10) Carn eades vino en auxilio de los epic ureos si y s olo si, o hab a hecho causa com un contra los estoicos o con el pretexto de lucir su virtuosidad dial ectica. Pero Carn eades no hab a hecho causa com un contra los estoicos. De ah que, vino con el pretexto de lucir su virtuosidad dial ectica a la vez que en auxilio de los epic ureos. 11) O la Matem atica es exacta si es un sistema axiom atico, o la Geometr a es exacta si Euclides no se equivoc o. Ocurre que, la Matem atica y la Geometr a son exactas. En consecuencia la Matem atica es un sistema axiom atico a la vez que Euclides no se equivoc o. 12) La F sica es exacta, si y s olo si Tolomeo no dice la verdad o Cop ernico tiene la raz on; pero, el movimiento de los planetas no es el 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 Cop ernico no tiene la raz on, si la F sica no es exacta. 13) La luz no est a encendida, si y s olo si no hay alguien en casa o los de casa han salido a pasear. Si los de casa han salido a pasear entonces han ido a una funci on teatral. De ah que, si la luz no est a encendida, los de casa han salido a pasear si han ido a una funci on teatral.
36
14) Si los f sicos dicen la verdad, el movimiento que describen los astros es el ptico y la f ormula de la gravedad es exacta. Pero, si los f sicos no dicen la verdad, ni la f ormula de la gravedad ni la f ormula de la velocidad de la luz son exactas. De modo que, si las f ormulas de la gravedad y de la 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 orbitas. Kepler crey o en la existencia del alma de la Tierra. De ah que, si Kepler crey o en la existencia del alma de la Tierra, no nos acercamos a la verdad ni existe un alma motora en el centro de todas las o rbitas.
1.8.
Principios l ogicos
Pruebas formales en la l ogica proposicional. Las pruebas formales son procedimientos mec anicos para demostrar si un esquema molecular es o no l ogicamente verdadero, o para demostrar si la conclusi on de una inferencia se deriva l ogicamente de sus premisas. Esta demostraci on se efect ua con ayuda de las tautolog as, tautolog as que son especialmente u tiles para este prop osito. Como hemos visto en la secci on 1.4, un esquema molecular es una tautolog a cuando aplicada la tabla de valores tienen como resultado que todos sus valores son verdaderos. En la l ogica tradicional son conocidas las tautolog as con el nombre de principios l ogicos y son los siguientes: Principio de identidad. Seg un este principio, una proposici on s olo es id entica a s misma. Formalmente se expresa por: pp y pp Principio de no contradicci on. Seg un este principio, es imposible que una proposici on sea verdadera y falsa a la vez. Formalmente se expresa por: (p p) Principio del tercio excluido. Seg un este principio, una proposici on o es verdadera o es falsa; no hay una tercera posibilidad. Se expresa por la siguiente f ormula:
1.9. EQUIVALENCIAS NOTABLES p p
37
Estas tautolog as no son las u nicas, dado que el n umero de tautolog as es innito. Las tautolog as que vamos a usar son aqu ellas que tienen especial utilidad, y las vamos a clasicar en tautolog as llamadas equivalencias notables y las llamadas implicaciones notables. Todas estas tautolog as se conocen con el nombre de Leyes l ogicas. Una forma proposicional es una ley l ogica si y s olo si cualquiera que sea la interpretaci on formalmente correcta que se haga de la misma, se obtiene como resultado una verdad l ogica.
1.9.
Equivalencias notables
Las equivalencias notables son leyes l ogicas para transformar esquemas o proposiciones y obtener sus respectivas equivalencias. Esto implica que uno de los equivalentes se deduce l ogicamente del otro. A continuaci on estudiaremos las equivalencias m as importantes:
1.9.1.
La doble negaci on (DN)

( p) p
Seg un esta ley dos negaciones de igual alcance equivalen a una armaci on. 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 franc es equivale a Descartes es franc es.
1.9.2.
La idempotencia (Idem)
a) b) ppp ppp
Las variables redundantes en una cadena de conjunciones o, tambi en, en 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 conmutaci on (Conm.)
a) b) c) pq qp pq qp pqqp
Seg un estas leyes, si en las proposiciones conjuntivas, disyuntivas y bicondicionales 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 t ermino y que conecta proposiciones no cumple con la ley conmutativa. En este caso, no es una conjunci on l ogica; por ejemplo en: Pedro tom o barbit uricos y muri o, si se conmutan los componentes de esta proposici on, el equivalente no signica lo mismo. (2) Est as preocupado o est as enfermo, equivale a est as enfermo o est as preocupado. (3) Daniel viajar a al espacio sideral si y s olo si es un astronauta, equivale a Daniel es un astronauta si y s olo si viajar a al espacio sideral.
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 m as de una conjunci on con igual jerarqu a, ellas pueden agruparse indistintamente. Ejemplo: (1) (p q ) (r s) ( p s) En este esquema hay dos conjunciones con la misma jerarqu a. Pueden agruparse como sigue: (p q ) [(r s) ( p s)] o tambi en as : [(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 distribuci on (Dist.)
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)
Seg un estas leyes, a) es la distribuci on del esquema conjuntivo al disyuntivo, que consiste en que uno de los miembros del esquema conjuntivo se distribuye a cada miembro del disyuntivo. El equivalente es una disyunci on de conjunciones. 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 distribuci on del esquema disyuntivo al conjuntivo que consiste en que cada miembro del esquema disyuntivo se distribuye en cada miembro del conjuntivo. El equivalente es una conjunci on de disyunciones. 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 distribuci on del esquema condicional al conjuntivo, donde el antecedente del esquema condicional se distribuye en cada miembro del conjuntivo que est a en el consecuente. El equivalente es una conjunci on de condicionales. 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 distribuci on del esquema condicional al disyuntivo donde el antecedente del esquema condicional se distribuye a cada miembro del disyuntivo que est a en el consecuente. El equivalente es una disyunci on de condicionales. 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 conjunci on a disyunci on, o la disyunci on a conjunci on, y negando cada uno de los componentes. Ejemplos: (1) En invierno nieva y hace fr o, equivale a no es el caso que en invierno no 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 Rub en estudie y trabaje, equivale a Rub en no estudia 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 f ormulas aplicando las leyes de De Morgan se deben tener en cuenta los siguientes pasos: i. Cambiar por o cambiar por . ii. Negar cada componente de la conjunci on o de la disyunci on. iii. Negar toda la f ormula. iv. Mantener la jerarqu a de los operadores. 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 denici on del esquema condicional por medio del disyuntivo. Seg un esta ley, se niega el antecedente y el condicional se cambia por el disyuntivo. Ejemplos: (1) Si Kant es un l osofo entonces es idealista, equivale a Kant no es un l osofo o es un idealista. (2) Si Pedro no lleg o tarde entonces recibi o el telegrama antes del medio d a, equivale a, Pedro tarde o recibi o el telegrama antes del medio d a. b) es la denici on del esquema condicional por medio del conjuntivo. Seg un esta ley, se niega toda la expresi on y el esquema condicional se cambia por el conjuntivo a la vez que se niega el consecuente. Ejemplos: (3) Si Daniel es diplom atico entonces habla m as de un idioma, equivale a, no es el caso que Daniel sea un diplom atico y no hable m as de un idioma. (4) Si Ada gana el concurso de m usica entonces viajar a al extranjero, equivale a, no es posible que Ada gane el concurso de m usica y no viaje al 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 geom etrica tiene tres a ngulos si y s olo si es un tri angulo, equivale a, si una gura geom etrica tiene tres angulos entonces es un tri angulo, y si es un tri angulo entonces es una gura geom etrica que tiene tres a ngulos. b) indica que un esquema bicondicional puede transformarse en una disyunci on de conjunciones armando los dos componentes conjuntivamente, o negando los dos componentes tambi en conjuntivamente. Ejemplos: (2) Un n umero es positivo si y s olo si es mayor que cero, equivale a, un n umero es positivo y es mayor que cero, o un n umero no es positivo y es mayor que cero. (3) Luis no viajar a al norte si y s olo si el pasaje es caro, equivale a, Luis no viajar a al norte y el pasaje es caro, o Luis no viajar a al norte y el pasaje no es caro.
1.9.9.
La denici on del disyuntivo exclusivo (Def. Disy. Excl.)

p q (p q ) (p q )
Un disyuntivo fuerte o exclusivo es equivalente a una expresi on donde se interpreta solamente la verdad de uno de sus miembros, pero nunca de los dos a la vez. Ejemplo: (1) O Smith es un pr ospero industrial o es un obrero idealista, equivale a, Smith es un pr ospero industrial o es un obrero idealista, pero no es el caso que sea un pr ospero industrial y un obrero idealista.
1.9.10.
La absorci on (Abs.)
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 absorci on del esquema conjuntivo al disyuntivo. En este 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 disyunci on o una cadena de disyunciones, es el esquema que se absorbe. La operaci on para deducir el equivalente consiste en aplicar lo siguiente: i. Si una de las variables del esquema absorbente se repite id enticamente en la disyunci on o en la cadena de disyunciones, se absorbe toda la disyunci on o la cadena de disyunciones. ii. Si una de las variables del esquema absorbente se repite en la disyunci on o en la cadena de disyunciones, pero ya no igual sino armada o negada, entonces se absorbe solamente la variable que est a en la disyunci on o en 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 Tambi en se aplica i y se tiene: 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 absorci on se obtiene: p q r t Aqu se ha aplicado i y ii a la vez. b) y d) constituyen la absorci on del esquema disyuntivo al conjuntivo. A 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 conjunci on o una cadena de conjunciones. El procedimiento para deducir 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 conjunci on o la cadena de conjunciones. iv. Si una de las variables del esquema absorbente se repite en la conjunci on o en la cadena de conjunciones, pero no igual sino armada o negada, entonces se absorbe solamente la variable que est a en la conjunci on o en la cadena de conjunciones. Ejemplos: (6) p (q p) Aplicando iii se obtiene: p (7) (p q r t) (s r) Tambi en aplicando iii se tiene: 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) Tambi en aplicando iii y iv a la vez se tiene: r p t
1.9.11.
La expansi on (Expan.)
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 seg un b) se expande con el disyuntivo y una contradicci on. 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 expansi on en c) y d) indica que los condicionales pueden ser transformados en bicondicionales. En el primer caso el antecedente es uno de los miembros del bicondicional y el otro miembro es la conjunci on del antecedente 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 disyunci on del antecedente 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 a viene de visita entonces se quedar a a cenar, equivale a, si Mar a no se queda a cenar entonces no viene de visita. (2) Obtendr e boletos para ir al estadio si y s olo si mis amigos son acionados al f utbol, equivale a, mis amigos no son acionados al f utbol si y s olo si no obtendr e boletos para ir al estadio.
46
1.9.13.
La Exportaci on (Exp.)
(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 l ogicas hasta aqu citadas se pueden efectuar una serie de operaciones l ogicas, en especial deducir equivalencias. En particular usaremos muchas de estas leyes para transformar esquemas moleculares y decidir si una inferencia es v alida o no.
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 este alg un principio l ogico que permita arribar a una tautolog a, contingencia o contradicci on. Para tal n usaremos las siguientes 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 tautol ogico 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 tautol ogico. (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 continuaci on mostraremos ejemplos en los cuales se decide si una inferencia es v alida o no; para tal efecto simbolizamos la inferencia, la convertimos 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 a. Es imposible que Michel mienta o Marcela no est e en su casa al medio d a. En consecuencia, Aldo es el autor del crimen si viaj o al norte. Aldo es el autor del crimen = p Michel miente = q Marcela estaba en su casa al medio d a = r Aldo viaj o al norte = s 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 e es un economista si y s olo si trabaja en la direcci on de nanzas. De ah que, si no trabaja en la direcci on de nanzas, ni es economista ni es acionado al comercio. Jos e es economista = p Jos e trabaja en la direcci on de nanzas = q Jos e es acionado al comercio = r 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 v alida.
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 v alida.

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 v alidos o no. 1. (p q ) (q p) 2. [( p q ) (r q )] (r p) 3. (p q ) r
50
A LA LOGICA CAP ITULO 1. INTRODUCCION 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 a en las elecciones, si y s olo si los candidatos no son idealistas y conocen los problemas de la realidad. 12. En la Edad Media, algunos consideraban el papel del cient co an alogo al del sacerdote; pero otros consideraban el papel del cient co an alogo al del profeta. En consecuencia, o los romanos ten an la raz on si algunos consideraban el papel del cient co an alogo al dl sacerdote, o si los romanos ten an la raz on, consideraban el papel del cient co an alogo al del profeta. 13. Si la teor a de la relatividad es exacta entonces el eter no existe, si y s olo si la teor a de la relatividad es exacta si Einstein dice la verdad. Por lo tanto, si el eter existe, Einstein no dice la verdad o la teor a de la relatividad no es exacta. 14. La exploraci on de Marte es importante, si las a reas oscuras son desconocidas o se obtendr an minerales raros, y, si hay s olo gases t oxicos, la exploraci on de Marte no es importante. Pero, no es el caso que no se obtengan minerales raros o no haya gases t oxicos. Luego, la investigaci on cient ca explicar a el origen del universo si y s olo si las a reas oscuras de Marte son conocidas. 15. Carlos viajar a a Alemania, si obtiene buenas notas o no tiene problemas familiares. Pero Carlos no viajar a a Alemania. Por lo tanto, tiene problemas familiares y no obtuvo buenas notas. 16. Pit agoras descubri o el teorema que lleva su nombre si y s olo si fue un ge ometra. Luego, si fue un ge ometra cre o el m etodo matem atico y descubri o el teorema que lleva su nombre. 17. Si un n umero par es positivo, entonces no es un n umero decimal ni es un n umero primo. Un n umero par es negativo si y s olo si es un n umero menor que dos. Si no es un n umero decimal entonces es un n umero entero. Por lo tanto, si un n umero no es menor que dos entonces es un n umero entero.
1.11. LAS IMPLICACIONES NOTABLES
51
1.11.
Las implicaciones notables
Las implicaciones notables son leyes l ogicas que indican las formas de pasar l ogicamente de las premisas a la conclusi on. A continuaci on estudiamos las m as importantes.
1.11.1.
Modus ponendo ponens (MPP)

pq p q
Seg un esta ley, si se arma el antecedente de una premisa condicional, se concluye en la armaci on del consecuente. Ejemplo: (1) Si llueve entonces las pistas est an mojadas. Llueve. Luego, las pistas est an mojadas. 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 est an entrenados o los pol 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 est an entrenados o los pol ticos no conocen la estrategia de la guerra. Simbolizando se puede apreciar con m as claridad la forma de MPP. Los Los Los Los militares valientes se cansan = p pol ticos son buenos soldados = q militares valientes est an entrenados = r pol ticos conocen la estrategia de la guerra = s (p q ) ( r s) p q r s Este es un ejemplo de sustituci on de la forma del razonamiento modus ponendo ponens : p q , p, q , donde (p q ) sustituye a p y ( r s) sustituye a q . Cualquier ejemplo de sustituci on de una forma de razonamiento v alida es un razonamiento v alido. Del mismo modo se procede en todas la leyes l ogicas.
52
1.11.2.
Modus tollendo tollens (MTT)

pq q p
Seg un esta ley, si se niega el consecuente de una premisa condicional, se concluye en la negaci on del antecedente. Ejemplos: (1) Si Luisa gana el concurso de literatura entonces viajar a a Par s. Pero Luisa no viajar a a Par s. Luego, no gan o el concurso de literatura. (2) Si la materia se destruye y Dios existe, entonces la teor a de la relatividad no es exacta. La teor a de la relatividad es exacta. Luego, no es el caso 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 disyunci on, se concluye en la armaci on del otro miembro. Ejemplos: (1) Jorge pasar a sus vacaciones en Ica o en Trujillo. Jorge no pasar a sus vacaciones en Ica. Por lo tanto, pasar a sus vacaciones en Trujillo. (2) Hace fr o y llueve, o el festival se celebrar a al aire libre. El festival no se celebrar a al aire libre. Luego, hace fr o y llueve.
1.11.4.
Simplicaci on (Simp)
pq p pq q
Seg un esta ley, de una premisa conjuntiva se puede concluir en cualquiera de sus miembros. Ejemplos: (1) Plat on fue pol tico y l osofo. Por lo tanto, Plat on fue pol tico. (2) El cient co no es esc eptico, pero duda de las verdades absolutas. Por lo tanto, el cient co duda de las verdades absolutas.
1.11. LAS IMPLICACIONES NOTABLES
53
1.11.5.
Adici on (Ad.)
p pq
Una disyunci on est a implicada por cualquiera de sus miembros. Ejemplo: (1) Napole on fue deportado a la isla de Santa Elena. Por lo tanto fue deportado a la isla de Santa Elena o fue derrotado por los ingleses.
1.11.6.
Conjunci on (Conj.)
p q pq
De dos premisas se puede concluir en la conjunci on de ellas. Ejemplo: (1) Tales naci on en Mileto. S ocrates naci o en Atenas. Luego, Tales naci o en Mileto y S ocrates en Atenas.
1.11.7.
Silogismo hipot etico puro (SHP)

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

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

(p q )(r s) pr qs
Seg un esta ley, si en la conjunci on de dos condicionales armamos los dos antecedentes disyuntivamente, se puede concluir en la armaci on disyuntiva de los consecuentes. Ejemplo: (1) Si Ra ul participa en un comit e electoral de la universidad entonces los estudiantes se enojar a con el, y si no participa en un comit e electoral de la universidad entonces las autoridades universitarias se enojar a con el. Pero, Ra ul participar a en un comit e electoral de la universidad o no participar a. Por lo tanto, los estudiantes o las autoridades universitarias se enojar an con el.
1.11.10.
Dilema destructivo compuesto (DDC)

(p q )(r s) q s p r
Seg un esta ley, si negamos los dos consecuentes alternativamente de la conjunci on d dos condicionales se puede concluir en la negaci on alternativa de los antecedentes. Ejemplo: (1) Si Alberto dec a la verdad, entonces Luis corromp a la juventud, y si el tribunal lo conden o equivocadamente, entonces Alberto no es el culpable. Pero Luis no corromp a la juventud o Alberto es el culpable. Por lo tanto, Alberto no dec a la verdad o el tribunal no conden o a Luis equivocadamente. Los dilemas fueron muy usados en la antigua ret orica para poner en situaciones dif ciles al interlocutor en una discusi on.
1.11.11.
La ley del absurdo (RA)

p (q q ) p
Si una contradicci on se deduce de un conjunto de premisas m as la negaci on de una f ormula, por ejemplo p, entonces p es derivable u nicamente del conjunto de premisas.
1.12. LA DERIVACION
55
1.11.12.
La prueba condicional (PC)

pq p (p q )
Seg un esta ley, si podemos deducir q de p y de un conjunto de premisas, 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 m etodo llamado derivaci on.
1.12.
La derivaci on
La derivaci on es un procedimiento formal para demostrar que la conclusi on se deduce l ogicamente de las premisas o de un conjunto de premisas. Este procedimiento consiste en obtener la conclusi on deseada mediante la aplicaci on de leyes l ogicas en una secuencia nita de pasos. Entonces, dado un conjunto de premisas, la deducci on l ogica debe permitirnos sacar consecuencias que s olo l ogicamente se siguen de las premisas; en otro t erminos, consecuencias que son implicadas por las premisas. Por ejemplo, sea el razonamiento: (1) Si Carn eades vino en auxilio de los epic ureos, entonces hab a hecho causa com un contra los estoicos o vino con el pretexto de su virtuosidad dial ectica. Carn eades vino en auxilio de los epic ureos, pero no hab a hecho causa com un contra los estoicos. Por lo tanto, vino con el pretexto de su virtuosidad dial ectica. Para facilitar la demostraci on simbolizamos el razonamiento como sigue: Carn eades vino en auxilio de los epic ureos = p Carn eades hab a hecho causa com un contra los estoicos = q Carn eades vino con el pretexto de su virtuosidad dial ectica = r p (q r) p q r y luego efectuamos la derivaci on: 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 u ltima secuencia es la conclusi on de la inferencia que se deseaba demostrar. Los n umero precedidos por P, en este caso 1 y 2, son premisas y no se derivan de ninguna otra. En nuestra derivaci on las secuencias entre 3 y 6 son consecuencias de aplicarse las leyes l ogicas.
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 v alida. Para derivaciones de esta naturaleza el procedimiento es el mismo. A manera de ilustraci on daremos m as ejemplos. (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 a ver, deducir la consecuencia depende de la destreza que se tenga en el manejo de las leyes l ogicas; sin embargo, este m etodo tiene serias limitaciones, dado que si la conclusi on no es consecuencia l ogica del conjunto de premisas, nunca se obtendr a la conclusi on deseada. M as aun, no hay forma
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 m etodo s olo prueba cuando la premisa o el conjunto de premisas implica la conclusi on.
Ejercicio 7
A. Efect ue una deducci on de las conclusiones que se siguen de los conjuntos de premisas que aparecen a continuaci on, indicando el n umero de cada paso, la justicaci on de cada l nea mediante la abreviatura de la ley utilizada y los n umeros de la s l neas de las que se deduce cada paso. Cabe indicar que todos los razonamientos propuestos para derivaciones son v alidos. 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 derivaci on la validez de cada una de las siguientes inferencias:
62
A LA LOGICA CAP ITULO 1. INTRODUCCION 21. Si el testigo dice la verdad entonces Pepe estaba en su casa antes del medio d a; pero si Pepe pas o el d a en el club entonces no estaba en su casa antes del medio d a. Pepe pas o el d a en el club. Por lo tanto, el testigo no dice la verdad. 22. Si Carmen es acionada a la m usica o al teatro, entonces asiste a 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 s olo si se venden en las estas o se venden en las playas. Si hace mucho fr o entonces los helados no son caros, y si los helados no son dulces entonces no se venden en las estas. Pero, no es el caso que no haga mucho fr o y los helados sean dulces. 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 a hecha de queso verde. 25. Si los fen omenos de la naturaleza son observables, entonces el conocimiento emp rico es exacto si la ciencia posee instrumentos poderosos. El m etodo cient co es universal si y s olo si la ciencia f actica informa sus investigaciones. No es el caso que la ciencia f actica informe sus investigaciones y el conocimiento emp rico sea exacto. Los fen omenos de la naturaleza son observables. En consecuencia, si el m etodo cient co es universal entonces la ciencia no posee instrumentos poderosos. 26. Si los artefactos el ectricos son caros, entonces hay devaluaci on o no hay control de precios. Si no hay control de precios entonces la sociedad no est a contenta. Si no hay revoluci on, entonces la sociedad est a contenta o hay cambio social. Si hay revoluci on entonces los pol ticos mienten. De ah que, si los artefactos el ectricos son caros y los pol ticos no mienten, entonces hay devaluaci on o hay cambio social. 27. El psiquiatra se equivoc o en el diagn ostico, o Elena sufre de delirio de persecuci on si no est a son ambula. Si Elena sufre de delirio de persecuci on, entonces ser a internada en el nosocomio si es psic opata. Pero, el psiquiatra no se equivoc o en el diagn ostico y Elena sufre de delirio de persecuci on. Por lo tanto, Elena no es psic opata o est a son ambula; puesto que, no es el caso que sufra de delirio de persecuci on y sea internada en el nosocomio. 28. Rolando viajar a al norte, si y s olo si es un delegado estudiantil y no tiene ex amenes en la universidad. Si Rolando no viaja al norte,
AL ABSURDO 1.13. LA PRUEBA POR REDUCCION
63
entonces si no es un delegado estudiantil, no representar a a los estudiantes en el congreso. Rolando tiene ex amenes en la universidad, sin embrago representar a a los estudiantes en el congreso. En consecuencia, representar a a los estudiantes en el congreso si y s olo si es un delegado estudiantil. 29. Si es un n umero primo entonces es una fracci on negativa, y si es un n umero par entonces es un n umero mayor que cero. Si un n umero no es una fracci on positiva o es mayor que cero, entonces un n umero es divisible por dos pero no es un n umero primo. No es cierto que sea un n umero impar y no sea un n umero primo. De ah que, si no es un n umero decimal, entonces no es un n umero primo pero es un n umero divisible por dos. 30. Si es un n umero primo, entonces o es indivisible por dos o no es una fracci on positiva. Un n umero es divisible por dos si y s olo si es un n umero par. Si es una fracci on negativa, ni es un n umero mayor que cero ni es un n umero decimal. No es el caso que sea un n umero impar o no sea un n umero mayor que cero. En consecuencia, si un n umero no es indivisible por dos o es un n umero primo, entonces no es un n umero impar ni es un n umero primo.
1.13.
La prueba por reducci on al absurdo
Esta prueba consiste en negar la conclusi on e introducirla como premisa adicional al conjunto de premisas ya dadas, y de ellas derivar una contradicci on. La consecuci on de la contradicci on en la secuencia de pasos indicar a que el conjunto de premisas ya dadas implica la conclusi on. Esto es, si una contradicci on es derivable de P (conjunto de premisas) m as la negaci on de una f ormula C (conclusi on), entonces C se deduce l ogicamente de P. O sea, si de P y C se deduce una contradicci on (p p), entonces se tiene C (p p), y por la ley del absurdo (ver subsecci on 1.11.11), se concluye en C , que a su vez es lo mismo que C por DN. Para desarrollar las pruebas por reducci on al absurdo se siguen los siguientes pasos: i. introducir como una nueva premisa la negaci on de la conclusi on deseada. ii. Deducir una contradicci on del conjunto de premisas m as la premisa adicional. iii. Armar la conclusi on deseada como deducci on l ogica de las premisas. El procedimiento formal de la deducci on es el mismo que en la secci on 1.12. Ejemplo:
64
(1) Si el contrato es v alido, entonces, la Sra. Gonz alez tendr a que desocupar la casa o estar a obligada a pagar jur dicamente. Si la Sra. Gonz alez tiene que desocupar la casa entonces el contrato no es v alido.
Ap endice A Implementaci on computacional

A.1. Mathematica
Mathematica es un programa utilizado en a reas cient cas, de ingenier a, matem aticas y areas computacionales. Originalmente fue concebido por Stephen Wolfram, quien contin ua siendo el l der del grupo de matem aticos y programadores que desarrollan el producto en Wolfram Research, compa n a ubicada en Champaign, Illinois. Com unmente considerado como un sistema de a lgebra computacional, Mathematica es tambi en un poderoso lenguaje de programaci on de prop osito general. La primera versi on de Mathematica se puso a la venta en 1988. La versi on 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 n ucleo que desempe na los c alculos. Y el front end o interfaz, que despliega los resultados y permite al usuario interactuar con el n ucleo como si fuera un documento. El lenguaje de programaci on de Mathematica est a basado en re-escritura de t erminos (que se identica tambi en como computaci on simb olica), y soporta el uso de programaci on funcional y de procedimientos (aunque en general, la programaci on funcional es m as eciente). Est a implementado en una variante del lenguaje de programaci on C orientado a objetos, pero el grueso del extenso c odigo de librer as est a en realidad escrito en el lenguaje Mathematica. Usualmente, puede a nadirse nuevo c odigo mediante archivos de texto escritos en el 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 en blanco. El Shift Enter usuario digita la entrada (input), luego presiona (en simult aneo) para que Mathematica procese su entrada. Shift Enter indica a Mathematica que el usuario ha nalizado su entrada. 65
66
COMPUTACIONAL APENDICE A. IMPLEMENTACION
Despu es de ejecutar una entrada en Mathematica desde un cuaderno, Mathematica etiquetar a la entrada con In[n]:=. Tambi en etiqueta la correspondiente 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
C alculos con Mathematica
Mathematica puede ser usado como una potente calculadora cient ca.
Un c alculo num erico b asico.
In[2]:= Out[2]=
9.7200 2.26124 10197
Mathematica
Un c alculo algebraico b asico.

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 c alculo de la cuarta derivada con respecto a x.

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 c alculo de una integral.

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

ArcTan
1+2 x 3
67
Out[6]=
1 +1 Log[1 + x] 6 Log [1 + x + x2 ] 3
Mathematica
La gr aca de una funci on z = f (x, y ).

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

Mathematica
F ormula de Newton para hallar el cero de una funci on.

In[8]:= In[9]:= Out[9]=
NewtonZero[f , x0 ]:=FixedPoint[# f [#]/f [#]&, x0] NewtonZero[BesselJ[2, #]&, 5.0] 5.13562
Mathematica
Buscar una aproximaci on a mediante la b usqueda de la proporci on de puntos que se 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
COMPUTACIONAL APENDICE A. IMPLEMENTACION
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 continuaci on.
Mathematica
Incializaci on del paquete matematica1.

In[12]:=
<<matematica1.m

Logica

Uploaded by

Document Information

Original Title

Copyright

Available Formats

Share this document

Share or Embed Document

Sharing Options

Did you find this document useful?

Is this content inappropriate?

Copyright:

Available Formats

Logica

Uploaded by

Copyright:

Available Formats

Universidad Nacional de Piura Departamento Acad emico de Matem atica

MATEMATICA I con MATHEMATICA R

Piura, 3 de mayo de 2012 PERU

Cap tulo 1 Introducci on a la l ogica

A LA LOGICA CAP ITULO 1. INTRODUCCION

1.1. FUNCIONES VERITATIVAS

1.1. FUNCIONES VERITATIVAS

A LA LOGICA CAP ITULO 1. INTRODUCCION Esta proposici on se simboliza por: p q

Simbolizaci on de proposiciones y el uso de los signos de agrupaci on

1.3. ESQUEMAS MOLECULARES

A LA LOGICA CAP ITULO 1. INTRODUCCION

Evaluaci on de esquemas moleculares por la tabla de valores

Evaluaci on del esquema (p q ) q .

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).

Evaluaci on del esquema [(p q ) (r p)] (r p).

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

Evaluaci on del esquema [r (q p)] [q (r p)].

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

Evaluaci on del esquema [( p q ) r] [r (p q )].

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

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

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

1.5. EQUIVALENCIA E IMPLICACION

Figura 1.5: Dos esquemas equivalentes.

Evaluaci on de los esquemas A y B .

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

A LA LOGICA CAP ITULO 1. INTRODUCCION

Evaluaci on de los esquemas A y B .

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.

Evaluaci on de los esquemas A y B .

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

Evaluaci on de los esquemas A y $C .

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

Evaluaci on de los esquemas B y $C .

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

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

A LA LOGICA CAP ITULO 1. INTRODUCCION

Figura 1.9: Dos esquemas no equivalentes.

1.5. EQUIVALENCIA E IMPLICACION 6) A =

A LA LOGICA CAP ITULO 1. INTRODUCCION

Evaluaci on de los esquemas A y B .

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

1.5. EQUIVALENCIA E IMPLICACION

Evaluaci on de los esquemas A y B .

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

Denici on de los esquemas K , A, B y $C en Mathematica.

Evaluaci on de los esquemas A y K .

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

A LA LOGICA CAP ITULO 1. INTRODUCCION

Figura 1.12: Una implicaci on.

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

Evaluaci on de los esquemas B y K .

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

Evaluaci on de los esquemas $C y K .

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

A LA LOGICA CAP ITULO 1. INTRODUCCION