ELEMENTOS DE LOGICA SIMBOLICA

INTRODUCCION......................................................3 LOGICA SIMBOLICA O CALCULO PROPOSICIONAL..........................6 OPERACIONES LOGICAS - CONECTIVOS Y OPERADORES ....................6 CONSTRUCCION DE TABLAS DE VERDAD..................................7 VALORES DE VERDAD DE UNA PROPOSICION COMPUESTA....................8 ESTRUCTURA LOGICA DE TEOREMAS.....................................8 CONDICIONAL: GIROS LINGSTICOS USUALES...........................9 TAUTOLOGIAS, CONTRADICCIONES Y CONTINGENCIAS.....................10 LEYES LOGICAS....................................................12 CONDICIONES NECESARIAS - CONDICIONES SUFICIENTES.................14 CONDICIONES NECESARIAS Y SUFICIENTES............................15 ESTRUCTURA LOGICA DE UNA DEFINICIN..............................16 En el desarrollo del programa de Matemtica se estudiarn un importante nmero de definiciones. Cuando se presenten, se las analizar para mostrar con claridad su forma lgica de bicondicional: ..................................................16 p q..............................................................16 RAZONAMIENTOS - NOTACION.........................................16 CLASIFICACION DE LOS RAZONAMIENTOS...............................17 RAZONAMIENTOS DEDUCTIVOS.........................................17 FUNCIONES PROPOSICIONALES - CUANTIFICADORES......................19 INTRODUCCION En la bsqueda del conocimiento cientfico, el hombre ha creado un Universo de objetos inmateriales a los que reconoce con el nombre de enunciados, o proposiciones, y con los que ha logrado expresar gran parte de sus ideas. No conforme con ello, ante la necesidad de encontrar un modo inteligente para vincular esas ideas, perfeccion un esquema de vnculos al que ha denominado razonamiento. Finalmente, para ocuparse de estudiar los detalles que pueden diferenciar esos esquemas o razonamientos, cre la Lgica. EL PROBLEMA CENTRAL El problema central de la Lgica es establecer bajo qu condiciones un enunciado, llamado conclusin, puede ser considerado como derivado de otros enunciados, llamados premisas. Este es, precisamente, el esquema estructural de los denominados razonamientos: un par ordenado ({pi};q), donde {pi}(i=1, 2, ...,n), es un conjunto de premisas y q la conclusin, de la cual se espera que derive de las premisas. Puede decirse que "el estudio de la lgica es el estudio de los mtodos y principios usados para distinguir el razonamiento correcto del incorrecto". No pretendemos sostener que para razonar bien, es necesario haber estudiado lgica; en cambio, 3

creemos que aqul que lo haya hecho tiene mayor posibilidad de razonar correctamente que el que no conozca los principios generales de esta actividad mental. Adems, creemos conveniente destacar que el mtodo cientfico prefiere en la bsqueda del conocimiento seguir el camino del razonamiento; por ello, todo aqul que elija adentrarse en el mundo de la ciencia (para el caso, un estudiante de Ciencias Agrarias) sentir que para avanzar con alguna seguridad dentro de l, ir precisando ahondar sus conocimientos de lgica, aplicables luego en todo su universo de estudio. LOS OBJETOS DE ESTUDIO: LAS PROPOSICIONES. Llamaremos proposicin a toda oracin declarativa, es decir a toda oracin de la cual tenga sentido afirmar si es verdadera (V), o es falsa (F). Como ya hemos dicho, tanto las premisas de un razonamiento, como su conclusin, deben ser proposiciones. Por ello es necesario detenerse en su estudio antes de avanzar sobre el de los razona mientos, objetivo final de estas breves nociones. CLASIFICACION DE LAS PROPOSICIONES Las proposiciones lgicas se clasifican en: a) simples b) compuestas. a) PROPOSICION SIMPLE Una proposicin se dice simple cuando no contiene otra proposicin como parte de si misma. Las proposiciones simples se denotan con las letras minsculas p, q, r, s, etc. En algunos casos puede ser de utilidad el uso de letras minsculas con subndices: p1, p2, q1, q2,q3. Ejemplos: a.1) elegidos del lenguaje cientfico. p: La ciencia debe ponerse al servicio de la humanidad. q: La Lgica es una ciencia fctica. a.2) elegidos en un contexto agropecuario. r1: Me gusta el campo. r2: Estudio agronoma. a.3) expresados con conceptos y smbolos matemticos. s1: Un nmero primo slo es divisible por si mismo. (F) s2: 7 > 12 (F) 4

