Mdulo 4

Unidad 5
Lectura 5 Lgica Simblica

Formas de Pensamiento en la Humanidad (Curso de Nivelacin) Pedro Ballester

LGICA SIMBLICA
Lgica de enunciados
Los enunciados son expresiones del lenguaje cuya caracterstica fundamental es ser verdaderos o falsos. Se los distingue de otras expresiones lingsticas como las preguntas, las rdenes, las splicas o las exclamaciones en tanto que ninguna de estas expresiones se caracteriza por la verdad o falsedad. Hemos mencionado en captulos anteriores que un enunciado es verdadero cuando informa adecuadamente y falso cuando no lo hace. Este criterio de verdad es lgico y parte del supuesto de que entre el lenguaje y lo que ste describe puede haber una cierta correspondencia. Cuando dicha correspondencia es la adecuada estamos ante la verdad. Cuando la correspondencia no existe o no es estrictamente adecuada, decimos que el enunciado es falso. Esta idea de la verdad proviene de los griegos, principalmente de Aristteles, quien afirma que decir de lo que es que es, es verdadero y decir de lo que no es que es, es falso, y viceversa. La Lgica de Enunciados o de las proposiciones considera a los enunciados como unidades indivisibles, es decir, que no se ocupa de analizar la estructura interna de los mismos; es la razn por la que su simbolismo no se corresponde con el de una lgica que parte de enunciados cuya estructura es la de las oraciones con sujeto y predicado. Este nivel de anlisis, que vimos en Mdulos anteriores, recurra a esquemas como S es P para representar los enunciados. Entonces interesaba mostrar el sujeto y el predicado de los enunciados, adems de hacer explcitas su cantidad y su cualidad. Si consideramos a los enunciados como unidades indivisibles sin importarnos si tienen sujeto y predicado o si son universales o particulares, podemos representarlos sin ningn problema usando slo una letra por cada uno. Podemos, por ejemplo, simbolizar el enunciado: todos los perros son animales con la letra p, y al enunciado: algunos gatos son negros con q. Y del mismo modo podemos hacer con cualquier enunciado diferente de los anteriores. Si son uno, dos, tres o ms, le podemos asignar a cada uno de ellos, siguiendo el orden alfabtico de las consonantes del castellano a partir de p, las letras que corresponden en dicha sucesin. Si uno de los enunciados se repite, se lo representar siempre por la misma letra tantas veces como sea necesario. Considerado una sucesin de enunciados como esta: algunos gatos son negros, algunos conejos son blancos y algunos tigres son manchados, representaremos a algunos gatos son negros con p, y a los dos siguientes enunciados con q y r respectivamente.

Formas de Pensamiento en la Humanidad Pedro Ballester | 2

Las letras que usamos para representar a los enunciados se llaman variables enunciativas o variables proposicionales, habida cuenta de que proposicin es sinnimo de enunciado. A los efectos de simplificar nuestro lenguaje cuando hablemos de enunciados o proposiciones estaremos diciendo lo mismo. Adems, podemos referirnos a las variables proposicionales como si fueran las proposiciones mismas. Esto quiere decir que podemos referirnos a p como la proposicin o el enunciado p. Las proposiciones o enunciados se pueden considerar separadas de cualquier discurso. Por ejemplo, si decimos la puerta es amarilla sin relacionar esta proposicin con otra la estamos considerando aisladamente. Podemos representarla con p. A estas proposiciones se las suele llamar proposiciones atmicas. Tambin se las llama proposiciones simples. Por supuesto que las proposiciones en un discurso o texto no estn, generalmente, aisladas las unas de las otras. Estn conectadas de algn modo. Estas proposiciones se denominan moleculares o complejas. Un ejemplo de estas ltimas puede ser la puerta es amarilla y la ventana es marrn. Ambas estn conectadas por una conjuncin, en este caso la y. Tanto las proposiciones simples como las complejas son o bien verdaderas o bien falsas. Esto permite establecer una relacin entre las proposiciones y la verdad o la falsedad que las caracteriza. Se denominan valores de verdad a la verdad y a la falsedad de las proposiciones. Estos valores se pueden asignar a las proposiciones de acuerdo a ciertos criterios. Como toda proposicin, hasta tanto no se la verifique, puede ser o verdadera o falsa, asignamos los dos valores. Supongamos que la proposicin en cuestin es p. Le asignaremos los valores verdad y falsedad del siguiente modo: _p_ v f Si la proposicin es compleja tendremos en cuenta de qu manera estn conectadas las proposiciones simples que la componen.

RECORDEMOS:

Enunciado: proposiciones que pueden ser verdaderas o falsas

Proposiciones: pueden ser simples como hay oxgeno o complejas (moleculares) como hay oxgeno entonces puede haber vida.

Formas de Pensamiento en la Humanidad Pedro Ballester | 3

Conectivas lgicas u operadores Didicos

Los signos que conectan a unas proposiciones con otras se denominan conectivas. Estas conectivas son la conjuncin, la disyuncin inclusiva, la disyuncin exclusiva, el condicional, el bicondicional, la negacin conjunta y la negacin alternativa. Estas conectivas se denominan operadores didicos puesto que afectan a dos proposiciones a la vez.

CONECTIVA Conjuncin Disyuncin inclusiva Condicional Bicondicional Disyuncin exclusiva

