Universidad Nacional Abierta y a Distancia UNAD-Lgica Matemtica - Georffrey Acevedo G. A que viene la lgica?

Autor: Georffrey Acevedo G. Noviembre ! de "##$.

Los conce%tos de %ro%osiciones& conectivos e inferencias confluyen al anali'ar un ra'onamiento. (ara tener claridad sobre los conce%tos tratados en la %rimera unidad& %rocedamos con el anlisis de un e)em%lo: *ecordemos +ue desde sus or,genes& unos -## a.os antes de /risto& el 0ombre a estado buscando criterios %ara identificar un ra'onamiento como vlido o no vlido. /omo e)em%lo& solucionaremos uno de los ra'onamientos %ro%uestos en el %rimer traba)o colaborativo: "Como tener un arte es tener una habilidad y pintar es un arte, quien pinta tiene una habilidad" 1n todo ra'onamiento& se identifican varias e2%resiones del lengua)e +ue cum%len una funcin informativa& son los llamados enunciados& los cuales reciben este nombre %or+ue enuncian algo. 1n nuestro caso se identifican tres enunciados o %ro%osiciones: 1. "Tener un arte es tener una habilidad" 2. "Pintar es tener un arte" 3. "quien pinta tiene una habilidad" Dentro del ra'onamiento estos enunciados cum%len con una funcin de manera +ue slo uno de los enunciados se %resenta como ace%tado %or+ue los otros enunciados fueron ace%tados. Cul de estos tres enunciados es aceptado porque los otros dos fueron aceptados? La res%uesta es el tercer enunciado "Quien pinta tiene una habilidad" %or+ue su ace%tacin de%ende de los otros dos3 este enunciado recibe el nombre de conclusin. Cmo se llaman los otros dos enunciados? Los otros dos enunciados son los +ue )ustifican la conclusin y se denominan premisas. A0ora estamos listos %ara definir lo +ue es un razonamiento Un razonamiento es conjunto de enunciados en el que hay uno que se presenta como justificado por los otros enunciados. *ecordadas estas definiciones& %odemos %roceder a anali'ar el conce%to de !alidez de un argumento o ra'onamiento: Un razonamiento es vlido si la forma que tiene es vlida. 4y cuando una estructura o forma de un ra'onamiento es vlida5 cuando es im%osible +ue siendo las %remisas verdaderas& sea la conclusin falsa. 6i encotrramos un slo e)em%lo en el cual %odamos afirmar +ue alguien +ue %inta no tiene una 0abilidad. 1n este caso& este e)em%lo se llamar,a contrae"emplo y encontrarlo convertir,a nuestra forma de ra'onar en un ra'onamiento no vlido3 los ra'onamientos +ue admiten contrae)em%los se 78

Universidad Nacional Abierta y a Distancia UNAD-Lgica Matemtica - Georffrey Acevedo G. denominan #alacias. (ara continuar con la diversin& a0ora %asemos al lengua)e simblico: 1l lengua)e simblico es un lengua)e artificial +ue facilita una re%resentacin %ara un anlisis ms %rofundo de los ra'onamientos& en este caso& la Lgica 6imblica nos %ro%orcionar los signos %ara anali'ar este lengua)e lgico denominado ra'onamiento& y nuestro emocionante %roblema ser determinar si este ra'onamiento es o no vlido& veamos: 1l %rimer %aso ser declarar o dividir los enunciados en otros ms %e+ue.os tambi9n denominados %ro%osiciones sim%les& recordemos +ue un enunciado o proposicin es una e2%resin ling:,stica cual+uiera de la +ue tenga sentido afirmar +ue es verdadera o falsa. *eescribamos las %remisas y conclusin de acuerdo al conte2to de nuestro %roblema: 1. Si Ana tiene un arte, entonces tiene una habilidad 2. Si Ana pinta, entonces tiene un arte 3. Si Ana pinta, entonces tiene una habilidad (ro%osiciones sim%les: p = Ana tiene un arte q = Ana tiene una habilidad r = Ana pinta Los enunciados en lengua)e simblico sern: . % --; + ". r --; % ----------------<. r --; + =bservemos +ue en este ra'onamiento tambi9n %uede e2%resarse como: [ r!!"p# $ p!!"q#%!!" r!!"q# 1sta e2%resin tambi9n se conoce como #rmula o #uncin l$ica. 4Logras identificar el ra'onamiento al observar la funcin lgica5 (or su%uesto& se trata de un %ilo$ismo &ipot'tico o 6>. La %rimera %ista %ara identificarlo es %recisamente el tratarse de un 6ilogismo& recordemos +ue un %ilo$ismo es un ra'onamiento +ue consta de tres enunciados& en el cual el ?ltimo enunciado se deduce de los otros dos. 1sta forma de ra'onar fue identificada y nombrada %or Aristteles. (ero si no es suficiente %rueba de valide' %ara ti& 0aber identificado el ra'onamiento como uno de los ra'onamientos universalmente reconocidos como vlidos& %odemos entonces %roceder a utili'ar nuestra arma secreta.... (a tabla de !erdad, veamos:

"78