s3: (x+y)(x-y) = x- y (V) s4: a A (Debe verificarse su valor de verdad)

Es oportuno sealar que al valor de verdad consignado a cada proposicin si no lo determin la Lgica sino la Matemtica, ciencia de la que fueron tomadas. As, el valor de verdad de s4, estar definido slo cuando el conjunto A se determine matemticamente; entonces tendr sentido lgico decir si s4 es verdadera o es falsa. b) PROPOSICION COMPUESTA Una proposicin se dice compuesta si contiene una o varias proposiciones simples como parte de ella. Ejemplo b.1: - Si me gusta el campo, entonces estudio agronoma. Ejemplo b.2: - Un sistema de pastoreo puede simularse en una computadora y una vaca pura sangre pesa 200 kg. Ejemplo b.3: - La ciencia se corrompe cuando se pone al servicio de la destruccin, de la opresin, o del dogma. Ejemplo b.4: - Si el cielo est nublado, entonces llover. Ejemplo b.5: - Si A

B, entonces A B = A

Ejemplo b.6: - Si x = 9, y x N, entonces x = -3. Los ejemplos anteriores se escogieron de diversas ciencias y corresponde a cada una de ellas discutir sus contenidos y asignarles sus respectivos valores de verdad. En cambio, desde la lgica discutiremos la forma en que fueron compuestas, o sea, cules son las proposiciones simples que contiene cada una, qu giros lingsticos se usaron para enlazarlas y, en general qu situaciones les son comunes, o bien las diferencian. (Quede claro que, en una primera etapa del proceso enseanza-aprendizaje, trataremos de usar proposiciones compuestas, pero no "muy compuestas", pues el objetivo inmediato es comprender su composicin, para luego ocuparnos de su complejidad.) 5

LOGICA SIMBOLICA O CALCULO PROPOSICIONAL Para vincular proposiciones simples se usan palabras o giros lingsticos que se toman del lenguaje vulgar, a los que damos el nombre de conectivos lgicos. Tambin los llamamos operadores lgicos, dando as a entender que el entrelazado de proposiciones simples con esos conectivos constituye una operacin lgica, esto es, una operacin con proposiciones. De all el nombre de Clculo Proposicional como sinnimo de Logica Simblica. OPERACIONES LOGICAS - CONECTIVOS Y OPERADORES Si bien en la actualidad es conveniente advertir que el Clculo Proposicional ha logrado buena madurez en lo conceptual, no podemos decir lo mismo de la formalizacin simblica de esos conceptos. As, estn claramente definidas siete operaciones con proposiciones, llamadas operaciones lgicas bsicas. Ellas son: 1) Negacin 3) Disyuncin 5) Bicondicional 2) Conjuncin 4) Condicional 6) Alternativa 7) Exclusin

Algunos giros lingsticos y su simbolismo respectivo, que usaremos en este curso, que son muy usuales para dos proposiciones simples "p" y "q", se muestran en el siguiente cuadro: Giro lingstico 1) No p 2) p y q 3) p o q 4) Si p, entonces q 5) p, si y slo si q 6) Slo p, o slo q 7) Ni p, ni q Forma simblica -p p q p

p q p q p
q

p q

Los signos y smbolos usados, sin embargo, no han completado an su evolucin y por ello se observa una marcada discrepancia en el simbolismo preferido por distintos textos de Lgica. VALORES DE VERDAD DE UNA PROPOSICION LOGICA SIMPLE En lgica bivalente, a una proposicin simple "p" slo es posible asignarle, o el valor VERDADERO (V), o el FALSO (F). 6

Para estudiar el comportamiento de los valores de verdad (VV) de las proposiciones compuestas, estos VV generalmente se distribuyen en una tabla, llamada "TABLA DE VERDAD", con un formato de columna como el siguiente: p
V F

} cabeza de la tabla
cuerpo de la tabla