SE REPRESENTA p.q pvq pcq p=q pwq

DEBE LEERSE pyq poq p entonces q p s y slo s q p o bien q

Si digo que Hctor estudia y Carlos trabaja la conectiva es la y, que incide tanto sobre una como sobre la otra. Estas conectivas se representan por medio de smbolos convencionales. En nuestro caso las representaremos a cada una de ellas del siguiente modo: la conjuncin (y) se representa p.q, y debe leerse p y q. La disyuncin inclusiva (o) la representaremos p v q, que debe leerse p o q. El condicional se representa por pcq, y puede leerse p entonces q. El bicondicional p=q, que se puede leer p si y slo si q. Y la disyuncin exclusiva pwq, que puede leerse o bien p o bien q. Las dos conectivas restantes se derivan de las anteriores y explicaremos su funcionamiento ms adelante. Adems de las conectivas debe considerarse un operador mondico: la negacin, que representaremos con el signo -. La negacin afecta directamente a la proposicin a la que antecede. Esto significa que si niego a p, el signo de la negacin se antepondr a p del siguiente modo: -p, que podr leerse no p. Tambin la negacin puede afectar a las proposiciones complejas consideradas en conjunto. Por ejemplo, se puede negar a pvq en conjunto anteponiendo la negacin a un parntesis que encierra a pvq del siguiente modo -(pvq). Hay que sealar que la negacin no es distributiva, es decir que -(p.q) no es equivalente a -p.-q, por ejemplo. La negacin afecta los valores de verdad en toda proposicin, ya sea simple o compleja. Puntualmente invierte los valores de verdad. Por lo tanto si para:

Formas de Pensamiento en la Humanidad Pedro Ballester | 4

p v f

para

-p f v

Funciones de verdad
Ya hemos mencionado que los enunciados son proposiciones que puede adoptar el valor de Verdad o Falsedad; asimismo, los enunciados o proposiciones son funciones de verdad. Esto quiere decir que adems de asignarles valores de verdad podemos, en el caso de las proposiciones complejas, operar con esos valores de tal modo que al interrelacionar los valores de cada proposicin simple (que forma parte de una proposicin compleja) obtenemos nuevos valores que son los que corresponden a la proposicin compleja en correspondencia con la conectiva que acta como operador. Imaginemos las siguientes proposiciones: p: Tengo harina q: Tengo agua r: Puedo hacer una masa Imaginemos que las dos primeras afirmaciones son verdaderas. Podra hacer una masa? Qu pasara si estuviera mintiendo en alguna de las afirmaciones?

Tengo harina Tengo harina Tengo harina Tengo harina

V V F F

Tengo agua Tengo agua Tengo agua Tengo agua

V F V F

Puedo hacer una masa Puedo hacer una masa Puedo hacer una masa Puedo hacer una masa

V F F F

Es evidente que necesitamos ambas cosas para poder hacer una masa, por lo tanto dichas proposiciones simples deberan estar unidas por la conectiva y. Por tanto estamos hablando de una conjuncin: p . q Pero adems de entender esto, deberamos plantearnos algo ms: lo que nos interesa reconocer es la veracidad o falsedad de la relacin de suma que indica la conjuncin en s. Si yo pudiera hacer una masa, an sin tener agua, o sin tener harina, esto implicara que la relacin de suma era falsa. Es decir, no era verdad que deba sumar necesariamente los dos elementos.

Formas de Pensamiento en la Humanidad Pedro Ballester | 5

Tengo harina

V Tengo agua

Puedo hacer una masa

CONJUNCIN F

Habiendo comprendido esto, podemos hablar de la verdad o falsedad de la conjuncin en s. En la tabla queda claro que el nico caso en que la proposicin compleja es verdadera, es el primero, en donde las proposiciones simples que la componen son ambas verdaderas. A continuacin veremos que cada conectiva genera para las proposiciones complejas o moleculares una tabla determinada. Ntese, al observar cada tabla, que en la columna central se encuentra el valor de verdad correspondiente a la proposicin compleja.

Tablas de verdad
La verdad y la falsedad se asignan a las variables proposicionales de acuerdo a criterios preestablecidos y se denominan tablas de verdad. No slo las proposiciones simples tienen tablas de verdad. Las proposiciones complejas o moleculares tienen sus tablas correspondientes que dependen de la conectiva o las conectivas que hay en ellas conectando a las proposiciones simples. Vamos a mostrar las tablas de verdad de proposiciones moleculares con dos variables y conectadas por las conectivas que usaremos. Consideremos, a modo de ejemplo, el caso de la conjuncin. As como la proposicin p es verdadera o falsa, tambin p.q considerada en conjunto es verdadera o falsa. Las otras conectivas generan tambin proposiciones complejas que son verdaderas en unos casos y falsas en otros. Veamos cada una de ellas. 1) La conjuncin es verdadera cuando las proposiciones que la componen son ambas verdaderas, y falsas en los dems casos. Su tabla de verdad es la siguiente: p. q vvv vf f f f v f f f

Por ejemplo:

Formas de Pensamiento en la Humanidad Pedro Ballester | 6

p El auto tiene batera El auto tiene batera El auto tiene batera El auto tiene batera V V F F

. El auto enciende El auto enciende El auto enciende El auto enciende V F F F

q El auto tiene nafta El auto tiene nafta El auto tiene nafta El auto tiene nafta V F V F

