CONECTORES LOGICOS La Negacin La operacin unitaria de negacin, no es cierto que se representa por y tiene la siguiente tabla de verdad de verdad

d p p V F F V La conjuncin de las proposiciones p, q es la operacin binaria que tiene por resultado p y q, se representa por p^q, y su tabla de verdad es: p q p^q V V F F V F V F V F F F

La disyuncin de dos proposiciones p, q es la operacin binaria que da por resultado p q, notacin p v q, y tiene la siguiente tabla: p q pvq V V V V F V F V V F F F La o excluyente, que algunos tambin le llaman o exclusiva, y que indica que una de las dos proposiciones se cumple, pero no las dos !ste caso corresponde por e"emplo a: #oy comprar un libro o ir al cine$ se sobrentiende que una de las dos debe ser verdadera, pero no la dos %e representa por p &'( q y su tabla de verdad es: p XOR q

pq

VVF VFV FVV FFF

)or *ltimo, tambin es muy com*n utili+ar una disyuncin como la siguiente: !l

men* incluye ca, o t !n este caso se esta dando una disyuntiva di,erente pues no se pueden las dos simult-neamente como en el caso anterior, pero aqu. si es v-lido el caso donde las dos son ,alsas !s el caso no -mbas, se puede representar por p / q y su tablas es p q p q V V F V F V F V V F F V La condiciona! de dos proposiciones p, q da lugar a la proposicin$ si p entonces q, se representa por p 0 q, y su tabla de verdad est- dada por: p q p"q V V V V F F F V V F F V La #icondiciona! de dos proposiciones p, q da lugar a la proposicin$ p si y slo si q, se representa por p 1 q su tabla de verdad est- dada por: p q p$q VVV VFF FVF FFV

Construccin de Ta#!as de %erdad 2omo ya sabemos la sintaxis en lgica es la ,orma correcta de escribir una ,rmula y la sem-ntica es lo que signi,ica 2omo en lgica solamente tenemos dos valores una ,rmula solamente puede ser verdadera o ,alsa )ara determinar su valor seguimos las reglas simples que dimos en las de,iniciones b-sicas de acuerdo a su tabla de verdad !sto lo 3acemos mediante interpretaciones 4na interpretacin de una ,rmula es un con"unto de valores que se les asignan a sus proposiciones atmicas 5l interpretar una ,rmula lo que ,inalmente vamos a obtener es un valor de verdad, bien sea verdadero o ,also )ero para poder encontrarlo muc3as veces el proceso en laborioso porque puede estar ,ormada por varias proposiciones atmicas )rimeramente se le asignan valores de verdad a los -tomos y se puede encontrar el valor de la expresin

