Documentos de Académico
Documentos de Profesional
Documentos de Cultura
v 1.0
Notas sobre
L ogica proposicional
4 de diciembre de 2012
David Alejandro Trejo Pizzo Este apunte contiene material de varias fuentes, las cuales son debidamente citadas al nal del documento.
Indice
1. Proposiciones y Tablas de Verdad 1.1. Proposici on . . . . . . . . . . 1.2. Valor de Verdad . . . . . . . 1.3. Proposici on compuesta . . . . 1.4. Variables de Enunciado . . . 1.5. Tablas de Verdad . . . . . . . 2. Conexi on entre Proposiciones 2.1. Conjunci on . . . . . . . . 2.2. Disyunci on . . . . . . . . 2.3. Disyunci on Exclusiva . . . 2.4. Negaci on . . . . . . . . . . 2.5. Proposici on condicional . 2.6. Proposici on bicondicional . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 3 3 4 5 5 5 7 7 7 8 8 8 9 11 11 11 11 12 12 12 13
. . . . . .
. . . . . .
. . . . . .
. . . . . .
. . . . . .
. . . . . .
. . . . . .
. . . . . .
. . . . . .
. . . . . .
. . . . . .
. . . . . .
. . . . . .
. . . . . .
. . . . . .
. . . . . .
. . . . . .
. . . . . .
. . . . . .
. . . . . .
. . . . . .
. . . . . .
. . . . . .
. . . . . .
. . . . . .
. . . . . .
. . . . . .
3. Clasicaci on de las proposiciones compuestas 3.1. Tautolog a . . . . . . . . . . . . . . . . . . 3.2. Contingencia . . . . . . . . . . . . . . . . 3.3. Contradicci on . . . . . . . . . . . . . . . . 3.4. Proposici on contraria . . . . . . . . . . . . 3.5. Proposici on reciproca . . . . . . . . . . . . 3.6. Proposici on contra reciproca . . . . . . . . 3.7. Resumen . . . . . . . . . . . . . . . . . . .
. . . . . . .
. . . . . . .
. . . . . . .
. . . . . . .
. . . . . . .
. . . . . . .
. . . . . . .
. . . . . . .
. . . . . . .
. . . . . . .
. . . . . . .
. . . . . . .
. . . . . . .
. . . . . . .
. . . . . . .
. . . . . . .
. . . . . . .
. . . . . . .
4. Implicaci on 14 4.1. Implicaciones L ogica mas Comunes . . . . . . . . . . . . . . . . . . . . . . 14 5. Equivalencia L ogica 15 5.1. Equivalencias L ogicas mas Comunes . . . . . . . . . . . . . . . . . . . . . 15 6. Razonamiento 17 6.1. Razonamiento valido . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 17 7. Referencias 18
1.
La l ogica se ocupa de los m etodos del razonamiento. Uno de los objetivos fundamentales es sistematizar y codicar principios de los razonamientos validos con el objeto de formar o construir argumentaciones o deducciones que sean correctas. Un argumento o deducci on consta esencialmente de un conjunto de sentencias (armaciones) que forman lo que se llaman premisas o hip otesis de las cuales otra sentencia, llamada conclusi on, es deducida o inferida. En el desarrollo de cualquier teor a matem atica se hacen armaciones en forma de frases. Tales armaciones, verbales o escritas, las denominaremos enunciados o proposiciones.
1.1.
Proposici on
En el lenguaje ordinario nos encontramos constantemente con sentencias que han sido formadas uniendo frases mas peque nas por medio de ciertas palabras, como las palabras no, y, o, y por si. . . entonces (o implica). . ., si y solo si, etc. Estas palabras son llamadas conectivos proposicionales o conectivos l ogicos. Ahora vamos a denir el lenguaje de la L ogica Proposicional Cl asica. Este lenguaje es un conjunto de s mbolos con los cuales formamos cadenas de elementos de. Las cadenas no se construyen de una manera arbitraria. Daremos reglas precisas para la formaci on de dichas cadenas, las cuales ser an llamadas formulas.
Proposici on es cualquier armaci on que sea verdadera o falsa, pero no ambas cosas a la vez. Ejemplo 1 Las siguientes armaciones son proposiciones: 1. Gabriel Garc a Marquez escribi o Cien a nos de soledad. 2. 6 es un numero primo. 3. 3+2=6 4. 1 es un numero entero, pero 2 no lo es. Nota: las proposiciones se notan con letras min usculas, como por ejemplo p, q, r. La notaci on p: Tres mas cuatro es igual a siete se utiliza para denir que p es la proposici on tres mas cuatro es igual a siete. Este tipo de proposiciones se llaman simples, ya que no pueden descomponerse en otras.
Ejemplo 2 Las siguientes no son proposiciones: 1. x + y 5 2. Te vas? 3. Compra cinco azules y cuatro rojas. 4. x = 2 En efecto, (1) es una armaci on pero no es una proposici on ya que puede ser verdadera o falsa dependiendo de los valores de x e y. Lo mismo ocurre con la armaci on (4). Los ejemplos (2) y (3) no son armaciones, por lo tanto no son proposiciones.
Nota: Es importante ver que desde el punto de vista l ogico carece de importancia cual sea el contenido material de los enunciados, solamente interesa su valor de verdad.
1.2.
Valor de Verdad
Llamaremos valor de verdad de una proposici on a su veracidad o falsedad. El valor de verdad de una proposici on verdadera es verdad y el de una proposici on falsa es falso.
Ejemplo 1 Primero comprobar cuales de las siguientes armaciones son proposiciones y luego determinar el valor de verdad de aquellas que lo sean. 1. p: Existe Premio Nobel de inform atica. 2. q: La tierra es el u nico planeta del Universo que tiene vida. 3. r: Teclee Escape para salir de la aplicaci on. 4. s: Cinco mas siete es grande. Soluci on p es una proposici on falsa, es decir su valor de verdad es Falso. No sabemos si q es una proposici on ya que desconocemos si esta armaci on es verdadera o falsa. r no es una proposici on ya que no es verdadera ni es falsa. Es un mandato.
s no es una proposici on ya que su enunciado, al carecer de contexto, es ambiguo. En efecto, cinco ni nas mas siete ni nos es un numero grande de hijos en una familia, sin embargo cinco monedas de cinco centavos mas siete monedas de 10 centavos no constituyen una cantidad de dinero grande.
1.3.
Proposici on compuesta
Si las proposiciones simples p1, p2, . . . , pn se combinan para formar la proposici on P, diremos que P es una proposici on compuesta de p1, p2, . . . , pn. Ejemplo 1 La Matem atica Discreta es mi asignatura preferida y Mozart fue un gran compositor. Es una proposici on compuesta por las proposiciones La Matem atica Discreta es mi asignatura preferida y Mozart fue un gran compositor. Ejemplo 2 El es inteligente o estudia todos los d as. Es una proposici on compuesta por dos proposiciones: El es inteligente y El estudia todos los d as. Nota: La propiedad fundamental de una proposici on compuesta es que su valor de verdad esta completamente determinado por los valores de verdad de las proposiciones que la componen junto con la forma en que est an conectadas.
1.4.
Variables de Enunciado
Es una proposici on arbitraria con un valor de verdad no especicado, es decir, puede ser verdad o falsa. En el calculo l ogico, prescindiremos de los contenidos de los enunciados y los sustituiremos por variables de enunciado. Toda variable de enunciado p, puede ser sustituida por cualquier enunciado siendo sus posibles estados, verdadero o falso. El conjunto de los posibles valores de una proposici on p, los representaremos en las llamadas tablas de verdad, ideadas por L. Wittgenstein.
1.5.
Tablas de Verdad
La tabla de verdad de una proposici on compuesta P enumera todas las posibles combinaciones de los valores de verdad para las proposiciones p1, p2, . . . , pn. Para saber cuantos renglones debe tener una tabla de verdad, tenemos que saber la cantidad de proposiciones que tiene la proposici on compuesta. El resultado se calcula elevando 2 a ese valor. Formula:
2cantidad Ejemplo 1
de proposiciones
= cantidad de renglones
Por ejemplo, si P es una proposici on compuesta por las proposiciones simples p1, p2 y p3 , entonces la tabla de verdad de P deber a tener 8 renglones (23 = 8) para poder tener todas las combinaciones de valores de verdad posibles. p1 V V V V F F F F p2 V V F F V V F F p3 V F V F V F V F
2.
En esta parte del apunte veremos las distintas formas de conectar proposiciones.
2.1.
Conjunci on
Dadas dos proposiciones cualesquiera p y q, llamaremos conjunci on de ambas a la proposici on compuesta p y q y la notaremos p q . Esta proposici on sera verdadera u nicamente en el caso de que ambas proposiciones lo sean.
De la denici on dada se aprecia que si p y q son verdaderas entonces p q es verdad y que si al menos una de las dos es falsa, entonces p q es falsa. Por lo tanto su tabla de verdad seria as : p V V F F q V F V F pq V F F F
El razonamiento puede hacerse a la inversa, es decir si p q es verdad, entonces p q son, ambas, verdad y que si p q es falsa, entonces por lo menos una de las dos ha de ser falsa.
2.2.
Disyunci on
Dadas dos proposiciones p y q, llamaremos disyunci on de ambas a la proposici on compuesta p q . Esta proposici on sera verdadera si al menos una de las dos, p o q, lo es.
De acuerdo con la denici on se sigue que si una de las dos, p q , es verdad entonces p q es verdad y que p q sera falsa, u nicamente si ambas lo son. p V V F F q V F V F pq V V V F
Al igual que en la conjunci on, podemos razonar en sentido inverso. Si p q es verdad, entonces una de las dos, al menos, ha de ser verdad y si p q es falsa, entonces ambas han de ser falsas. El conectivo o se usa en el lenguaje ordinario de dos formas distintas.
2.3.
Disyunci on Exclusiva
Dadas dos proposiciones cualesquiera p y q, llamaremos disyunci on exclusiva de ambas a la proposici on compuesta p o q pero no ambos y la notaremos p q . Esta proposici on sera verdadera si una u otra, pero no ambas son verdaderas. Seg un esta denici on una disyunci on exclusiva de dos proposiciones p y q sera verdadera cuando tengan distintos valores de verdad y falsa cuando sus valores de verdad sean iguales. Su tabla de verdad es, por tanto: p V V F F q V F V F pq F V V F
Haciendo el razonamiento contrario si p y q es verdad, u nicamente podemos asegurar que una de las dos es verdad y si p y q es falsa, solo podemos deducir que ambas tienen el mismo valor de verdad.
Nota: Salvo que especiquemos lo contrario, o sera usado en el primero de los sentidos. Esta discusi on pone de maniesto la precision que ganamos con el lenguaje simb olico.
2.4.
Negaci on
Dada una proposici on cualquiera p llamaremos negaci on de p a la proposici on no p y la notaremos p. Seria verdadera cuando p sea falsa y falsa cuando p sea verdadera. p V V F F q V F V F q F V F V pq F V F F (p q ) V F V V
2.5.
Proposici on condicional
Dadas dos proposiciones p y q, a la proposici on compuesta si p entonces q se le llama proposici on condicional y se nota por p q
A la proposici on p se le llama hip otesis, antecedente, premisa o condici on suciente y a la q tesis, consecuente, conclusi on o condici on necesaria del condicional. Una proposici on condicional es falsa u nicamente cuando siendo verdad la hip otesis, la conclusi on es falsa (no se debe deducir una conclusi on falsa de una hip otesis verdadera). De acuerdo con esta denici on su tabla de verdad es: p V V F F q V F V F p q V F V V
Otras formas equivalentes de la proposici on condicional p q son: p solo si q q si p p es una condici on suciente para q q es una condici on necesaria para p q se sigue de p q es condici on de p q es una consecuencia l ogica de p q cuando p
2.6.
Proposici on bicondicional
Dadas dos proposiciones p y q, a la proposici on compuesta p si y solo si q se le llama proposici on bicondicional y se nota por p q La interpretaci on del enunciado es p solo si q y p si q, o lo que es igual, si p, entonces q y si q, entonces p, es decir, (p q ) (q p) Por tanto, su tabla de verdad es: p V V F F q V F V F p q V F V V q p V V F V p q V F F V
Ejemplo Sean a, b y c las longitudes de los lados de un triangulo T siendo c la longitud mayor. El enunciado: T es rect angulo si, y solo si a2 + b2 = c2 puede expresarse simb olicamente como p q donde p es la proposici on T es rect angulo y q la proposici on a2 + b2 = c2 .
Podemos observar tambi en que la proposici on anterior arma dos cosas 1. Si T es rect angulo, entonces a2 + b2 = c2 o tambi en, una condici on necesaria para que T sea rect angulo es que a2 + b2 = c2 2. Si a2 + b2 = c2 , entonces T es rect angulo o tambi en, una condici on suciente para que T sea rect angulo es que a2 + b2 = c2 Consecuentemente, una forma alternativa de formular la proposici on dada es: Una condici on necesaria y suciente para que T sea rect angulo es que a2 + b2 = c2
10
3.
3.1.
Las tautolog as son identidades l ogicas que siempre ser an verdaderas. Son usadas principalmente para pruebas proposicionales. Ejemplo La expresi on es (p q ) (q p). Como puede observarse, hay 2 proposiciones (p y q) por lo que la cantidad de renglones a completar sera 22 = 4. (p q) (q p) V F F V V V V V V V V F V V F F F V V V F F F V V F F F
3.2.
Contingencia
Se utilizan para hacer circuitos de control y automatismo, surgen cuando en dos proposiciones, su equivalencia es verdadera y falsa a la vez. Ejemplo La expresi on es [p (q p)] q . Como puede observarse, hay 2 proposiciones (p y q) por lo que la cantidad de renglones a completar sera 22 = 4. [p (q p)] q V V V V F F F V F F F F V V F V V V V F F F V F V V V V
3.3.
Contradicci on
Es cuando una proposici on compuesta es falsa para todas las combinaciones de valores de verdad de las proposiciones que la componen. Ejemplo La expresi on es (p q ) ( p q ). Como puede observarse, hay 2 proposiciones (p y q) por lo que la cantidad de renglones a completar sera 22 = 4. (p q) (p q) V V V F F F F V F F F F V V F F V F V V F F F F F V V V
11
Nota: Los valores de verdad de una proposici on compuesta, pueden determinarse a menudo, construyendo una tabla de verdad abreviada. Por ejemplo, si queremos probar que una proposici on es una contingencia, es suciente con que consideremos dos lineas de su tabla de verdad, una que haga que la proposici on sea verdad y otra que la haga falsa. Para determinar si una proposici on es una tautologia, bastar a considerar, u nicamente, aquellas lineas para las cuales la proposici on pueda ser falsa.
3.4.
Proposici on contraria
Dada la proposici on condicional p q , su reciproca es la proposici on, tambi en condicional, p q . Ejemplo: Si 2 + 2 es igual a 4, entonces 3 + 3 es igual a 6. donde: p: 2 + 2 = 4 q: 3 + 3 = 6 La proposici on contraria seria: p q Si 2 + 2 no es igual a 4, entonces 3 + 3 no es igual a 6.
3.5.
Proposici on reciproca
Dada la proposici on condicional p q , su reciproca es la proposici on, tambi en condicional, q p. Ejemplo: Si la salida no va a la pantalla, entonces los resultados se dirigen a la impresora donde: p: la salida no va a la pantalla. q: los resultados se dirigen a la impresora. La proposici on reciproca seria: q p Si los resultados se dirigen a la impresora, entonces la salida no va a la pantalla.
3.6.
12
Ejemplo: tomemos como ejemplo la siguiente proposici on compuesta Si Mar a estudia mucho, entonces es buena estudiante. donde: p: Mar a estudia mucho. q: Mar a es buena estudiante. La proposici on contra reciproca seria: q p Si Mar a no es buena estudiante, entonces no estudia mucho.
3.7.
Resumen
Podemos resumir la formaci on de proposiciones reciprocas, contra reciprocas y contrarias de la siguiente forma. Directa: p q Contraria: p q Reciproca: q p Contra reciproca: q p
13
4.
Implicaci on
Se dice que la proposici on P implica l ogicamente la proposici on Q, y se escribe P = Q, si Q es verdad cuando P es verdad.
Es importante destacar que esto es equivalente a decir que P = Q es falso si P es falso cuando Q es falso, ya que si P es verdad siendo Q falso, no se cumplir la denici on anterior.
4.1.
14
5.
Equivalencia L ogica
Las proposiciones compuestas P y Q son l ogicamente equivalentes y se escribe P Q. El s mbolo de la equivalencia l ogica es .
Esta denici on es el punto de partida para probar que dos proposiciones son l ogicamente equivalentes. Hay que probar que si P es verdad, Q tambi en ha de serlo y que si P es falso, Q tiene que ser falso. Otra forma de demostrar lo mismo es probar que P es verdad partiendo de que Q lo es y probar que si Q es falso, entonces P tambi en lo es.
5.1.
Al igual que en la implicaci on l ogica, veamos una tabla con las equivalencias l ogicas mas u tiles junto con los nombres que reciben: Idempotencia de la conjunci on y la disyunci on. (P P ) P (P P ) P Conmutatividad de la conjunci on y la disyunci on. (P Q) (Q P ) (P Q) (Q P ) Asociatividad de la conjunci on y la disyunci on. [(P Q) R] [P (Q R)] [(P Q) R] [P (Q R)] Distributividad de respecto de y viceversa. [P (Q R)] [(P Q) (P R)] [P (Q R)] [(P Q) (P R)] Leyes de De Morgan (P Q) ( P Q) (P Q) ( P Q) Leyes de dominaci on P T T P C C
15
Leyes de identidad P T P P C P Doble negaci on P P Implicaci on (P = Q) ( P Q) Exportaci on [P = (Q = R)] [(P Q) = R] Contra reciproco (P = Q) ( Q = P ) Reducci on al absurdo (P = Q) [(P Q) = C ]
16
6.
Razonamiento
Llamaremos de esta forma a cualquier proposici on con la estructura P1 P2 . . . Pn = Q siendo n un entero positivo. A las proposiciones Pi , con i = 1, 2, . . . , n se les llama premisas del razonamiento y a la proposici on Q, conclusi on.
6.1.
Razonamiento valido
El razonamiento anterior se dice que es valido si la conclusi on Q es verdadera cada vez que todas las premisas P1 P2 . . . Pn lo sean. Esto signica que las premisas implican l ogicamente la conclusi on, es decir, un razonamiento seria valido cuando P1 P2 . . . Pn = Q Tambi en podemos decir que el razonamiento es valido si el condicional P1 P2 . . . Pn = Q es una tautologia. Esto, a su vez, nos permite aceptar como valido el razonamiento en el caso de que alguna de las premisas sea falsa. En efecto, si alguna de las Pi , con i = 1, 2, . . . , n es falsa, entonces P1 P2 . . . Pn seria falsa, luego el condicional P1 P2 . . . Pn = Q es verdadero, independientemente del valor de verdad de la conclusi on Q.
17
7.
Referencias
Armando Rojo, Algebra I. Copi, Irving M. Introduccion a la Logica. 1er ed. Buenos Aires: Eudeba, 1999. Tuchsznaider, Ester Ruth. Pensamiento Critico. 1er ed. Buenos Aires: Temas Grupo Editorial, 2001. Gonzalez Gutierrez, Francisco Jose. L ogica de Proposiciones. http://www2.uca.es/matematicas/Docencia/2005-2006/ESI/1710040/Apuntes/Leccion1.pdf Sacerdoti, Juan. Elementos de l ogica. http://materias..uba.ar/61107/Apuntes/Lo00.pdf
18