2) La disyuncin inclusiva es verdadera en todos los casos salvo cuando las proposiciones simples que la componen son ambas falsas. Esto es: pvq vvv vv f f v v f f f Por ejemplo: p Compra la entrada Compra la entrada Compra la entrada Compra la entrada V V F F v Puede entrar al cine Puede entrar al cine Puede entrar al cine Puede entrar al cine V V V F q Tiene pase libre Tiene pase libre Tiene pase libre Tiene pase libre V F V F

3) El condicional es verdadero en todos los casos salvo cuando el antecedente es verdadero y el consecuente falso. Esto es: pcq vvv vf f fvv fvf Atencin: en este ejemplo, reconocer la veracidad o falsedad de la proposicin compuesta implicar reconocer la veracidad o falsedad de la relacin de causa y efecto que implica la conectiva si/entonces. Por ejemplo:

Formas de Pensamiento en la Humanidad Pedro Ballester | 7

p Hago dieta Hago dieta Hago dieta Hago dieta V V F F

C V F V V Adelgazo Adelgazo Adelgazo Adelgazo

q V F V F

La interpretacin es la siguiente: El nico caso en el cual podemos afirmar que la relacin entre causa y efecto es FALSA, es en el caso de que haga dieta y no adelgace. En el caso uno, pudimos comprobar la veracidad de la relacin. En el caso tres y cuatro, no hemos hecho dieta, por lo cual no podemos comprobar que la relacin de causa efecto sea falsa, por tanto, se sigue asumiendo verdadera. 4) El bicondicional es verdadero cuando los valores de verdad de cada proposicin son equivalentes. El siguiente es un caso: p=q vvv vf f f fv f vf Atencin: en este ejemplo, reconocer la veracidad o falsedad de la proposicin compuesta implicar reconocer la veracidad o falsedad de la relacin de necesidad que implica la conectiva si y slo si Por ejemplo: p Es buen profesor Es buen profesor Es buen profesor Es buen profesor V V F F = V F F V q Llega puntual a todas las clases Llega puntual a todas las clases Llega puntual a todas las clases Llega puntual a todas las clases V F V F

Formas de Pensamiento en la Humanidad Pedro Ballester | 8

La interpretacin es la siguiente: En el caso 2 y 3 queda claro que la relacin de necesidad era falsa. En el caso 2, el profesor es bueno aunque no llega puntual a clase, y en el caso 3 el profesor llega puntual a clase pero no es bueno. Eso indica la falsedad de la relacin. 5) La disyuncin exclusiva es verdadera cuando los valores de las proposiciones conectadas son diferentes. Esto es: p wq v f v vv f f v v f f f Atencin: en este ejemplo, reconocer la veracidad o falsedad de la proposicin compuesta implicar reconocer la veracidad o falsedad de la alternativa excluyente que implica la conectiva o bien / o bien Por ejemplo: p Me quedo Me quedo Me quedo Me quedo V V F F w F V V F q Me voy Me voy Me voy Me voy V F V F

En los casos en que puedo hacer las dos cosas a la vez, es decir que las dos proposiciones simples son verdaderas, queda claro que la disyuncin exclusiva era falsa. Utilizando una, dos o ms conectivas y una, dos o ms variables proposicionales podemos construir proposiciones moleculares de diferente grado de complejidad. Por ejemplo, una en la que se usen p, q, r y las conectivas c (condicional), v (disyuncin inclusiva) como la siguiente: (p c q) v r que puede leerse si p entonces q o r. En este caso se han usado parntesis para agrupar las variables de acuerdo a un criterio arbitrario, lo que significa que se podran haber agrupado de otro modo. Por ejemplo: p c ( q v r). Los parntesis, los corchetes y las llaves son signos de puntuacin, o sea que la nica funcin que cumplen es la de separar y agrupar variables proposicionales tanto simples como complejas.

Formas de Pensamiento en la Humanidad Pedro Ballester | 9

El uso de dichos signos no slo modifica la lectura que hacemos de las proposiciones sino tambin sus tablas de verdad. En los ejemplos anteriores no slo las lecturas de las frmulas son diferentes sino tambin la distribucin final de sus valores de verdad.

Y para finalizar este aparatado proponemos los siguientes ejemplos:

a) Es poca de exmenes y tengo que estudiar o no aprobar, entonces tendr que recursar. p: es poca de exmenes q: tengo que estudiar r: no aprobar p.qvr

b) Si me levanto temprano llego a tiempo, y si salgo temprano estoy con sueo o me acuesto ms temprano p: me levanto temprano q: llego a tiempo r: estoy con sueo s: me acuesto ms temprano (p C q) . [p C (r v s)]

Definiciones recursivas
Una secuencia no ordenada de variables y conectivas no constituye una frmula. Para hacer una frmula de la lgica proposicional es necesario definir el modo de construirlas. Se denominan definiciones recursivas a aquellas definiciones que nos indican cuando estamos ante una frmula lgica bien formada y no slo ante una secuencia de smbolos lgicos. En las definiciones recursivas se enuncian una serie de reglas que nos dicen cmo y cules son las frmulas bien formadas. Veamos una definicin recursiva en la cual se indican como son las frmulas de las proposiciones atmicas, de la negacin y de las proposiciones moleculares donde la conectiva utilizada es la conjuncin.

Formas de Pensamiento en la Humanidad Pedro Ballester | 10