Se sealan las dos partes principales de una tabla cualquiera, "cabeza" y "cuerpo", con el propsito de utilizarlos en adelante a modo de referencias. Ejemplo 1: a la proposicin simple, p:"Cuatro es un nmero par." le asignamos el valor de verdad: V (verdadero); Ejemplo 2: a la proposicin simple, q:"Siete es mltiplo de dos." le asignamos el valor de verdad: F (falso). CONSTRUCCION DE TABLAS DE VERDAD Los valores de verdad de una proposicin lgica compuesta estn condicionados a los de las proposiciones simples que las componen. Por ello es necesario conocer de cuntos modos distintos se pueden agrupar los valores V y F de las "n" proposiciones simples que forman a una compuesta dada. Este nmero de modos es una funcin de "n" y est dado cuantitativamente por la frmula: N de grupos distintos con V, F (para "n" proposiciones simples) = 2n As, para una proposicin simple, se tiene: N de grupos dist. = 21= 2 Para dos proposiciones simples, en cambio, se tiene: N de grupos dist. = 2 = 4, y as sucesivamente. Una forma prctica de obtener rpidamente y con certeza todos esos grupos distintos, se muestra en los siguientes esquemas de distribucin, llamados tablas de verdad: Para dos proposiciones simples, cuatro grupos distintos. (n=2; 2 = 4) p q Para tres proposiciones simples, ocho grupos distintos. (n=3; 23= 8) p V V V V F q V V F F V r V F V F V 7

V V V F F V F F

F V F F F V F F F VALORES DE VERDAD DE UNA PROPOSICION COMPUESTA Definimos los valores de verdad de las siete operaciones proposicionales, o proposiciones compuestas, por las tablas que siguen: 1) Negacin p -p V F F V 2) Conjuncin p q p q V V V V F F F V F F F F conjuntivo. 3) Disyuncin p q p q En palabras, decimos que una disyuncin es falsa slo cuando lo son todas las proposiciones simples (disyuntivos)que la forman. V V V V F V F V V F F F 4) Condicional En este operador lgico la primera proposicin simple componente, "p", se reconoce con el nombre de antecedente, y la segunda, "q", con el de consecuente. p q p q antecedente V V V V F F F V V F F V Coloquialmente decimos que un condicional es falso slo cuando el es verdadero y el consecuente es falso. La negacin es una proposicin compuesta. Podemos agregar que es la ms simple de las proposiciones compuestas.

En forma coloquial, decimos que una conjuncin es verdadera slo cuando son verdaderas todas las proposiciones simples que la forman. . Cada una de las proposiciones simples que forman una conjuncin, es un

ESTRUCTURA LOGICA DE TEOREMAS El condicional es una de los operadores lgicos ms utilizados en Matemtica. Es la estructura caracterstica de los razonamientos, entre ellos, los teoremas. Ms adelante, nos detendremos especialmente en l y volveremos a analizarlo, con ms elementos de juicio a la vista. 8

CONDICIONAL: GIROS LINGSTICOS USUALES Los giros lingsticos utilizados para la lectura y la escritura vulgar de un condicional son muchos y variados; consignamos algunos: 1) Si p, entonces q 3) Si p, q 5) p, por lo tanto q 7) p; en consecuencia, q 2) p, implica q 4) q, si p 6) Puesto que p, q 8) p, luego q

Todas estas formas se traducirn simblicamente a "p q". Es usual llamar "hiptesis" al antecedente y "tesis" al consecuente, tomando vocablos del clsico lenguaje de los teoremas matemticos pues, como ya hemos dicho, stos adoptan para su estructura lgica interna la del condicional o implicacin.
IMPLICACION FORMAL E IMPLICACION MATERIAL Cuando existe una conexin real entre el antecedente y el consecuente de un condicional, ste se dice "formal". Ejemplo: Si se tiene un tringulo rectngulo, entonces la hipotenusa es el mayor lado. Cuando esta conexin no existe, el condicional se dice "material" . Ejemplo: Si no apruebo el parcial, me voy a vivir a la Luna.

5) Bicondicional p V V F F q p q V F V F V F F V En palabras, decimos que un bicondicional es verdadero slo cuando las dos proposiciones que lo forman tienen el mismo valor de verdad.

6) Alternativa p q p q F V V F En palabras, decimos que una alternativa es verdadera cuando slo una de las proposiciones que la forman es verdadera.

V V V F F V F F

7) Exclusin p q p q En palabras, decimos que una exclusin es verdadera slo cuando son falsas todas las proposiciones simples que la forman. V V F V F F F V F F F V 9