Universidad Nacional Abierta y a Distancia UNAD-Lgica Matemtica - Georffrey Acevedo G. La tabla de verdad de una frmula o funcin %uede ser definida como una tabla en la cual se determinan los valores de verdad %ara cada uno de los diferentes casos %osibles de combinaciones de valores de verdad de sus %ro%osiciones. 4/uantos casos %osibles 0ay en nuestro %roblema5 "@< A "2"2" A $ casos %osibles de valores de verdad %ara < variables: p q v v v v v v f f f f f f v v f f r v f v f v f v f

(ara determinar si el ra'onamiento tiene o no una estructura vlida& debemos %reguntarnos si 4/uando las %remisas son verdaderas& la conclusin tambi9n lo es5 *ecordemos las %remisas y la conclusin: %remisa uno: p !!" q& %remisa dos: r !!" p y la conclusin: r !!" q Babla de verdad: &re'isa &re'isa (onclusin 1 2 p q r p !!" q vvv vvf vf v vf f f vv f vf f f v f f f v v f f v v v v r !!" p v v v v f v f v r !!" q v v f v v v f v (remisas verdaderas y conclusin verdadera (remisas verdaderas y conclusin verdadera (remisas verdaderas y conclusin verdadera (remisas verdaderas y conclusin verdadera

)n todos los casos de pre'isas verdaderas la conclusin es ta'bi*n verdadera

=bserva +ue en las filas resaltadas las %remisas son ambas verdaderas. 4/mo es la conclusin en estos cuatro casos5 Bambi9n es verdadera3 como en todos los casos en +ue las %remisas dieron ambas verdaderas& la conclusin tambi9n fue verdadera& %odemos decir +ue es i'posible encontrar una asignacin de valores de verdad +ue 0aga verdadera a las %remisas y falsa a la conclusin.

<78

Universidad Nacional Abierta y a Distancia UNAD-Lgica Matemtica - Georffrey Acevedo G. La imposibilidad de que esto ocurra nos permite declarar la forma de nuestro razonamiento como una forma de razonamiento vlido. 6i anali'amos detenidamente todos los resultados de la tabla de verdad& %odemos obtener conclusiones im%ortantes: . 6i al evaluar un ra'onamiento& a%licando un estructura +ue reconocemos como vlida& llegamos a una conclusin falsa& ser %or+ue una de las %remisas es tambi9n falsa. ". Un ra'onamiento considerado como vlido con %remisas falsas %uede tener conclusin verdadera o falsa. 4/uando diremos +ue el ra'onamiento no es vlido& es decir& +ue es una falacia5 Cuando encontremos una combinacin en la cual las premisas sean verdaderas y la conclusin falsa. 1ncontrar +ue es im%osible +ue cuando las %remisas sean todas verdaderas la conclusin sea falsa se conoce como im%licacin tautolgica de la conclusin. A+u, a%arece el conce%to de tautolog,a. Antes de a%licarlo %ara anali'ar la valide' de un argumento& recordemos la diferencia entre 9ste y los conce%tos de contradiccin y contingencia. +autolog,a: /uando una funcin lgica es veradera %ara todas las combinaciones %osibles de los valores de verdad de sus variables. (ontradiccin: /uando una funcin lgica es falsa %ara todas las combinaciones %osibles de los valores de verdad de sus variables. (ontingencia: /uando una funcin lgica no es ni Bautolog,a ni /ontradiccin& es decir& +ue al conocer su valor de verdad %ara todas las combinaciones %osibles de los valores de verdad de sus variables se encuentra +ue en algunos casos es falsa y en otros verdadera. A0ora& %rocedamos a usar el conce%to de im%licacin tautolgica entre enunciados %ara determinar la valide' de un argumento: Decimos +ue 0ay i'plicacin tautolgica entre enunciados cuando la conjuncin de las %remisas im%lica tautolgicamente la conclusin& veamos: con)uncin de las %remisas es: p!!"q# $ r!!"p# Cm%lica la conclusin significa: [ p!!"q# $ r!!"p#%!!" r!!"q# Cm%licar tautolgicamente es entonces +ue de [ p!!"q# $ r!!"p#%!!" r!!"q# se obtiene una tautolog,a.

-78

Universidad Nacional Abierta y a Distancia UNAD-Lgica Matemtica - Georffrey Acevedo G. 4=btendremos una tautolog,a en nuestro caso5 Babla de verdad No." &re'isa 1 &re'isa 2 (onclusin p q r v v v v v f v f v v f f f v v f v f f f v f f f p !!" q v v f f v v v v r !!" p v v v v f v f v r !!" q v v f v v v f v

(on-uncin de las pre'isas p!!"q# $ r!!"p# v v f f f v f v

.'plicacin de la conclusin [ p!!"q# $ r!!"p#%!!" r!!"q# v v v v v v v v

Una ve' ms& 0a +uedado demostrada la valide' del ra'onamiento %lanteado3 efectivamente& la conclusin se deriva de las %remisas. Anali'a con detenimiento como los conce%tos vistos se unen en torno a un ?nico ob)etivo: determinar la valide' de los argumentos a %artir de la identificacin de su forma como la forma de un argumento vlido. Due estas l,neas cum%lan la funcin de acercarnos al %lacer +ue otorga la com%rensin de ideas nuevas3 com%render es el camino +ue abre las %uertas a nuevas miradas sobre nuestro vie)o %roblema: +uerer llegar al sitio sin 0acer el via)e. Afectuosamente& Georffrey.
E. FDadas las mismas causas& 0abr las mismas guerrasG. Hernando Gon'le'.

878