Regla 1: p, q, r, etc. son frmulas atmicas bien formadas. Regla 2: -p es una frmula bien formada. Regla 3: p . q es una frmula molecular bien formada Regla 4: Slo son frmulas bien formadas las definidas en las tres reglas anteriores y las de ellas derivadas.

Definiciones por equivalencia

Adems de las definiciones por recursividad hay definiciones por equivalencias, es decir que se pueden definir todas las conectivas a partir de una de ellas. Dado que hemos definido la conjuncin podemos partir de ella para definir las otras conectivas estableciendo las equivalencias correspondientes. La disyuncin inclusiva: (p v q) = -( -p . -q) El condicional: (p c q) = -( p . -q) El bicondicional: (p = q) = [(pcq) . (qcp)]= [ -(p.-q) . -(q.-p)] La disyuncin exclusiva: (p w q) = -(p.-q) . -(q.-p) Las definiciones recursivas y por equivalencia nos permiten integrar todas las conectivas a un sistema lgico. Estos sistemas cuentan con un vocabulario mnimo, axiomas, reglas de formacin y de sustitucin. Las primeras nos indican como ordenar las variables y las conectivas y las segundas como se debe sustituir en una frmula cualquiera una variable por otra variable o por otra frmula. Por ejemplo, se puede sustituir en la frmula (pwq).p la variable p por la frmula molecular pcq , poniendo pcq all donde aparece p. La frmula resultante sera: {[(pcq) w q)] . (pcq)} LAS LEYES LGICAS SON TAUTOLOGAS Y SE LAS DENOMINA VERDADES FORMALES SIEMPRE SON VERDADERAS!

Leyes lgicas
Las leyes o principios lgicos son proposiciones verdaderas en virtud de su forma. No son los contenidos de dichas proposiciones los que determina su verdad sino la ordenacin de sus variables y conectivas de acuerdo a ciertas formas fijas. Estas proposiciones que son verdaderas siempre se denominan tautologas. Las proposiciones que hemos visto hasta ahora eran o verdaderas o falsas y como su verdad y falsedad depende en cierta medida de los hechos que describen se las llama contingencias. De este modo, p.q o -pvq son contingencias. En cambio una frmula como p=p es una tautologa, puesto que es verdadera en todos los casos y su

Formas de Pensamiento en la Humanidad Pedro Ballester | 11

verdad depende de su forma y no de los hechos. Si hacemos su tabla de verdad tendremos: p=p vvv fv f p=p es una equivalencia y se lee p equivale p o tambin p es idntica a p. Es una ley lgica y una de las expresiones del principio de identidad. Adems de este principio hay otros. Los ms conocidos son el de no contradiccin y el del tercero excluido, que los hemos visto en otros captulos. Enumeraremos a continuacin algunas leyes lgicas de uso frecuente. Principio de identidad: p = p Hay oxgeno entonces hay oxgeno Principio de no contradiccin: -(p.-p) No es verdad que hay oxgeno y no hay oxgeno Principio del tercero excluido: (p v-p) Hay oxgeno o no hay oxgeno Doble negacin: p = --p Hay oxgeno, entonces no es verdad que no hay oxgeno Idempotencia de la conjuncin: p = (p .p) Hay oxgeno, entonces hay oxgeno y hay oxgeno Idempotencia de la disyuncin: p=(pvp) Hay oxgeno, entonces hay oxgeno o hay oxgeno Ley de De Morgan para la conjuncin: p.q = -(-pv-q) Hay oxgeno y hay luz, entonces no es verdad que no hay oxgeno o no hay luz Ley de De Morgan para la disyuncin: pvq = -(-p.-q) Pago con efectivo o con tarjeta, entonces no es verdad que no pago con efectivo y que no pago con tarjeta

Formas de Pensamiento en la Humanidad Pedro Ballester | 12

Modus ponendo ponens: ((pcq).p)cq Si ahorramos tenemos dinero, y ahorramos entonces tenemos dinero. Modus tollendo tollens: [(pcq).-q]c-p Si ahorramos tenemos dinero, y no tenemos dinero entonces no ahorramos. Las leyes lgicas son tautologas y se las denomina verdades formales. Hemos expresado que son verdaderas en todos los casos. Cuando nos encontramos con proposiciones que son falsas en cualquier caso con independencia de todo contenido, estamos frente a una contradiccin. Esta es lo opuesto a la tautologa, a tal punto que la negacin de cualquier tautologa da por resultado una contradiccin. Si niego, verbigracia, el principio de identidad incurro en una contradiccin: -( p = p) f v f v Tanto las tautologas como las contradicciones son verdaderas o falsas respectivamente en cualquier caso de sustitucin. Esto quiere decir que, independientemente de las variables que se usen, las frmulas tautolgicas o contradictorias siempre sern verdaderas las primeras y falsas las segundas. Por ello, si en vez de usar p y q para expresar el Modus ponendo ponens usamos pwq por p y r por q tendremos: [(pwq)c r . (pwq)] c r que es una tautologa. Esto es extensible a cualquier caso y vale, aunque en sentido inverso, para las contradicciones.