PROPOSICIONES LOGICAS EQUIVALENTES Dos proposiciones lgicas se dicen equivalentes cuando tienen los mismos valores de verdad. Para decir que las proposiciones p y q son equivalentes usaremos el smbolo" ~" y escribiremos p ~ q. A modo de ejemplo consignamos la equivalencia entre la disyuncin y otra proposicin, compuesta por una combinacin de una conjuncin con negaciones: p v q ~ -(-p -q) Para demostrar su equivalencia se construye la tabla de verdad correspondiente: p q -p -q V V F F V F F V F V V F F F V V (1) (2) p q -p -q -(-p -q) V V V F F F F V V V V F

Las columnas (1) y (2) muestran los mismos valores de verdad, lo que nos permite afirmar que las proposiciones en ellas valoradas son, efectivamente, equivalentes. OTRA DEFINICION DE IMPLICACION Otra equivalencia importante es: p q ~ -(p Su tabla de verdad es: p q -q V V F F V F V F F V F V pq V F V V p

-q)

-q
F V F F

-(p

-q)

V F V V

As, queda definido el condicional de otra manera, asignndole la condicin de que no sean simultaneamente verdaderos el antecedente y la negacin de su consecuente. Adems no interesa determinar si se trata de una implicacin material o formal. Es posible entonces, afirmar que la verdad de un condicional material es un resultado CASUAL. Por ello, los condicionales materiales carecen de inters matemtico. TAUTOLOGIAS, CONTRADICCIONES Y CONTINGENCIAS Segn sus valores de verdad, las proposiciones se clasifican en: 10

a) TAUTOLOGIAS; b) CONTRADICCIONES;

c) CONTINGENCIAS.

a) Una proposicin (compuesta) es una TAUTOLOGIA, cuando es verdadera independientemente de los valores de verdad de las proposiciones simples que contiene. Las tautologas se simbolizan con una "T". Ejemplo: (p q)

(q r)

Estudiemos sus VV en una tabla: 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 (1) (2) p q q r V V F F V V V V V F V V V F V V (1)

(2)

V V V V V V V V

La tabla muestra que la proposicin (p q) (q r) es VERDADERA independientemente de los valores de verdad de p, q y r. Es entonces, por definicin, una TAUTOLOGIA(T). b) Una proposicin (compuesta) es una CONTRADICCION, cuando es falsa independientemente de los valores de verdad de las proposiciones simples que contiene. Se la simboliza con una "C". Ejemplo: Sea la proposicin (p q) (p Construida su tabla de verdad, resulta: p V V V V F F F F q V V F F V V F F (1) r p q V F V F V F V F V V F F V V V V (2) p r V V V V V F V F (1) (2) F F F F F F F F

r)

La tabla muestra que la proposicin (p q) (p r) es FALSA independientemente de los valores de verdad de p, q y r. Es entonces, por definicin, una CONTRADICCION (C). c) Una proposicin que no es ni una TAUTOLOGIA ni una CONTRADICCION, es una 11

CONTINGENCIA. Ejemplo: p [ q

(p r)]

Analicemos su tabla de verdad: (Obsrvese que, en la columna principal, los VV aparecen diversificados entre valores V y valores F.)

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

(1) p r F F F F F V F V

(2) q (1) p (2) V V F F V V F V V V F F F F F F

Las CONTINGENCIAS son la generalidad de las proposiciones. No obstante, son las TAUTOLOGIAS y las CONTRADICCIONES las de inters lgico pues, como veremos, son las que permiten construir los razonamientos deductivos vlidos. LEYES LOGICAS Una LEY es una regla obligatoria y necesaria. Como en toda ciencia, en Lgica Simblica las leyes permiten el empleo apropiado de las operaciones (lgicas) antes definidas. Damos a continuacin un listado de Leyes Lgicas y sus nombres, especialmente aqullas que tienen sus homlogas en las operaciones matemticas. ORDEN NOMBRE FORMA SIMBOLICA 1. 2. 3. 4. 5. 6. Ley de no contradiccin: Ley conmutativa de la disyuncin: Ley conmutativa de la conjuncin: Ley asociativa de la disyuncin: Ley asociativa de la conjuncin: Ley distributiva de la conjuncin con respecto a la disyuncin: 12 p p -(p

-p)

q~q q~q

p p (q r)

(p q) r ~ p

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