%i deseamos 3acerlo en general, debemos anali+ar todas las posibilidades, esto se puede 3acer construyendo una tabla de verdad )ara ,ines pr-cticos cuando se tienen varios -tomos las tablas de verdad no resultan pr-cticas por lo que anali+aremos solamente expresiones con tres -tomos como m-ximo )or supuesto que se puede construir una tabla para un n*mero mayor de -tomos, pero notemos que por cada -tomo que se aumente el n*mero de renglones se duplica !sto es, para un -tomos son dos renglones, para dos -tomos son cuatro, para tres -tomos son oc3o, para cuatro diecisis, etc &!gorit'o para construir una tabla de verdad de una ,rmula en lgica de proposiciones () !scribir la ,rmula con un n*mero arriba de cada operador que indique su "erarqu.a %e escriben los enteros positivos en orden, donde el n*mero 6 corresponde al operador de mayor "erarqu.a 2uando dos operadores tengan la misma "erarqu.a, se le asigna el n*mero menor al de la i+quierda *) 2onstruir el -rbol sint-ctico empe+ando con la ,rmula en la ra.+ y utili+ando en cada caso el operador de menor "erarqu.a ' sea, del n*mero mayor al menor +) 7umerar las ramas del -rbol en ,orma secuencial empe+ando por las 3o"as 3acia la ra.+, con la *nica condicin de que una rama se puede numerar 3asta que estn numerados los 3i"os )ara empe+ar con la numeracin de las 3o"as es buena idea 3acerlo en orden al,abtico, as. todos obtienen los renglones de la tabla en el mismo orden para poder comparar resultados ,) !scribir los encabe+ados de la tabla las ,rmulas siguiendo la numeracin que se le di a las ramas en el -rbol sint-ctico -) 5signarle a los -tomos, las 3o"as del -rbol, todos los posibles valores de verdad de acuerdo al orden establecido )or supuesto que el orden es arbitrario, pero como el n*mero de permutaciones es n8, conviene establecer un orden para poder comparar resultados ,-cilmente .) 5signar valor de verdad a cada una de las columnas restantes de acuerdo al operador indicado en el -rbol sint-ctico utili+ando la tabla de verdad correspondiente del 9ema 6 : 2onexiones Logicas y ;erarquias 2onviene aprenderse de memoria las tablas de los operadores, al principio pueden tener un resumen con todas las tablas mientras se memori+an /) La *ltima columna, correspondiente a la ,rmula original, es la que indica los valores de verdad posibles de la ,rmula para cada caso !;!<)L' i= >p 0 q= v >p v r= 6 ? : @ V V V F V V F F V F V V V F F V F V V F F V F F F F V V A F F F F V V V B F F V V V V V C V F V F V V V D V F V V V V V

p q r q p p 0 q p v r >p 0 q= v >p v r=

F F F V

0erarqu1a de !os Conectivos La "erarqu.a de las proposiciones son: negacin, con"uncin, disyuncin, implicacin, bicondicional y son asociadas por la i+quierda Ee esta manera si nos encontramos ante la siguiente proposicin: p 0q r !l correcto para resolverlo ser.a para este caso: 6 )rimero negamos r > r = ? Luego resolvemos la con"uncin >q r= : )or *ltimo resolvemos la implicacin 0 )ero tiene mayor valor los signos de agrupacin, des esta manera, si nos encontramos con la proposicin: >p 0q= r 6 )rimero resolvemos la implicacin >p 0q= ? Luego 3acemos la negacin de r > r = : )or *ltimo la con"uncin 2omo podemos observar los operadores se colocan a la i+quierda de la variable proposicional, siendo incorrectos los siguientes e"emplos: p Fq 1 r %olo por mencionar algunos e"emplos, porque podr.an 3aber muc3as combinaciones incorrectas %a!ide2 3!gica4 !n lgica, la va!ide2 es una propiedad que tienen los argumentos cuando las premisas implican la conclusin %i la conclusin es una consecuencia lgica de las premisas, se dice que el argumento es deductivamente vlido 5lgunos consideran estas dos nociones idnticas y usan ambos trminos indistintamente 'tros, sin embargo, consideran que puede 3aber argumentos v-lidos que no sean deductivamente v-lidos, como las inducciones !n cualquier caso, de las inducciones a veces se dice que son buenas o malas, en ve+ de v-lidas o inv-lidas !"emplos de argumentos deductivamente v-lidos son los siguientes: 6 %i est- soleado, entonces es de 6 %i es lunes, entonces es 6 9odos los planetas giran alrededor del

d.a ? !st- soleado : )or lo tanto, es de d.a

martes ? !s lunes : )or lo tanto, es martes

%ol ? <arte es un planeta : )or lo tanto, <arte gira alrededor del %ol