Habr usted notado que en la mayora de los casos acompaamos una frmula con un ejemplo concreto para facilitar su comprensin. A este proceso de transformar una frmula en un enunciado concreto le llamamos interpretacin, mientras que al proceso inverso, es decir, a transformar casos concretos en una frmula, le llamamos abstraccin. Si bien usted podr comprobar que al ejemplificar las frmulas su comprensin se facilita, debe saber que el ejercicio en el proceso de abstraccin es nuestro objetivo, no slo porque es la base de nuestra forma de pensamiento si no porque la utilidad prctica que tiene es inagotable. Imagine por ejemplo un programa de computacin. El mismo trabaja con frmulas, aplicables a infinitos casos, y no con casos particulares. Por tanto lo invitamos a desafiar su capacidad de abstraccin, a liberar su imaginacin y a perder el miedo a pasear por mundos no directamente aprensibles.

Formas de Pensamiento en la Humanidad Pedro Ballester | 13

Interpretacin
Las frmulas lgicas pueden ser interpretadas, es decir, sustituir sus variables y conectivas por enunciados y trminos de nuestra lengua. La siguiente frmula pc-q puede interpretarse del siguiente modo: p: Hctor est de vacaciones -q : Hctor no estudia Por lo cual p c-q queda: Si Hctor est de vacaciones entonces no estudia La frmula p.q .-r se puede interpretar: Carlos estudia y Marta trabaja y Hctor no est ocupado.

Abstraccin
De los enunciados expresados en nuestra lengua, u otras, pueden abstraerse sus formas lgicas. stas se expresan por medio de las frmulas de la lgica proposicional. Como procedimiento es inverso al de interpretacin y consiste en sustituir cada enunciado del lenguaje emprico por una frmula atmica o compleja del lenguaje formal. Por ejemplo, el enunciado la pared es blanca y la puerta est cerrada se puede expresar en el lenguaje abstracto de la lgica por la frmula: p.q El enunciado O bien vamos al cine o bien estudiamos tiene la frmula: pwq

Validacin de argumentos
Los argumentos pueden ser validados de diferentes maneras. Cuando vimos lgica silogstica desarrollamos algunos mtodos de validacin que servan para comprobar si los razonamientos eran o no vlidos. En la lgica proposicional o de enunciados tambin existen procedimientos que permiten distinguir a los argumentos vlidos de los que no lo son. Uno de esos procedimientos es el de la analoga lgica. Consiste en comparar cualquier argumento con una forma paradigmtica que si tiene la forma de una proposicin al hacer su tabla de verdad da una tautologa. Estas formas paradigmticas se llaman reglas lgicas que no son otra cosa que las leyes lgicas usadas como esquemas con los que se compara los argumentos. Si stos coinciden en su forma con las de la regla se dice que el argumento es vlido, de no ser as estar probada su invalidez. A partir de las leyes lgicas que conocemos podemos derivar algunas reglas. stas se expresan por medio de variables metalgicas que pueden ser sustituidas por frmulas lgicas de cualquier grado de complejidad. Las variables metalgicas se representan por letras maysculas del alfabeto a partir de A.

Formas de Pensamiento en la Humanidad Pedro Ballester | 14

Un ejemplo de regla lgica es la que se deriva de la ley llamada modus ponendo pones. La frmula de esta ley es la siguiente: [(pcq) . p] c q En esta frmula afirmando el antecedente p se concluye vlidamente el consecuente q. La regla correspondiente es: A c B A______ B Como se ve, en la regla las conectivas desaparecen y en su lugar se encolumnan las formas metalgicas derivadas de las lgicas sustituyendo la conjuncin por el alineacin vertical poniendo a una forma debajo de la otra y al condicional por una lnea que separa las premisas de la conclusin. En este caso nos encontramos con una regla que es el esquema de un razonamiento que tiene la forma del modus ponens. A c B y A son las premisas y B es la conclusin. Si queremos saber si un razonamiento es vlido o no se tiene que comparar su forma con la de la regla. Veamos un ejemplo: Premisa 1 Premisa 2 Conclusin Si estudio entonces aprobar el examen Estudio Por lo tanto aprobar el examen

Si abstraemos la forma lgica de este argumento obtenemos: [(pcq).p]cq que es el modus ponens en el que p simboliza estudio y q aprobar el examen y que se corresponde con la regla del mismo nombre. El argumento es vlido. Si en vez del argumento anterior hubisemos aplicado el mtodo para validar este: Premisa 1 Premisa 2 Conclusin Si hay fuego entonces hay oxgeno Hay oxgeno Por lo tanto hay fuego

Comprobaramos que el razonamiento no es vlido porque su frmula lgica es: [(pcq).q]cp que no es una ley lgica y que, en consecuencia, no se corresponde con la regla del modus ponens en la que en la segunda premisa se afirma el antecedente para as obtener vlidamente el consecuente como conclusin.

Formas de Pensamiento en la Humanidad Pedro Ballester | 15