7. 8. 9.

Ley distributiva de la disyuncin con respecto a la conjuncin: Primera Ley de De Morgan: Segunda Ley de De Morgan:

p (q r) ~ (p q) (p r) -(p q) ~ -p -q -(p q) ~ -p -q -(-p) ~ p

10. Ley de Involucin: CONDICIONALES ASOCIADOS

Dadas dos proposiciones lgicas (simples) p y q, es posible formar cuatro condicionales, llamados asociados, a saber: 1. p q 2. q p de aqul. 3.-p -q del 4.-q -p su nombre). llamado DIRECTO. llamado RECIPROCO -del Directo- que tiene permutados el antecedente y el consecuente llamado CONTRARIO -del Directo- que se forma con las negaciones del antecedente y consecuente dados. llamado CONTRARRECIPROCO -del Directo- o bien, el Recproco del Contrario (de all

Puede demostrarse, construyendo las tablas de verdad, que: a) p q ~ -q -p (*) b) q p ~ -p -q (**) En efecto: p V V F F q V F V F -p F F V V -q p q -q -p F V F V V F V V (*) V F V V (*) q p V V F V (**) -p -q V V F V (**)

Ambas equivalencias constituyen un par de leyes lgicas (leyes "de TRANSPOSICION"), de gran inters prctico tanto en Lgica como en Matemtica y an en cuestiones del lenguaje vulgar. Ejemplo: sea el condicional x = 3 x= 9 (Directo, V). Cul de los siguientes enunciados es equivalente a l? + ++ +++ x= 9 x = 3 (Recproco) x 3 x 9 (Contrario) x 9 x 3 (Contrarrecproco)

Si nos dejamos llevar por "nuestro modo personal" de comprender el sentido de cada proposicin, es muy probable que nos confundamos de tal manera que nos llegue a parecer que las cuatro son equivalentes (nos dicen "lo mismo"). Si en cambio, seguimos el camino que nos propone la Lgica, debemos aceptar que el UNICO equivalente al Directo es el Contrarrecproco, es decir: 13

x = 3 x = 9 ~ x 9 x 3. Y as es, pues tanto el Recproco como el Contrario pueden ser ambos verdaderos o ambos falsos, ante el supuesto de que el Directo es verdadero. Para aceptar esto slo hay que advertir que x = 9 siendo tambin x = -3, es decir, con x = 3, F. En resumen, de los tres enunciados propuestos, el nico que tiene el mismo valor de verdad que el dado es el Contra-recproco y ste es por lo tanto el nico EQUIVALENTE a aqul. DEMOSTRACIONES POR REDUCCION AL ABSURDO Es usual emplear en la demostracin de algunos teoremas matemticos el Mtodo de Demostracin por Reduccin al Absurdo, y ste es una aplicacin inmediata de la equivalencia entre un Condicional Directo y su correspondiente Contra-recproco. El mtodo, en escencia, consiste en verificar la validez de un enunciado de la forma p q, demostrando la validez del Contrarrecproco -q -p. Su estudio con detalles queda sujeto al inters del estudiante, ya que a los efectos del contenido de este curso es de escasa relevancia. CONDICIONES NECESARIAS - CONDICIONES SUFICIENTES En cambio, el concepto que se estudia a continuacin es de suma importancia para la comprensin del contenido conceptual de un condicional verdadero, en particular las caractersticas propias de su antecedente y de su consecuente. Hagamos un anlisis de los VV del antecedente y del consecuente de un condicional dado, SUPONIENDO que el VV de ste es V (verdadero). Si nos ayudamos con una tabla de verdad, lo dicho equivale a suprimir en ella la segunda fila (en la que p q slo es F, si V-F). p q p q V V V F F V F F V F V V

Tengamos en cuenta que hemos supuesto VERDADERO al condicional. Exijmosle, adems, que su antecedente p sea tambin VERDADERO. En esas condiciones, qu VV le corresponde al consecuente q? Hay slo una respuesta posible: q debe ser VERDADERO. Esta conclusin se fundamenta en el anlisis de la primera fila de la tabla, nica fila en la que el condicional y el antecedente satisfacen la condicin exigida que ambos sean V. Por ende, podemos asegurar que, siendo p q V, si p es V ello es SUFICIENTE para asegurar que q tambin lo es. Cambiemos las condiciones iniciales: 14