7tese que para que un argumento sea deductivamente v-lido, no es necesario que las premisas o la conclusin sean verdaderas %lo se requiere que la conclusin sea una consecuencia lgica de las premisas La lgica ,ormal establece *nicamente una relacin condicional entre las premisas y la conclusin !sto es: que si las premisas son verdaderas, entonces la conclusin tambin lo es >esta es la caracteri+acin sem-ntica de la nocin de consecuencia lgica=$ o alternativamente: que la conclusin sea deducible de las premisas con,orme a las reglas de un sistema lgico >esta es la caracteri+acin sint-ctica de la nocin de consecuencia lgica= %i un argumento, adem-s de ser v-lido, tiene premisas verdaderas, entonces se dice que es slido 7o se debe con,undir la valide+ >una propiedad de los argumentos= con la valide+ lgica >una propiedad de las ,rmulas= %e dice que una ,rmula tiene valide+ lgica, o que es lgicamente v-lida, cuando es verdadera ba"o todas las interpretaciones posibles del lengua"e al que pertenece )or lo dem-s, el trmino Gvalide+ lgicaH est- cayendo en desuso ,rente al trmino Gverdad lgicaH para designar a estas ,rmulas !n los sistemas en los que vale el teorema de la deduccin, todos los argumentos v-lidos pueden trans,ormarse en ,rmulas lgicamente v-lidas de la ,orma , donde las ) son las premisas del argumento y 2 su conclusin !n los sistemas donde vale el converso del teorema, todas las ,rmulas lgicamente v-lidas con la ,orma se pueden trans,ormar en argumentos v-lidos con las ) como premisas y 2 como conclusin !sto muestra que existe una estrec3a relacin entre la valide+ de los argumentos y la valide+ lgica de las ,rmulas Demostracin de la validez de un argumento 4n argumento concreto es v-lido cuando tiene la ,orma de un esquema de argumento v-lido )or e"emplo, considrese los siguientes dos argumentos: 6 ' es de d.a o es de noc3e ? 7o es de d.a : )or lo tanto, es de noc3e 6 ' es varn o es mu"er ? 7o es varn : )or lo tanto, es mu"er

!stos argumentos son v-lidos porque ambos tienen la ,orma de un silogismo disyuntivo, el cual es un esquema de argumento v-lido: 6 'poq

? 7o p : )or lo tanto, q )ara determinar la valide+ de un argumento concreto, entonces, alcan+a con determinar la valide+ su esquema de argumento, y esto se puede lograr por medios sem-nticos o por medios sint-cticos Consistencia 3!gica4 !n lgica, la consistencia o consistencia !gica es una propiedad que pueden tener los con"untos de ,rmulas Intuitivamente, un con"unto de ,rmulas es consistente cuando no contiene una contradiccin o ambigJedad La consistencia puede ser de,inida tanto en trminos sem-nticos como en trminos sint-cticos !n trminos sem-nticos, un con"unto de ,rmulas es consistente si y slo si tiene un modelo !s decir, si existe al menos una interpretacin que 3aga verdaderas a todas las ,rmulas del con"unto !n trminos sint-cticos, un con"unto de ,rmulas es consistente si y slo si para toda ,rmula 5, no es posible deducir tanto 5 como 5 >la negacin de 5= a partir del con"unto de ,rmulas 6 )or e"emplo, considrese el siguiente con"unto de ,rmulas de la lgica proposicional: K p, q, >q0 p=, r L 4tili+ando la regla de in,erencia del modus ponens entre q y >q0 p=, es posible deducir p Luego, seg*n la de,inicin sint-ctica de consistencia, el con"unto es inconsistente )ara evaluar si el con"unto es consistente seg*n la de,inicin sem-ntica, podemos construir una tabla de verdad:

2omo se ve, en ninguna de las interpretaciones >ninguna de las ,ilas de la tabla= se da que todas las ,rmulas son verdaderas Luego, de acuerdo con la de,inicin sem-ntica, el con"unto es inconsistente 4n sistema ,ormal es consistente si y slo si el con"unto de sus teoremas es consistente

)or los teoremas de la incompletitud de MNdel sabemos que ning*n sistema ,ormal que tenga un m.nimo de poder expresivo puede ser a la ve+ consistente y completo 2on"untos adecuados