Vamos a considerar otra regla, en este caso derivada del modus tollendo tolens, en la que negando el consecuente se niega vlidamente el antecedente. El modus tollens tiene la siguiente forma: [(pcq).-q] c -p la regla lgica correspondiente es: AcB -B -A El razonamiento que se validar es el siguiente: Premisa 1 Si ahorramos entonces tendremos fondos disponibles Premisa 2 No tenemos fondos disponibles Conclusin Entonces no ahorramos El razonamiento es vlido porque se corresponde perfectamente con la regla. Pues ahorramos se simboliza por A y fondos disponibles por B. Este mtodo de validacin es aplicable a todos aquellos argumentos cuyas frmulas lgicas pueden ser abstradas. Si dichas formas son leyes de las que se derivan reglas vlidas de argumentacin y los argumentos tienen la misma forma entonces ser vlido en cualquier caso. Se puede comprobar la validez de argumentos no interpretados de distinto grado de complejidad. Por ejemplo el siguiente: {[(-pwq)c -(-r.t)] . (-r.t)} c -(-pwq) En el que (-pwq) es A y -(-r.t) es B y que tendra la siguiente estructura metalgica: A c -B B_____ -A que es vlida ya que se trata del modus tollens en el que la negacin del consecuente nos permite obtener vlidamente la negacin del antecedente. No olvidemos que doble negacin equivale a una afirmacin y que negar -B es afirmar B, como sucede en la segunda premisa del ejemplo.

Formas de Pensamiento en la Humanidad Pedro Ballester | 16

Lgica de predicados Funciones proposicionales proposicionales

Funciones proposicionales son expresiones del lenguaje que no son ni verdaderas ni falsas. Estas expresiones tienen una forma genrica como: x es ingeniero o x estudia, por ejemplo, suelen simbolizarse Fx, Gx, entre otros. Las letras maysculas, denominadas constantes predicamentales, simbolizan propiedades o predicados que se le atribuye a variables, simbolizadas por x, y, entre otros, que hacen las veces de sujeto de esos predicados. Estos sujetos son indeterminados, es decir que no son los sujetos propiamente dichos sino que pueden ser sustituidos por nombres que efectivamente cumplirn con dicha funcin. En el siguiente ejemplo: x es alumno, la variable x puede ser sustituida por el nombre propio Carlos y la funcin, que de por s no es verdadera ni falsa y por ende no es una proposicin, se convierte en proposicin. Pues si bien x es alumno es una expresin indeterminada con respecto a su verdad o falsedad, el enunciado Carlos es alumno puede ser verdadero o falso. Tambin se puede transformar la funcin en proposicin cuantificando el predicado, como en el siguiente caso: alguien es alumno o todos son alumnos, etc. Esto nos permite definir a una funcin proposicional como una expresin del lenguaje que no es ni verdadera ni falsa hasta tanto no se sustituya la variable por un nombre o se la cuantifique.

Cuantificacin nica Proposiciones predicamentales simples

Las funciones como x es contador o x es diseador al ser cuantificadas dan origen a proposiciones simples. Esto quiere decir que no hay conectivas que las relacionen con otras semejantes. Exactamente lo mismo sucede cuando en vez de cuantificar la variable la sustituimos por un nombre. Cuando las funciones proposicionales son transformadas en proposiciones sustituyendo la variable por un nombre suelen simbolizarse del siguiente modo: Pa, Ka, etc. Si consideramos la funcin: x es director, a la que transformamos en proposicin poniendo un nombre propio en vez de la variable, podemos representarla Da, frmula en la que D representa el predicado y a un nombre cualquiera. La mayscula es una constante de predicado y la minscula un constante individual. Estas proposiciones son singulares. En ellas se considera a un sujeto individual caracterizado por una propiedad. El enunciado Scrates es

Formas de Pensamiento en la Humanidad Pedro Ballester | 17

sabio es de ese tipo. El sujeto es un individuo, no varios o algunos o todos. La propiedad ser sabio se predica de Scrates. Tambin se la puede negar, si se asevera Alcibades no es sabio. Las funciones proposicionales pueden ser convertidas en proposiciones cuantificando las variables. x es profesor se puede transformar en algunos son profesores, poniendo en vez de la variable el cuantificador algunos. Podra transformarse poniendo todos en vez de algunos y obtener el enunciado todos son profesores. Fx, Gx, Hx, etc. son las frmulas que simbolizan las funciones proposicionales simples y deben leerse F de x, G de x, etc. Al cuantificarlas las transformamos en proposiciones particulares afirmativas o negativas o en proposiciones universales afirmativas o negativas. Los cuantificadores particulares como algunos o alguien se simbolizan (Ex) que se lee existe al menos uno, y los cuantificadores universales como todo o todos se representan (x) que lee para todos. El enunciado alguien estudia se simboliza: (Ex) Fx y se puede leer existe un x, tal que x estudia. El enunciado todos son deportistas se simboliza: (x) Fx que se puede leer para todo x , x es deportista. E (x) : Alguno / Alguien (x) : Todo / Todos

Si consideramos a las proposiciones predicamentales simples de acuerdo a su cantidad y cualidad podemos ordenarlas en cuatro grupos. A) Universales afirmativas: (x) Fx E) Universales negativas: (x)-Fx I) Particulares afirmativas: (Ex) Fx O) Particulares negativas: (Ex) Fx (se lee: para todo x, x es F) (se lee: para todo x, x no es F) (se lee: existe un x que es F) (se lee: existe un x que no es F)

Proposiciones predicamentales complejas

Los enunciados de la Lgica Clsica, cuya forma es la de las oraciones enunciativas con sujeto y predicado, fueron estudiados como unidades indivisibles. Desde esa perspectiva un enunciado como todos los hombres son mortales tiene un sujeto que es el trmino hombres y un predicado que, adems del nexo que es una forma conjugada del verbo ser, contiene el trmino mortales. Estos trminos designan propiedades que, a su vez, determinan conjuntos. En el caso del ejemplo el conjunto de los objetos cuya propiedad es ser hombre y el de los objetos cuya propiedad es ser mortal. Estos conjuntos se encuentran relacionados entre si. La relacin es la de inclusin, de modo que hombre est incluido en mortal.