Siendo el condicional V, pretendamos para p el valor V; qu podemos decir ahora de q?. La primera fila de la tabla nos muestra que, para que p sea V, debe serlo adems q; pero la tercera fila nos muestra que, siendo q V, p puede no serlo. Por ello, bajo el supuesto que el condicional sea V, para que p tambin lo sea es NECESARIO que lo sea q, aunque esto slo "no alcanza". (Usamos esta expresin pues, aunque vulgar, nos parece clara.) En sntesis: Si un condicional es verdadero, la VERDAD del antecedente es CONDICION SUFICIENTE para la VERDAD del consecuente, y la VERDAD del consecuente es CONDICION NECESARIA para la VERDAD del antecedente. El ejemplo que sigue fue tomado de la Geometra. Sea la proposicin: "Si ABCD es un cuadrado, entonces ABCD es un rombo". (Este enunciado es, para la geometra, VERDADERO.) Analicemos sus partes: "ABCD es un cuadrado", es el antecedente; "ABCD es un rombo", es el consecuente. A partir de estos conceptos, la lgica nos ensea que: 1. Para que ABCD sea un rombo, es SUFICIENTE con que ABCD sea un cuadrado. 2. Para que ABCD sea un cuadrado, es NECESARIO que ABCD sea un rombo, como se quera ilustrar. CONDICIONES NECESARIAS Y SUFICIENTES Veamos ahora el comportamiento de las proposiciones que componen un BICONDICIONAL al que, del mismo modo que al condicional estudiado en el ttulo anterior, supondremos VERDADERO. Sabemos que: p q ~ (p q)

( q p ).

Si lo hemos supuesto tautolgico (siempre V), los condicionales componentes deben tener el mismo VV (por definicin de bicondicional): o bien ambos V, o bien ambos F. Si ambos son F , nada nos interesa decir de ellos ahora. En cambio, si ambos son V, la verdad de "p q" presupone que la verdad de p es condicin suficiente para la verdad de q, y que la verdad de q es condicin necesaria para la verdad de p, mientras que la verdad de "q p" presupone la validez de las recprocas. En consecuencia: La verdad de "p q" determina que la verdad de "p" es CONDICION NECESARIA y SUFICIENTE para la verdad de q, y recprocamente. Analicemos un ejemplo. Sea el bicondicional (VERDADERO para la geometra), 15

"En un cuadriltero, las diagonales se cortan mutuamente en partes iguales, si y slo si el cuadriltero es un paralelogramo." Resulta, de lo anterior, que la verdad de la proposicin " las diagonales se cortan mutuamente en partes iguales" es CONDICION NECESARIA y SUFICIENTE para que "el cuadriltero 'sea' un paralelogramo", y recprocamente, que "el cuadriltero 'sea' un paralelogramo", es CONDICION NECESARIA y SUFICIENTE para que "las diagonales se 'corten' mutuamente en partes iguales". ESTRUCTURA LOGICA DE UNA DEFINICIN Toda definicin construida correctamente debe contener condiciones que permitan reconocer inequvo camente el objeto o elemento que define. Esto significa que las definiciones deben estar construidas con condiciones simultneamente necesarias y suficientes. Como vimos, una estructura lgica bicondicional tiene sus componentes con esas caractersticas; si vinculamos estos conceptos, resulta que: Toda definicin construida correctamente debe tener como estructura lgica un bicondicional. En el desarrollo del programa de Matemtica se estudiarn un importante nmero de definiciones. Cuando se presenten, se las analizar para mostrar con claridad su forma lgica de bicondicional: p q. RAZONAMIENTOS - NOTACION Hemos dicho que, para la Lgica, un razonamiento es un par ordenado ({pi},q), donde {pi} es un conjunto de proposiciones llamadas premisas y q otra proposicin, la conclusin, de la cual se pretende que se derive de aqullas. Es comn que, al anotar ese conjunto de proposiciones con el afn de documentar la forma en que se fueron relacionando, el esquema final resultante se presente as: p1 p2 p3 . . . pn --------q o as: p1 p2 p3 . . . pn / q

Ejemplo 1 Tomemos el siguiente razonamiento matemtico, expresado en lenguaje coloquial: Si x es un nmero natural, y el cuadrado de x es veinticinco, entonces x debe ser cinco. El mismo mensaje, expresado en lenguaje lgico-matemtico, se anotar as: xN o as: xN x= 25 x= 25 / x = 5.