Formas de Pensamiento en la Humanidad Pedro Ballester | 18

La relacin de inclusin se expresa simblicamente como A C B, que se lee A est incluido en B. Esta relacin en la lgica de enunciados se expresa por la frmula p c q. Esto nos permite establecer un paralelo entre la Teora de Conjuntos y la Lgica Proposicional. Es decir que la relacin de inclusin entre conjuntos es equiparable con el condicional que relaciona enunciados. Tratndose de enunciados como todos los hombres son mortales se podra considerar que son en realidad enunciados complejos compuestos por enunciados simples, cada uno de los cuales tiene por predicado la propiedad enunciada en el sujeto del enunciado complejo y en el predicado del mismo enunciado. El verbo que oficia de nexo es sustituido por el condicional. Consideremos el enunciado todos los rboles son vegetales. Puede descomponerse en dos enunciados simples. El primero: todos son rboles y el segundo: todos son vegetales. Como la relacin entre el conjunto de objetos cuya propiedad es ser rbol y el conjunto de los objetos cuya propiedad es ser vegetal es la de inclusin, equiparable al condicional, podramos conectar ambos enunciados simples de modo que den por resultado el enunciado complejo si todos son rboles entonces todos son vegetales. Este enunciado podra simbolizarse (x) Fx c (x) Gx, frmula en la que la constante predicamental F representa al trmino rboles y la constante G al trmino vegetales. Las (x) son los cuantificadores y el condicional es c. Puede leerse para todo x, x es rbol entonces para todo x, x es vegetal. Pero tanto la frmula como la lectura de la misma se pueden simplificar. En el caso de la frmula usando un solo cuantificador, de esta manera: (x) (Fx c Gx). En el caso de la lectura diciendo: para todo x, si x es rbol entonces x es vegetal. Adems de los enunciados como el que estamos analizando, que es universal y afirmativo, estn lo universales negativos. Un ejemplo de estos es el siguiente: Ningn animal es vegetal. Este tipo de enunciado se simboliza (x) ( Fx c -Gx) en el cual se niega que el trmino vegetal sea una propiedad atribuible a los mismos individuos a los cuales se atribuye animal. Esta es la razn por la cual se niega el segundo trmino del enunciado y no todo l. Adems de los enunciados universales deben considerarse los particulares, tanto afirmativos como negativos. El enunciado algunos economistas son polticos puede descomponerse en los enunciados simples alguien o algunos son economistas y alguien o algunos son polticos. Lo que no es estrictamente correcto puesto que ambas propiedades se atribuyen a individuos que son a la vez economistas y polticos, pues la proposicin compleja algunos economistas son polticos asevera justamente eso. Es por eso que la frmula ms adecuada para simbolizar enunciados como el del ejemplo es: (Ex) ( Fx . Gx), que puede leerse existe un x, tal que x es F y es G, es decir, existe un x que es economista y es poltico. La conectiva es la conjuncin (y) porque el enunciado describe una situacin en la que los mismos individuos tienen dos propiedades.

Formas de Pensamiento en la Humanidad Pedro Ballester | 19

Los enunciados particulares negativos se representan por frmulas anlogas a esta: (Ex) ( Fx . -Gx), que suele leerse existe un x, tal que x es F y no es G. Por ejemplo: algunos comerciantes no son honestos se representa con la frmula antes citada y se lee existe al menos un x, tal que x es comerciante y no es honesto. Si ordenamos a los enunciados o proposiciones predicamentales complejas teniendo en cuenta su cantidad y cualidad obtendramos los siguientes cuatro tipos: A) Universales afirmativos: (x) (Fx c Gx) E) Universales negativos: (x) (Fx c -Gx) I) Particulares afirmativos: (Ex) (Fx . Gx) O) Particulares negativos: (Ex) (Fx . -Gx)

Proposiciones negadas
Proposiciones negadas son aquellas que, ya sean afirmativas o negativas, son negadas en su totalidad. Al negar la proposicin niego la cualidad de la misma, es decir que si niego a una proposicin afirmativa la hago negativa y si niego a una negativa la hago afirmativa. La negacin de p es -p y la negacin de -p es --p que es lo mismo que p. Es la ley de la doble negacin. En la lgica de enunciados lo nico que se modifica al negar las proposiciones es su cualidad pero no su cantidad. De hecho en la lgica de enunciados no se tiene en cuenta la cantidad de las proposiciones. En la lgica de predicados tanto la cantidad como la cualidad son expresadas por las frmulas pertinentes. Por lo tanto la negacin de una proposicin cualquiera afecta tanto a su cantidad como a su cualidad. Esto permite establecer equivalencias entre las proposiciones de distinta cualidad y cantidad. Hace posible transformar una proposicin particular en una equivalente universal o viceversa.

Equivalencia de cuantificadores
Las proposiciones clasificadas segn la cantidad y la cualidad tienen sus siguientes equivalentes al ser negadas: La universales afirmativas A, equivalen a la negacin de las particulares negativas -O La universales negativas E, equivalen a la negacin de las particulares afirmativas -I La particulares afirmativas I, equivalen a la negacin de las universales negativas -E Las particulares negativas O, equivalen a la negacin de las universales afirmativas -A

Formas de Pensamiento en la Humanidad Pedro Ballester | 20

Si expresamos a las proposiciones mencionadas por sus frmulas respectivas obtenemos las siguientes equivalencias:

Proposiciones predicamentales simples

(x) Fx = - (Ex) -Fx (x) -Fx = -(Ex) Fx (Ex) Fx = -(x) -Fx (Ex) -Fx = -(x) Fx

Proposiciones predicamentales complejas

(x) (Fx c Gx) = -(Ex) (Fx .-Gx) (x) (Fx c -Gx) = -(Ex) ( Fx . Gx) (Ex) (Fx . Gx) = -(x) (Fx c -Gx) (Ex) (Fx . -Gx) = -(x) (Fx c Gx)

Cuantificacin mltiple Proposiciones relacionales simples

Hay enunciados en los que una o ms propiedades se atribuyen simultneamente a por lo menos dos sujetos. La proposicin Carlos es amigo de Marta tiene dos sujetos que estn expresados por los nombres propios Carlos y Marta a los que se relaciona por el trmino ser amigo de, que es el predicado. Esta proposicin, y todas las semejantes, se puede simbolizar Aab, expresin en la que A es una constante predicamental mientras que a y b son constantes de individuo. Existen enunciados semejantes al anterior pero en los cuales los sujetos no son necesariamente individuos con nombre propio. Por ejemplo: Alguien es amigo de Julia tiene por sujeto a Julia y a dos o ms individuos representados por el cuantificador alguien, que equivale a alguno o algunos. En este caso, y en otros similares, el enunciado est compuesto por el predicado, un sujeto con nombre propio y un sujeto cuantificado. Su forma simblica puede ser: (Ex) Fxb, que se lee existe un x, tal que x ama a b. Una expresin como x es amigo de y es una funcin proposicional que se representa Fxy. Sabemos que para transformarla en proposicin es necesario cuantificar las variables. Una posible forma de hacerlo es la siguiente: (x) (y) Fxy que se lee: para todo x y para todo y, x es amigo de y, que puede transcribirse como Todos son amigos de todos. Este enunciado no es el nico que se puede obtener a partir de la funcin mencionada. Si cuantificamos a las variables del siguiente modo (Ex) (Ey) Fxy obtenemos un enunciado que se lee: existe un x y existe un y, tal que x es amigo de y, que puede transcribirse alguien es amigo de alguien o algunos

Formas de Pensamiento en la Humanidad Pedro Ballester | 21

son amigos de algunos. Podemos continuar con el mismo procedimiento de cuantificacin de la funcin y obtener distintas proposiciones segn como cuantifiquemos las variables. De hecho podemos obtener cuatro proposiciones simples afirmativas y cuatro negativas. stas son, y pueden interpretarse como: 1) 2) 3) 4) 5) 6) 7) 8) (x)(y) Fxy (Ex)(Ey) Fxy (x)(Ey) Fxy (Ex)(y) Fxy (x)(y) -Fxy (Ex)(Ey) -Fxy (x)(Ey) -Fxy (Ex)(y) -Fxy para todo x y para todo y, x es amigo de y existe un x, existe un y, tal que x es amigo de y para todo x, existe un y, tal que x es amigo de y existe un x que para todo y, x es amigo de y para todo x y para todo y, x no es amigo de y existe un x, existe un y, tal que x no es amigo de y para todo x, existe un y , tal que x no es amigo de y existe un x que para todo y, x no es amigo de y

Proposiciones relacionales complejas

Una proposicin como todos los hermanos son amigos tiene la siguiente forma lgica (x)(y) (Fxy c Gxy) y es, dado que el condicional conecta el sujeto con el predicado, una proposicin compleja. Puede interpretarse para todo x, para todo y, si x es hermano de y, entonces x es amigo de y. Hay muchas proposiciones relacionales complejas cuya forma est determinada por su cantidad, o sea el modo de cuantificar sus variables, y por su cualidad. Al solo efecto de enumerar algunas de dichas formas presentamos la siguiente lista: (x)(y) (Fxy c Gxy) puede interpretarse: todos los hermanos son amigos (Ex)(Ey) (Fxy . Gxy) puede interpretarse: algunos hermanos son amigos (x)(y) (Fxy c -Gxy) puede interpretarse: los hermanos no son amigos (Ex)(Ey) (Fxy . -Gxy) puede interpretarse: algunos hermanos no son amigos En los cuatro ejemplos la cuantificacin de las variables respectivas es homognea, esto es, se las cuantifica con el mismo grado de generalidad. Existe la posibilidad de hacer una cuantificacin heterognea, es decir, cuantificar las variables con distinto grado de generalidad, como lo hemos hecho en el caso de las proposiciones relacionales simples. Por tratarse de una explicacin meramente introductoria no utilizaremos la cuantificacin mltiple heterognea para proposiciones relacionales complejas. Tampoco analizaremos proposiciones en los que el trmino predicado pude predicarse de tres o ms sujetos simultneamente. No obstante, debemos sealar que en la denominada Lgica de Relaciones la utilizacin de todos los procedimientos de cuantificacin de variables son necesarios.

Formas de Pensamiento en la Humanidad Pedro Ballester | 22