x = 5.

16

Ejemplo 2: Todas las frutas ctricas (naranjas, pomelos y limones) cosechadas en el Campo Experimental, que he comprado en la Facultad de Ciencias Agrarias, me han dado un excelente rendimiento. Por lo tanto, las mandarinas que compr en la Facultad y que me entregarn maana, me darn un excelente rendimiento. Para sintetizar, conviene establecer un cdigo como ste: N: naranjas. P: pomelos. L: limones. M: mandarinas. Propiedades: p1: La fruta es ctrica. P2 : La fruta se cosecha en el Campo Experimental. p3: El rendimiento es excelente. Finalmente, el esquema quedar anotado as: N, P, L y M tienen las propiedades p1 y p2. N, P y L tienen la propiedad p3.

M tiene la propiedad p3.

CLASIFICACION DE LOS RAZONAMIENTOS La clasificacin ms general diferencia a los razonamientos en: a) Razonamientos deductivos. b) Razonamientos inductivos. RAZONAMIENTOS DEDUCTIVOS Decimos que un razonamiento ( { pi } , q ) es deductivo cuando las premisas pi ofrecen evidencias contundentes del valor de verdad de la conclusin q. Tal es el caso del ejemplo 1, donde la conclusin "x = 5" se sigue de las premisas "x N" y "x= 25" como evidente. VALIDEZ DE LOS RAZONAMIENTOS DEDUCTIVOS La correccin o incorreccin de un razonamiento deductivo se distingue con los trminos tcnicos "vlido" o "invlido". Definicin 1: un razonamiento deductivo es vlido, si no es posible que las premisas sean verdaderas y la conclusin falsa. En caso contrario, el razonamiento (deductivo) es invlido, o no-vlido, o no es vlido. De un razonamiento deductivo no es usual decir que es verdadero o que es falso, sino que es 17

vlido o que no lo es. Definicin 2: un razonamiento deductivo es vlido, si es tautolgico el condicional que tiene por antecedente la conjuncin de las premisas y por consecuente la conclusin. Si se tiene presente esta definicin 2, un mtodo para fijar la validez de un razonamiento deductivo dado en forma coloquial, es propuesto por H. Costa*: 1-Se determinan las proposiciones simples contenidas en las premisas y en la conclusin y se las representa por medio de letras, entendiendo que la misma proposicin simple se representa siempre por la misma letra. 2- Se traducen a simbolismo lgico cada una de las premisas y la conclusin, con lo cual obtenemos el esquema simblico del razonamiento en estudio. 3- Se plantea el condicional asociado a dicho esquema de razonamiento, tomando como antecedente la conjuncin de las premisas y como consecuente la conclusin. 4- Se construye la t. de VV de ese condicional. Si es tautolgico, el razonamiento es vlido; en caso contrario, es no-vlido. Para razonamientos extensos (de ms de tres premisas), el mtodo de las tablas de verdad puede resultar de una laboriosa e injustificada construccin, por lo extenso de la misma. Se evitan estos caminos pasando de la conjuncin de las premisas a la conclusin, por medio de leyes lgicas, es decir, obteniendo una transformacin tautolgica del antecedente en el consecuente; este camino se conoce con el nombre de PRUEBA DE VALIDEZ (mtodo de demostracin directa). Otro mtodo utilizado es el de demostrar la validez del condicional contra-recproco, esto es: partiendo de la negacin de la tesis llegar a probar la negacin de la hiptesis, lo que constituye una evidente contradiccin (demostracin indirecta que se conoce como "METODO DE DEMOSTRACION POR REDUCCION AL ABSURDO"). No son stas las nicas pruebas de validez que se conocen. Tambin podemos mencionar las llamadas "PRUEBAS FORMALES DE INVALIDEZ", que consisten en probar que el condicional asociado a un razonamiento propuesto no siempre es verdadero, pero su tratamiento profundo no constituye un objetivo de este curso. RAZONAMIENTOS INDUCTIVOS Si las premisas slo permiten establecer un cierto grado de probabilidad de la verdad de la conclusin, el razonamiento se dice inductivo. El ejemplo 2 muestra un razonamiento inductivo. La LOGICA SIMBOLICA slo se ocupa de los razonamientos deductivos. No obstante, sealaremos algunas diferencias entre ambos (las ms importantes) pues en el estudio de las ciencias no formales, aunque stas utilizan predominantemente el razonamiento inductivo, el conocimiento de los deductivos es, con frecuencia, una excelente referencia para optimizar aquellos. As, decir que un razonamiento inductivo es vlido carece de sustentacin conceptual, ya que no suena posible que las premisas ofrezcan certeza de la verdad de la conclusin, sino slo un cierto grado 18

de probabilidad de que lo sea ( poco probable, probable, muy probable, altamente probable, etc.). Esto muestra la necesidad de diferenciar la calificacin de un razonamiento deductivo de otro inductivo; por ello, de los ltimos se suele decir que son "razonamientos buenos", o bien "...mejores", o "...peores", que otros razonamientos, segn el grado de probabilidad que las premisas otorguen a la verdad de su conclusin. En sntesis: un razonamiento inductivo es ponderado, esto es, de validez condicionada, prudente, moderada, generalmente en comparacin con otro razonamiento sobre el mismo tema. Y es por esa necesidad de ponderar que la LOGICA recurre a otras ciencias auxiliares para que la colaboren, tal es el caso de la ESTADISTICA. Se entender, pues, que un buen curso de Lgica Inductiva deber intentarse junto a, o a posteriori de, los habituales cursos de Estadstica y Probabilidades. Por eso, en esta primera parte, el esfuerzo lo hacemos en la lnea de la Lgica Deductiva, o Lgica Simblica, dejando para un curso posterior el estudio con cierto detalle de los razonamientos inductivos. FUNCIONES PROPOSICIONALES - CUANTIFICADORES Una funcin proposicional en una variable es una expresin que contiene una variable y que se transforma en proposicin cuando se reemplaza aqulla por una constante. Las funciones proposicionales se representan simblicamente y en general con la forma "P(x)". Ejemplos: P1(x) : x es un nmero natural. P2(x) : x-1 = 8. P3(x) : 2x x. Segn la definicin, para transformar funciones proposicionales en proposiciones hay que sustituir en aqullas las variables por constantes, pero sta no es la nica forma de conseguirlo. Otra manera es mediante el uso de cuantificadores. CUANTIFICADOR UNIVERSAL La frase "Para todo x, se verifica ... ", o "Dado cualquier x, ..." se llama cuantificador universal y se representa con el smbolo " x:". Aplicado este cuantificador sobre una funcin proposicional, la generaliza transformndola en una proposicin. Ejemplo 1: Sea la funcin proposicional: x es un nmero natural. En si misma, esta oracin no es ni V ni F. Pero, al anteponerle el cuantificador universal, resulta ser falsa. x: x es un nmero natural. (F) Otros ejemplos: x: x-1 = 8. (F) 19

x: 2x x. x: ( x + 1) 2 = x 2 + 2 x + 1 . CUANTIFICADOR EXISTENCIAL

(F) (V)

La frase "Existe al menos un (objeto) tal que ... " recibe el nombre de cuantificador existencial y se simboliza con " x/..." Aplicada sobre una funcin proposicional, opera en ella de modo anlogo al cuantificador universal, es decir, la transforma en una proposicin. Ejemplos:

x/x es un nmero natural. (V) x/x-1 = 8. x/2x x.

(V) (V)

La transformacin de funciones proposicionales en proposiciones mediante el uso de cuantificadores, es una herramienta lgica de mltiples aplicaciones en Matemtica, como veremos. ######

B_I_B_L_I_O_G_R_A_F_I_A

20

*COSTA, Homero A.: COPI, Irving M.: MORENO, Alberto:

Lgica Simblica.- Cuadernos Didcticos, Facultad de Cs. Ex. y Nat., UNCa.-1988. Introduccin a la Lgica-EUDEBA-1962. Lgica Matemtica-EUDEBA-1969.

RABUFFETTI, Hebe T.: Lgica-EL ATENEO- 1989. ROJO, Armando: Algebra I-El ATENEO-1972.

TORANZOS, Fausto I.: Enseanza de la Matemtica-KAPELUSZ-1963.

21

Este cuadernillo, aumentado y corregido, se termin de imprimir en la Ctedra de Matemtica I y II de la Facultad de Ciencias Agrarias de la UNCa, el 8 de mayo de 2001

22