INTRODUCCIN Aprender matemticas y fsica es muy difcil; as se expresan la mayora de estudiantes de todos los niveles, sin embargo pocas

veces se busca una explicacin del porqu no aprenden las ciencias exactas los alumnos !os alumnos no aprenden ciencias exactas, porque no saben relacionar las conocimientos que se proporcionan en la escuela "leyes, teoremas, frmulas# con los problemas que se le presentan en la vida real $tro problema grave es que el aprendi%a&e no es significativo 'l presente traba&o pretende motivar a los estudiantes para que con ayuda de la lgica matemtica, l sea capa% de encontrar estos relacionamientos entre los diferentes esquemas de aprendi%a&e, para que de esta manera tenga una buena estructura cognitiva (onsideramos que si el alumno sabe lgica matemtica puede relacionar estos conocimientos, con los de otras reas para de esta manera crear conocimiento !a lgica estudia la forma del ra%onamiento, es una disciplina que por medio de reglas y tcnicas determina si un argumento es vlido !a lgica es ampliamente aplicada en la filosofa, matemticas, computacin, fsica 'n la filosofa para determinar si un ra%onamiento es vlido o no, ya que una frase puede tener diferentes interpretaciones, sin embargo la lgica permite saber el significado correcto 'n las matemticas para demostrar teoremas e inferir resultados matemticos que puedan ser aplicados en investigaciones 'n la computacin para revisar programas 'n general la lgica se aplica en la tarea diaria, ya que cualquier traba&o que se reali%a tiene un procedimiento lgico, por el e&emplo; para ir de compras al supermercado una ama de casa tiene que reali%ar cierto procedimiento lgico que permita reali%ar dic)a tarea *i una persona desea pintar una pared, este traba&o tiene un procedimiento lgico, ya que no puede pintar si antes no prepara la pintura, o no debe pintar la parte ba&a de la pared si antes no pint la parte alta porque se manc)ara lo que ya tiene pintado, tambin dependiendo si es %urdo o derec)o, l puede pintar de i%quierda a derec)a o de derec)a a i%quierda seg+n el caso, todo esto es la aplicacin de la lgica !a lgica es pues muy importante; ya que permite resolver incluso problemas a los que nunca se )a enfrentado el ser )umano utili%ando solamente su inteligencia y apoyndose de algunos conocimientos acumulados, se pueden obtener nuevos inventos innovaciones a los ya existentes o simplemente utili%acin de los mismos Al presentar el documento lo )emos estructurado de la siguiente manera, -rimeramente se establece la importancia de la lgica matemtica, despus se )abla de la )istoria de la misma; la relacin de la lgica con otras ciencias; la divisin de la !gica; definimos el concepto de proposicin *e establece el significado y utilidad de conectivos lgicos para formar proposiciones compuestas .s tarde abordamos las proposiciones condicionales y bicondicionales /efinimos tautologa, contradiccin y contingente, y proporcionamos una lista de las tautologas ms importantes, as mismo explicamos a que se le llama proposiciones lgicamente equivalente apoyndonos de tablas de verdad -ara finali%ar; abordamos los mtodos de demostracin, directo y por contradiccin, en donde incluye reglas de inferencia y por +ltimo estudiaremos los circuitos lgicos

2 pensamiento lgico HISTORIA DE LA LGICA

Desarrollo del

'n el pasado las matemticas eran consideradas como la ciencia de la cantidad, referida a las magnitudes "como en la geometra#, a los n+meros "como la aritmtica#, o a la generali%acin de ambos "como en lgebra# 0acia mediados del siglo 121, las matemticas se empe%aron a considerar como la ciencia de las relaciones, o como la ciencia que produce condiciones necesarias 'sta +ltima nocin abarca la lgica matemtica o simblica, ciencia que consiste en utili%ar smbolos para generar una teora exacta de deduccin e inferencia lgica basada en definiciones, axiomas, postulados y reglas que transforman elementos primitivos en relaciones y teoremas ms comple&os 3rataremos la evolucin de los conceptos e ideas matemticas siguiendo su desarrollo )istrico 'n realidad, las matemticas son tan antiguas como la propia )umanidad, 'n los dise4os pre)istricos de cermica, te&idos, y en las pinturas rupestres se pueden encontrar evidencias del sentido geomtrico y del inters en figuras geomtricas !os sistemas de clculo primitivo estaban basados, seguramente, en el uso de los dedos de una o dos manos, lo que resulta evidente por la gran abundancia de sistemas numricos en los que las bases son los n+meros 5 y 67 LAS MATEMTICAS EN LA ANTIGEDAD !as primeras referencias a matemticas avan%adas y organi%adas datan del tercer milenio antes de cristo, en 8abilonia y 'gipto 'stas matemticas estaban dominadas por la aritmtica, con cierto inters en medida y clculos geomtricos y sin mencin de conceptos matemticos como los axiomas o las demostraciones !os primeros libros egipcios, escritos )acia el a4o de 6977 A ( , muestran un sistema de numeracin decimal con distintos smbolos para las sucesivas potencias de 67 "6, 67, 677#, similar al sistema utili%ado por los romanos !os n+meros se representaban escribiendo el smbolo del 6 tantas veces como unidades tena el n+mero dado, el smbolo del 67 tantas veces como decenas )aba en el n+mero, y as sucesivamente -ara sumar n+meros, se sumaban por separado las unidades, las decenas, las centenas de cada n+mero !a multiplicacin estaba basada en duplicaciones sucesivas y la divisin era el proceso inverso !os egipcios utili%aban sumas de fracciones unidad a, &unto con la fraccin b, para expresar todas las fracciones :tili%ando este sistema, los egipcios fueron capaces de resolver problemas aritmticos con fracciones, as como problemas algebraicos elementales 'n geometra encontraron las reglas correctas para calcular el rea de tringulos, rectngulos y trapecios, y el volumen de figuras como ortoedros, cilindros y, por supuesto, pirmides -ara calcular el rea de un crculo, los egipcios utili%aban un cuadrado de lado : del dimetro del crculo, valor muy cercano al que se obtiene utili%ando la constate ; "< 6=6># 'l sistema babilnico de numeracin era bastante diferente del egipcio 'n el babilnico se utili%aban tablillas con varias muescas o marcas en forma de cu4a "cuneiforme#; una cu4a sencilla representaba al 6 y una marca en forma de flec)a

MDULO 2

Desarrollo del pensamiento lgico

<

representaba al 67 !os n+meros menores de 5? estaban formados por estos smbolos utili%ando un proceso aditivo, como en las matemticas egipcias 'l n+mero >7, sin embargo, representaba con el mismo smbolo que el uno, y a partir de a), el valor de un smbolo vena dado por su posicin en el n+mero completo -or e&emplo, un n+mero compuesto por el smbolo del @ seguido por el del @A y terminado con el del 67, representaba @ x >7@ B @A x >7 B 67 'ste mismo principio fue ampliado a la representacin de fracciones, de manera que el e&emplo anterior poda tambin representar @ x >7 B @A B 67 x "CD#, o @ B @A x "CD# B 67 x "CD# E @ 'ste sistema, denominado sexagesimal "base >7#, resultaba tan +til como el sistema decimal "base 67# (on el tiempo, los babilonios desarrollaron unas matemticas ms sofisticadas que les permitieron encontrar las races positivas de cualquier ecuacin de segundo grado Fueron incluso capaces de encontrar las races de algunas ecuaciones de tercer grado, y resolvieron problemas ms complicados utili%ando el teorema de -itgoras !os babilonios compilaron una gran cantidad de tablas, incluyendo tablas de multiplicar y de dividir, tablas de cuadrados y tablas de inters compuesto Adems, calcularon no solo la suma de progresiones aritmticas y de algunas geomtricas, sino tambin de sucesiones de cuadrados 'xisten algunos persona&es que los citaremos a continuacin que )an )ec)o )istoria ya sea por sus frases clebres o por su pensamiento, como son, PARMENIDES, Gegaba el cambio, ya que para l cambiar significaba que una cosa de&e de ser lo que es SCRATES, :no de los grandes persona&es de la )istoria, su frase clebre slo se que nada se PLATN , /iscpulo de *crates, al contrario de lo de su maestro deca que el individuo nace sabindolo todo, pues el alma antes de venir al mundo de lo material existe en el mundo de las ideas, en donde todo es perfecto ARISTTELES: 's considerado el padre de la !gica, se4alaba que el ser )umano nace limpio de conocimiento, y que debe adquirirlos a travs de la vida 'n su obra organn trata sobre la lgica como mtodo del conocimiento (ategoras o conceptos Huicios o interpretaciones *ilogismos /emostraciones

HERCLITO, *e4alaba que todo lo que existe es obra del cambio y evolucin /ialctica o ra%onamiento

DEFINICIN Y OBJETO DE LA LGICA !a palabra lgica se deriva de la palabra griega logos que significa ra%onamiento o discurso

4 pensamiento lgico

Desarrollo del

!a lgica matemtica es la disciplina que trata de mtodos de ra%onamiento 'n un nivel elemental, la lgica proporciona reglas y tcnicas para determinar si es o no vlido un argumento dado 'l ra%onamiento lgico se emplea en matemticas para demostrar teoremas; en ciencias de la computacin para verificar si son o no correctos los programas; en las ciencias fsica y naturales, para sacar conclusiones de experimentos; en las ciencias sociales y en la vida cotidiana, para resolver una multitud de problemas (iertamente se usa en forma constante el ra%onamiento lgico para reali%ar cualquier actividad /efinicin de lgica de acuerdo a algunos autores, -ara IorsJi, !gica es la ciencia de las formas del pensamiento cientfico estudiadas desde el punto de su estructura; la ciencia de las leyes que deben observarse para obtener un conocimiento inferido; la lgica estudia tambin los procedimientos lgicos generales utili%ados para el conocimiento de la realidad *eg+n Fingemann, !gica en la ciencia de las formas y leyes del pensamiento, que nos da normas para la investigacin cientfica y nos suministra un criterio de verdad 'ntonces se puede decir que la lgica en una ciencia que ense4a a ra%onar con exactitud y que posee un lengua&e exacto, el cual para su desarrollo utili%a reglas las cuales nos permite obtener una conclusin (astro Iuerrero nos dice que seg+n IorsJi 3abant el ob&eto de la lgica como ciencia es el estudio del pensamiento )umano 'l estudio de la lgica permite que el estudiante adquiera )abilidades para ra%onar ya sea verbal o matemticamente utili%ando un lengua&e simblico que expresa el aspecto cuantitativo de la realidad 'xisten adems otras definiciones, !gica es la ciencia que estudia la estructura del pensamiento, prescindiendo del contenido !gica tambin es la manera ordenada de pensar y de expresar nuestras ideas es decir su

'l ob&etivo principal de la lgica es anali%ar la estructura del pensamiento, forma lgica para descubrir leyes y reglas RELACIN DE LA LGICA CON LAS DEMS CIENCIAS

(on la filosofa, por ser parte de ella (on la psicologa, por cuanto el pensamiento es un proceso psicolgico (on la gramtica, el pensamiento se )alla unido al lengua&e, a travs del cual se da forma y expresin del pensamiento, cuyo material final es la palabra (on la sociologa, por que el )ombre piensa de acuerdo con las leyes sociales (on las matemticas, por que ambas disciplinas tienen carcter formal (on la biologa, -orque el )ec)o lgico es un )bito y todo )bito es un )ec)o biolgico

MDULO 2

Desarrollo del pensamiento lgico

(on la fsica, -orque cuando la lgica nos dice que puede ser o no ser, se refiere a ob&etos fsicos y stos son un captulo de la fsica que trata sobre ob&etos de cualquier naturale%a DIFERENCIAS ENTRE JUICIO, ORACIN Y PROPOSICIN

El juici K 's una relacin o con&untos de conceptos que se caracteri%a por constituir una afirmacin o aseveracin de algo, es una forma, una estructura del pensamiento que ob&etivamente es verdadero o falso "Astudillo, /olores; 2nciso, !iliana# El !"u"ci#$ %& 's la expresin verbal o escrita del &uicio '&emplos, -edro es estudiante de la :niversidad Gacional de !o&a xB@LA <B@L5 N ' " !"u"ci#$ ': L#' (#ci "!' !)cl#*#+i,#' "*entimientos, inter&ecciones# '& , MsocorroN, MauxilioN Mte quieroN L#' (#ci "!' i*-!(#+i,#' "Ordenes#, '& , (ierra la puerta; te vas afuera L#' $!'i$!(#+i,#' "/eseos, s+plicas# '& , $&ala no )aya clases L#' (#ci "!' i"+!(( .#+i,#' "-reguntas# '& , PQu )ora esR

R#/ "#*i!"+ K's un con&unto de afirmaciones o &uicios relacionados de manera al que se supone que uno de ellos "llamado conclusin# se desprende o infiere del o los otros "llamados premisas# !a pretensin de que la conclusin se deriva de las premisas se manifiesta a travs de expresiones especiales como, por lo tanto, luego, por consiguiente, etc L# -( - 'ici0" K 's un enunciado que puede ser falso o verdadero, pero no ambas cosas a la ve% !a proposicin es un elemento fundamental de la lgica matemtica; generalmente se las expresa en oraciones declarativas o aseverativas, tales como, O(#ci "!' #1i(*#+i,#' "2nforman# '& , .a4ana es lunes O(#ci "!' $!'c(i-+i,#' "/escriben# '& , !a ti%a es blanca O(#ci "!' !)-lic#+i,#' "'xplican# '& , *i )ace fro entonces es invierno A continuacin se tienen algunos e&emplos de proposiciones vlidas y no vlidas, y se explica el porqu algunos enunciados no son proposiciones !as proposiciones se indican por medio de una letra min+scula, dos puntos y la proposicin propiamente dic)a '&emplo p !a tierra es plana

Desarrollo del 6 pensamiento lgico q K6A B <9 L @6 r x S yK? s !a !iga de !o&a ser campen en la presente temporada de f+tbol t, 0ola Pcomo estasR T !ava el coc)e por favor !os incisos p y q sabemos que pueden tomar un valor de falso o verdadero; por lo tanto son proposiciones vlidas 'l inciso r tambin es una proposicin vlida, aunque el valor de falso o verdadero depende del valor asignado a las variables x y y en determinado momento !a proposicin del inciso s, es vlida *in embargo los enunciados t y T no son vlidos, ya que no pueden tomar un valor de falso o verdadero, uno de ellos es un saludo y el otro es una orden 2#l ( $! ,!($#$ K :na proposicin es verdadera o es falsa; si es verdadera se denotar por la letra U o el 6 y si es falsa se denotar por F o por el 7 *i no se puede determinar su valor de verdad, se podr anali%ar los posibles valores de verdad "tablas de certe%a# CLASES DE PROPOSICIONES: !as proposiciones se clasifican en proposiciones simples o atmicas y proposiciones compuestas o moleculares, P( - 'ici "!' 'i*-l!' K *on aquellas proposiciones que no se pueden descomponer '&emplo, p, 3odo organismo viviente se adapta a su medio fsico q, *i un n+mero es divisible por = tambin lo es por @ r, "a Bb#@ L a@ B @ab B b@ P( - 'ici "!' c *-u!'+#' * l!cul#(!'%& *on aquellos enunciados que estn formados por dos o ms proposiciones simples y unidos por trmino lgico '&emplos, p, !a ni4a .ara canta y su )ermano !uis toca el piano q, 'cuador es un pas Ama%nico y latinoamericano -odemos observar en los e&emplos anteriores que tanto p como q estn compuestas de dos proposiciones simples !os conectivos lgicos son elementos gramaticales que unen dos o ms proposiciones simples; estos son,

CONECTI2OS LGICOS
OPERADOR LGICO LGICA SIMBLICA

Gegacin

TERMINOLOG3A LGICA

no

MDULO 2

Desarrollo del pensamiento lgico (on&uncin /isyuncin /isyuncin exclusiva (on&uncin negativa /isyuncin negativa (ondicional 8icondicional

y o o en sentido excluyente niV ni noVno *iV , entonces *i y slo si

PROPOSICIONES COMPUESTAS Y CONECTI2OS LGICOS !os operadores lgicos tambin permiten formar proposiciones compuestas "formadas por varias proposiciones# !os operadores o conectores bsicos son, CONJUNCIN 4 5 6UE SE LEE Y *e utili%a para conectar dos proposiciones que se deben cumplir para que se pueda obtener un resultado verdadero *u smbolo que se lee y *e lo conoce como la multiplicacin lgica y tiene estrec)a relacin con la interseccin de con&untos '&emplo *ea el siguiente enunciado 'l coc)e enciende cuando tiene gasolina en el tanque y tiene corriente la batera *imboli%ando tenemos, p, el conc)e enciende cuando tiene gasolina en el tanque q, tiene corriente la batera U"p# L U U"q# L U 'n consecuencia, U"p q# L U $tro e&emplo, < B = L > y < B A L 67 p, < B = L > U"p# L F q, < B A L 67 U"q# L U -or consiguiente, U "p q# L F /e tal manera que la representacin del enunciado anterior usando simbologa lgica es como sigue, pyq p pero q p aunque q p incluso q p tambin q; etc

q; que se lee,

8 pensamiento lgico *u tabla de verdad es, p U U F F LA DISYUNCION: LA DISYUNCIN INCLUSI2A: 4 5 6UE SE LEE: O% q U F U F p q U F F F

Desarrollo del

's la unin de dos proposiciones simples con el conectivo lgico o *imblicamente se lo representa as, p q que se lee p q o ambas 'l enunciado es verdadero cuando alguna de las proposiciones es verdadera o ambas son verdaderas; *e conoce tambin como la suma lgica y se relaciona estrec)amente con la unin de con&untos '&emplos, *ea el siguiente enunciado :na persona puede entrar al cine si compra su boleto u obtiene un pase /onde p, :na persona puede entrar al cine si se compra su boleto q, $btiene su pase *imblicamente tenemos, pq U" p # L U U" q # L U 'n consecuencia, U "p q# L U =B<L?o<B5L9 p, = B < L ? q, < B 5 L 9 U " p# L F U "q # L U

'n consecuencia, U "p q# L U *u tabla de verdad es, p U U F F q U F U F p q U U U F

DISYUNCIN E7CLUSI2A%& 4 2 5 6UE SE LEE O EN SENTIDO E7CLUYENTE 'l enunciado es verdadera cuando p es verdadero y q es falso o viceversa *imblicamente se lo representa por p q que se lee p o q pero no ambas

MDULO 2

Desarrollo del pensamiento lgico '&emplos, (armen es )i&a de Hos de Uicente *imblicamente tenemos, p, (armen es )i&a de Hos q, (armen es )i&a de Uicente U"p# L U U "q# L U

'n consecuencia, U "p q# L F "p q# que se lee, p q, pero no ambas L>o<B?LA p, 25 L > U "p# F q, < B ? L A U 9q# L F
25

'n consecuencia, U "p q# L F *u tabla de verdad es, p U U F F CONJUNCIN NEGATI2A: 'l enunciado es verdadero cuando las proposiciones simples que la forman son falsas !a con&uncin negativa de dos proposiciones p y q, se representa por p q o por p q se lee, ni p, ni q '&emplos, ni < B @ L 5, ni @ B = L > *imblicamente tenemos, p q p, < B @ L 5 q, @ B = L > U "p# L U U "q# L U q U F U F "p q# F U U F

(onsecuentemente tenemos que, U "p q# L F p, < B @ 5 q, @ B = > (onsecuentemente, U " p# L F U " q# L F;

10 pensamiento lgico U " p q# L F 'ntonces se deduce que, "p q# " p q # *u tabla de verdad es, p U U F F DISYUNCIN NEGATI2A: q U F U F "p q# F F F U

Desarrollo del

'l enunciado es falso cuando las proposiciones simples que la forman son verdaderas !a disyuncin negativa de proporciones se representa por p W q; que se lee no no q '&emplo, Go eres pintor o no eres artista p W q p, eres artista q, eres pintor 'n consecuencia, U "p W q# L F p, no eres artista q, no eres pintor (onsecuentemente, U "p q# L F !uego, p W q U "p# L F U "q # L F U "p# L U U " q# L U

"p q #
p U U F F q U F U F "pWq# F U U U

*u tabla de verdad es,

Gegacin " # no *u funcin es negar la proposicin 'sto significa que s alguna proposicin es verdadera y se le aplica el operador no se obtendr su complemento o negacin "falso# Al negar una proposicin simple, se transforma en una proposicin compuesta 'ste operador se indica por medio de los siguientes smbolos, "X, # '&emplo

MDULO 2

Desarrollo del pensamiento lgico '&emplos, p, -atricio est estudiando en la sala p, -atricio no esta estudiando en la sala q, .ara es novia de 2vn q, Go es cierto que .ara es novia de 2vn *u tabla de verdad es, p U F p F U U "p# L U U " p# L F U "q# L F U "q# L U

66

A veces la negacin de una proposicin simple se obtiene mediante otra proposicin simple, as, p, x es mortal p, x es inmortal q, y es par q, y es impar !a negacin en matemticas se reali%a as, p, @ B < L 5 p, @ B < 5 U "p# L U U "p# L F

NEGACIN DE PROPOSICIONES COMPUESTAS: *e puede tambin utili%ar otras formas de negar como, no es el caso que; no es cierto que, "frecuentemente se acostumbra a utili%ar esta forma cuando se niegan proposiciones compuestas# Go es el caso que, < < @ y = B 6 L 5; simblicamente tenemos, " p q # Go es cierto que, < < @ y = B 6 L 5; simblicamente tenemos, " p q # p, < < @ U "p# L F q, = B 6 L 5 U "q# L U (onsecuentemente, U"pq#LU PROPOSICIONES CONDICIONALES " # que se lee entonces :na proposicin condicional, es aquella que est formada por dos proposiciones simples "o compuesta# p y q !a cual se indica de la siguiente manera, que se lee si p, entonces q; simblicamente se la representa por, *e lee *i p, entonces q

Desarrollo del 12 pensamiento lgico *i p, q pq p, slo si q p es necesario para q; etc 'n este caso p, es el antecedente y q, es el consecuente

qp

*e lee, q puesto que p q, si p q cuando p q cada ve% que p q dado que p q porque p q ya que p; etc *e caracteri%an porque despus de cada uno de estos conectivos est el antecedente o condicin

'&emplo, *imbolice y determine el valor de verdad, :n candidato a presidente del 'cuador dice, *i salgo electo presidente de la Yep+blica del 'cuador, entonces recibirn un 57Z de aumento en su sueldo el prximo a4o :na declaracin como esta se conoce como condicional *u tabla de verdad es la siguiente, p, *i salgo electo -residente de la Yep+blica del 'cuador q, Yecibirn un 57Z de aumento en su sueldo el prximo a4o U "p# L U U "q# L U

/e tal manera que el enunciado se puede expresar de la siguiente manera, p q 'l U" p q # L U $tro e&emplo, 5BAL6@ 9K 5 L = ; *imblicamente tenemos, p q p, 5 B A L 6@ U" p# L U q, 9 E 5 L = U" q # L F *u valor de verdad es, U "p q # L F *u tabla de verdad es, p U U F F q U F U F p q U F U U

'sto significa que una proposicin condicional es falsa cuando p L U y q L F; en los dems casos ser verdadera

MDULO 2

Desarrollo del pensamiento lgico 2ARIANTES DE LA CONDICIONAL

6<

A toda proposicin condicional se le asocia tres proposiciones igualmente importantes, que son, proposicin recproca, inversa y contra recproca P( - 'ici0" (!c8-( c#%& /ada la proposicin condicional p q , se llama proposicin recproca a la proposicin que se denota por, q p '&emplo, *i y es par, entonces, y es m+ltiplo de @ ; simblicamente, p q *i y es m+ltiplo de @, entonces, y es par ; simblicamente, p q (ondicional *u recproca,

*i b es perpendicular a c, entonces c es perpendicular a 9% !a proposicin anterior simblicamente la denotamos por p q; mientras que la proposicin recproca ser, q p c es perpendicular a 9, si 9 es perpendicular a c% P( - 'ici0" i",!('#% & /ada la proposicin condicional p q , se llama proposicin inversa a la proposicin que se denota por, p q '&emplo, *i Huan consigue la beca, entonces via&ar a Francia; simblicamente tenemos, pq !a proposicin inversa ser, [ p q, ser, *i Huan no consigue la beca, entonces no via&ar a Francia [ p q *imblicamente tenemos,

P( - 'ici0" c "+(# (!c8-( c#%& /ada la proposicin condicional, p denomina proposicin contra recproca a la que se denota por, q p '&emplo, *i vivo en (ariamanga, vivo en la provincia de !o&a; simblicamente, p q

q, se

!a proposicin contra recproca ser , Go vivo en la provincia de !o&a, si no vivo en (ariamanga ; simblicamente, q p PROPOSICIN BICONDICIONAL: 4 5, 6UE SE LEE :SI Y SLO SI; *ean p y q dos proposiciones simples entonces se puede indicar la proposicin bicondicional de la siguiente manera, p q; que se lee p si y solo si q 'sto significa que p es verdadera si y solo si q es tambin verdadera $ bien p es falsa si y solo si q tambin es falsa '&emplo; el enunciado siguiente es una proposicin bicondicional !uis es buen estudiante, si y solo si; tiene promedio de die%

14 pensamiento lgico *imblicamente tenemos, p, !us es buen estudiante q, 3iene promedio de die% -or consiguiente, U "p q# L U *u tabla de verdad es, p U U F F q U F U F p q U F F U U "p# L U U "q# L U

Desarrollo del

!a proposicin bicondicional solamente es verdadera si tanto p como q son falsas o bien ambas verdaderas !a proposicin bicondicional, tambin se forma por la con&uncin de una proposicin condicional y su recproca, simblicamente tememos, pq L pq qp '&emplo, Huan via&ar a la ciudad de (uenca si y slo si obtiene un prstamo en el 8anco de !o&a; *imblicamente tenemos, q p 'quivale a decir, *i Huan via&a a la ciudad de (uenca, entonces obtiene un prstamo en el 8anco de !o&a, y si obtiene un prstamo en el 8anco de !o&a via&ar a la ciudad de (uenca *imblicamente tenemos, L p q q p -or lo tanto la primera y segunda proposicin son iguales, pq L pq qp SIGNOS DE PUNTUACIN, AGRUPACIN Y ORDEN DE LOS OPERADORES O CONECTI2OS LGICOS !os signos de agrupacin ms conocidos tenemos, el parntesis, corc)ete y llaves " #; \ ] ; {} 'stos signos reempla%an a los signos gramaticales, punto " #, la coma ",#, el punto y como ";#, y los dos puntos ",# !os signos de agrupacin se usan en lgica cuando se trata de obtener esquemas lgicos ms comple&os con el fin de evitar la ambig^edad de las frmulas, 6 *i las proposiciones tienen el mismo tipo de operador o conectivo lgico, se debe colocar los parntesis de i%quierda a derec)a as, p q r L "p q# r p q r s L \"p q# r ] s p q r s L \"p q# r] s

MDULO 2

Desarrollo del pensamiento lgico

65

@ *i no )ay signos de puntuacin ni parntesis se debe considerar el siguiente orden de menor a mayor &erarqua de los operadores y de i%quierda a derec)a, para ubicar los parntesis
, , , ,

'&emplos, p q r L "p q# r p q r v s L "p q# "r v s # p q r s L "p q# "r s# < *i la proposicin compuesta est escrita con parntesis, la ubicacin de stos nos indicar cual es el operador predominante, '&emplo, p q r L "p q# v r 's un esquema disyuntivo p q r v s L "p q# " r v s # 's un esquema condicional p q r s L "p q# "r s # 's un esquema bicondicional = *i un esquema molecular no lleva los signos de agrupacin, se puede indicar cual es el operador predominante as, 6# @# <# =# 5# ># A# 9# ?# 67# 66# 6@# 6<# (on&uncin (ondicional (ondicional (ondicional (on&uncin /isyuncin /isyuncin /isyuncin /isyuncin (ondicional Gegacin (ondicional Gegacin prs pq s p qr rpq rpq rqt qps qps qrs qrs pr pr ts "p r# s KKKKKKKKKKKKKKKKKKKKKKKKKKKKKKKK KKKKKKKKKKKKKKKKKKKKKKKKKKKKKKKK KKKKKKKKKKKKKKKKKKKKKKKKKKKKKKKK KKKKKKKKKKKKKKKKKKKKKKKKKKKKKKKK KKKKKKKKKKKKKKKKKKKKKKKKKKKKKKKK KKKKKKKKKKKKKKKKKKKKKKKKKKKKKKKK KKKKKKKKKKKKKKKKKKKKKKKKKKKKKKKK KKKKKKKKKKKKKKKKKKKKKKKKKKKKKKKK KKKKKKKKKKKKKKKKKKKKKKKKKKKKKKKK KKKKKKKKKKKKKKKKKKKKKKKKKKKKKKKK KKKKKKKKKKKKKKKKKKKKKKKKKKKKKKKK KKKKKKKKKKKKKKKKKKKKKKKKKKKKKKKK

/adas las siguientes proposiciones matemticas, incluir los parntesis 1. 2. 3. 4. 5. 6. A /isyuncin condicional condicional condicional con&uncin condicional con&uncin x7 xSyyL% xL7xSyy% x L 7 x 7 y % xSyx yyS% x L 7 x S 7 yL 7 x L y y L % xL % xLyyL%y% x 7 " x S y y L %# KKKKKKKKKKKKKKKKKKKKKKKKKKKKKKKK KKKKKKKKKKKKKKKKKKKKKKKKKKKKKKKK KKKKKKKKKKKKKKKKKKKKKKKKKKKKKKKK KKKKKKKKKKKKKKKKKKKKKKKKKKKKKKKK KKKKKKKKKKKKKKKKKKKKKKKKKKKKKKKK KKKKKKKKKKKKKKKKKKKKKKKKKKKKKKKK

16 pensamiento lgico 'n la proposicin compuesta, 'n la proposicin compuesta, 'n la proposicin compuesta, 'n la proposicin compuesta,

Desarrollo del p " q r # el conector principal es p q el conector principal es p " p r# el conector principal es \ " p q# "r s#] el conector principal es

(omo podemos darnos cuenta, que los signos de puntuacin permiten, entre otras cosas, identificar en una proposicin compuesta el CONECTOR DOMINANTE O CONECTOR PRINCIPAL O EL DE MAYOR JERARQUA Debemos recordar que un esquema molecular es la combinacin de las variables, operadores lgicos y los signos de agrupacin.

MDULO 2

Desarrollo del pensamiento lgico

6A

CLCULO PROPOSICIONAL
2ALORES DE 2ERDAD DE PROPOSICIONES COMPUESTAS 0ay dos formas de establecer los valores de verdad, <% P ( *!$i $! l#' +#9l#' $! ,!($#$

!as tablas de verdad permiten determinar el valor de verdad de una proposicin compuesta y depende de las proposiciones simples y de los operadores que contengan 's posible que no se cono%ca un valor de verdad especfico para cada proposicin; es este caso es necesario elaborar una tabla de verdad que nos indique todas las diferentes combinaciones de valores de verdad que pueden presentarse !as posibilidades de combinar valores de verdad dependen del n+mero de proposiciones dadas -ara una proposicin "n L 6#, tenemos @6 L @ combinaciones -ara dos proposiciones "n L @#, tenemos @@ L = combinaciones -ara tres proposiciones "n L <#, tenemos @ < L 9 combinaciones -ara n proposiciones tenemos @n combinaciones '&emplo, dado el siguiente esquema molecular, construir su tabla de valores de verdad, -asos para construir la tabla, " p q# "p r# 6 /eterminamos sus valores de verdad @ < L 9 combinaciones @ /eterminamos las combinaciones, p U U U U F F F F q U U F F U U F F r U F U F U F U F

< Ad&untamos a ste cuadro el esquema molecular y colocamos deba&o de cada una de la variables sus valores de verdad , "p r#

q #

"p

18 pensamiento lgico U U U U U F U F U U F F F U U F U F F F U F F F

Desarrollo del F F F F U U U U "=# "># F F F F U U F F U U F F U U F F U F U F U U F F U U U U F F F F F U F U U U U U "5# F U F U F U F U

= Aplicamos la con&uncin de, "p 5 Aplicamos la condicional "p > Aplicamos la bicondicional "p q # "p r# r# q #

'l operador de mayor &erarqua es el que determina los valores de verdad del esquema molecular =%& P ( *!$i $!l $i#.(#*# $! >(9 l%& 's un procedimiento corto y fcil, se necesita conocer los valores de verdad de cada variable y aplicar las tablas de certe%a lgica, '&emplos, a *abiendo que p es falsa, q es verdadera y r es verdadera verdad de la proposicin q "p r# *olucin, 3enemos, q " p r # U F F F !uego la proposicin, q "p r#, es falsa b /ado el siguiente esquema molecular, U (ul es el valor de

MDULO 2

Desarrollo del pensamiento lgico " p q# "p r#

6?

*i, p es falsa q es verdadera y r es verdadera 'l conector dominante es el bicondicional encontrar el valor de verdad del esquema por medio del diagrama del rbol, *olucin, " p q # " p r# U U U U !uego la proposicin, " p q# "p r# es verdadera CONTINGENTES, TAUTOLOG3AS Y CONTRADICCIONES !os esquemas moleculares se clasifican seg+n el resultado que se obtenga en el operador de mayor &erarqua, pueden ser, CONTINGENTES (uando en su resultado )ay por lo menos una verdad y una falsedad '&emplo, dado el siguiente esquema, " p q# "p r# p U U U U F F F F q U U F F U U F F r U F U F U F U F "p F F F F U U U U F F F F U U F F q # U U F F U U F F U F U F U U F F "p U U U U F F F F F U F U U U U U r# F U F U F U F U F U F

'l esquema es contingente TAUTOLOG3A 's una proposicin que siempre es verdadera, independientemente del valor lgico de las proposiciones simples que la componen

Desarrollo del 20 pensamiento lgico *e puede decir tambin que un esquema es un tautolgico cuando los valores de verdad del operador principal son todos verdaderos Ej!*-l *i p y q son proporciones simples distintas, demuestre mediante tablas de certe%a que el siguiente esquema proposicional es una tautologa "p q# "p q# p U U F F q U F U F " p U U F F U F F F q # U F U F U U U U " p U U F F U F F U q # U F U F

's un esquema tautolgico CONTRADICCIN 's cuando en el resultado todos los valores de verdad son falsos o :n esquema A es una contradiccin si no A " A#, es una contradiccin cuando todos los valores del operador de mayor &erarqua son falsos 2ndeterminacin, es la sentencia que ni es verdadera ni falsa '&emplo, /ado el siguiente esquema molecular, [" p q# r ] \ r " p q #], determinar si se trata de una contradiccin, p U U U U F F F F 6 q U U F F U U F F @ r U F U F U F U F < [" p F F F F U U U U = F F F F U U F F 67 U U F F U U F F 5 q# r] U U U U F U U U 66 F U F U F U F U > F F F F U F F F 65 \r U F U F U F U F A F F F F U F F F 6 = " F F F F U U F F 6 < p U U U U F F F F 9 U U U U F F U U 6@ q #] F F U U F F U U ?

-odemos observar en el e&emplo anterior que no se trata de una contradiccin; pero si es un es un esquema contingente OBSER2ACIN:

MDULO 2

Desarrollo del pensamiento lgico A la tautologa se la simboli%a con la letra 3 A la idea de tautologa se la relaciona con el con&unto universal A la contradiccin se la simboli%a con la letra ( A la contradiccin se la relaciona con el con&unto vaco !a negacin de una tautologa es una contradiccin !a negacin de una contradiccin es una tautologa INFERENCIA LGICA IMPLICACIONES LGICAS

@6

*e lo representa por el smbolo , no es un conectivo lgico, es un signo de relacin *e dice que un esquema A implica a otro esquema 8, cuando al unirlos por la condicional nos da una tautologa *imblicamente se lo representa as, A 8 *i la proposicin compuesta A implica a la proposicin compuesta 8, entonces 8 se deduce necesariamente de A, o tambin se dice que 8 se infiere lgicamente de A '&emplo, /emostrar que el esquema A implica a 8 A, p q 8, p q !uego unimos con la condicional y construimos la tabla, pq pq p U U F F q U F U F p q U F F F U U U U p q U U U F

(omo el resultado es una tautologa, se )a demostrado que A implica a 8 Gota, la relacin de implicacin no es recproca E6UI2ALENCIAS LGICAS *e lo representa por pero no es un operador lgico /ecimos que dos proposiciones compuestas - y Q son equivalente, s al unir las dos con la bicondicional nos da una tautologa, es decir que - y Q tienen los mismos valores de verdad en su operador principal *imblicamente se escribe as, - Q - Q *e lee - es equivalente a Q Q es equivalente a -

Desarrollo del 22 pensamiento lgico *i no son equivalentes se los escribe as, - Q *i - y Q son equivalentes, entonces Q se deduce vlidamente a partir -, y a la ve% tambin - se deduce necesariamente a partir de Q -ara demostrar que una proposicin compuesta es equivalente a otra, se lo puede )acer por medio de las tablas de verdad o por medio de las leyes y reglas de inferencia que veremos a continuacin A los esquemas moleculares compuestos se los representa con las letras may+sculas A, 8, (, etc con -, Q, Y, etc Ej!*-l ': /eterminar si las proposiciones siguientes son equivalentes, por medio de la tabla de verdad, A , *i -edro aprob el curso preuniversitario, entonces ingres a la :G! *imblicamente, p q 8, Go es el caso que, -edro apruebe el curso preuniversitario y no ingrese a la :G! *imblicamente , " p q # !uego demostramos que, p q " p q # *eguidamente para demostrar que estos dos esquemas son equivalentes, los unimos con la bicondicional as, " p q # " p q # y construimos una tabla de verdad, p U U F F q U F U F " p U F U U q # U U U U " p U F U U F U F F q #

/ado que el resultado de la tabla es una tautologa, las proposiciones A y 8 son equivalentes O+( Ej!*-l : -, q p ; Q, " q p # p U U F F q U F U F " q F U U U 6 p # U U U U " q p # F U U F U F U F < @

MDULO 2

Desarrollo del pensamiento lgico

@<

Aqu observamos que la columna 6 y < de los operadores principales de las proposiciones - y Q son iguales, por lo tanto son equivalentes 3ambin las proposiciones - y Q son equivalentes porque al unirlas con la bicondicional nos dio una tautologa LEYES DEL LGEBRA PROPOSICIONAL 'n lgica, las tautologas son conocidas con el nombre de leyes o principios lgicos A continuacin anotamos las principales leyes que vamos a utili%arlos en el futuro y que usted de familiari%arse, L& <: L!?!' $! I$!*- +!"ci# -#(# ? -#(# *i p es una proposicin simple o compuesta, entonces, a. "p p# p b. "p p# p *eg+n estas leyes, las proporciones " p p# o "p p# pueden sustituirse por p L @ =: L!?!' $! I$!"+i$#$ -#(# ? -#(# *i p es una proposicin simple o compuesta, entonces, a) p " U # " U #; es decir, cuando formamos la disyuncin de una proporcin p, cuyo valor de verdad es desconocido, con otra cuyo valor de verdad de " U #, el resultado es " U #, ya que la disyuncin es " U # cuando al menos una de las proposiciones dadas es verdadera b) p " F # p; es decir, el valor de verdad de la disyuncin de una proposicin p, cuyo valor de verdad no conocemos, con otra cuyo valor de verdad es " F #, depende del valor de p

c) p " U # p; en este caso el anlisis es similar a la parte b#, teniendo en cuenta que aqu el conector es d) p " F # " F #; el anlisis es similar al de la parte a#, teniendo en cuenta aqu que el conector es L& A: L!?!' C "*u+#+i,#' ? -#(# *i p y q son proposiciones, entonces, a) " p q # " q p # b) "p q # "q p#, es decir, dos proporciones conectadas con pueden escribirse en cualquier orden

24 pensamiento lgico L & B: L!?!' A' ci#+i,#' *i p, q, , son proposiciones cualesquiera, entonces, a) " p " q r# "p q # r b) "p "q r# "p q# r L@ C: L!?!' Di'+(i9u+i,#': *i p, q, r son proposiciones cualesquiera, entonces c) \ p " q r # ] \ " p q # " p r #] d) [ p " q r # ] [ " p q # " p r #]

Desarrollo del

'stas leyes son similares a las que conocemos en el lgebra para la suma y la multiplicacin Yecordemos que, =" x B y # L "=x# B " =y# L @ D: L!? $! l# D 9l! N!.#ci0": *i p es una proposicin simple cualquiera, entonces, "p#p Al negar dos veces una proposicin obtenemos una afirmacin L @ E: L!? $!l T!(c!( E)clui$ : Si - !' u"# -( - 'ici0" cu#l!'Fui!(#, !"+ "c!': 4 - -5 4 2 5 'sta propiedad establece que independientemente del valor de verdad que tenga p, la proposicin, "p p# siempre es verdadera -or tanto, en un esquema lgico comple&o podemos reempla%ar "p p#, "q q#, "r r#, "a b# "a b#, etc , por "# L @ G: L!? $! C "+(#$icci0": *i p es una proposicin cualesquiera, entonces, "pp#"F# 'squemas como "p p#, "q q#, "r r# pueden rempla%arse por "F# L @ H: L!?!' $! D! M (.#": *i p, q son proposiciones simples o compuestas, entonces, e) " p q # " p q # f) " p q # " p q #

MDULO 2

Desarrollo del pensamiento lgico

@5

'stas leyes nos indican cmo negar una disyuncin y una con&uncin !a parte, a# establece que para negar una con&uncin es necesario cambiar la con&uncin por disyuncin " por # y negar las proposiciones dadas !a parte b# establece que para negar una disyuncin debemos cambiar la disyuncin por la con&uncin "la por # y negar las proposiciones dadas Ej!*-l : Gegar la proposicin, A es un n+mero primo y <7 es divisible por 5 *olucin, (ambiamos y por o y negamos las proposiciones simples que forman el enunciado, as, A no es un n+mero primo o <7 no es divisible por 5 L@ <I: L!? $! l# c "$ici "#l: :sando tablas de verdad podemos verificar que, p q equivale a p q !a proposicin p q es una abreviacin de la proposicin p q; es decir, " p q # " p q# G$3A, *on muc)os los esquemas lgicos que ofrecen alguna comple&idad y pueden simplificarse utili%ando esta definicin alterna del condicional Ej!*-l <: 'scribamos sin condicional las proposiciones siguientes, a. " p q# r b. p " q # c. p q SOLUCIN: a. [ "p q # r ] " p q # r b. [ p " q r # ] p " q r # c. " p q # " p # q p " q # Ej!*-l =: 'scribamos una proposicin equivalente a, *i 1 es par entonces x es divisible por @ SOLUCIN: :sando la definicin alterna de la implicacin tenemos, x no es par o x no es divisible por @ Ej!*-l A: (omprobemos que " p q# " p q# SOLUCIN:

26 pensamiento lgico 'laboramos la tabla de verdad, p U U F F q U F U F p F F U U " p U F U U "6# L& << L!? $! l# Bic "$ici "#l p q "pq#"qp# q# U U U U "<#

Desarrollo del

" p

q# U F U U "@#

L& <= C "ju"ci0" N!.#+i,#%& p q p q L&<A Di'?u"ci0" E)clu'i,#%& pq"pq#"pq# APLICACIONES DE LAS LEYES DEL ALGEBRA PROPOSICIONAL !as leyes nos pueden servir para demostrar que un esquema es equivalente a otro, tambin podemos utili%ar en la simplificacin de proposiciones etc Ej!*-l <: -robemos que " p q # [ p q #] SOLUCIN: 1. " - Q # [" p # q ] /efinicin alterna de implicacin 2. " p# " q # !ey de /e .organ para 3. p " q# !ey de la /oble Gegacin !uego, " p q # [ p "q#] Ej!*-l =: -robemos que la proposicin " p q# p es una tautologa SOLUCIN: 1. [ " p q # p ] " p q # p 2. " p q# p /efinicin alterna de !ey de /e .organ para

MDULO 2

Desarrollo del pensamiento lgico 3. " p p # " q# !ey Asociativa de la 4. "U#"q# !ey del 3ercer excluido 5. "U# !ey 2dntica de la -or lo tanto, al ser [" p q # p] " U #, concluimos que es una tautologa INFERENCIA LGICA: !a inferencia es el paso de un con&unto de premisas a la conclusin *imblicamente se lo representa as, -6 -@ -<

@A

-n ______ ( Al unir cada una de las premisas por el operador con&untivo y estas a la ve% con la conclusin por medio del condicional, se obtiene la siguiente frmula inferencial, -6 -@ -< VV -n ( (omo las premisas y la conclusin estn constituidas por proposiciones, podemos decir que la inferencia es una estructura de proposiciones, donde a partir de una o ms proposiciones llamadas premisas se obtiene otra proposicin llamada conclusin, '&emplos, 6 Uicente via&ar al norte del pas o se quedar en la capital -or lo tanto, *i Uicente via&a al norte del pas entonces no se quedar en la capital @ *i Huan gana el concurso de poesa entonces obtendr una beca concurso de poesa !uego Huan obtendr una beca Huan gan el

!a conclusin se puede distinguir de sus premisas porque generalmente van precedidas por alguno de los trminos como por lo tanto, luego, en consecuencia, de a) que, etc y las premisas podemos distinguirlas casi siempre por los signos de puntuacin como el punto seguido o por el sentido que tiene el enunciado 2ALIDEJ Y 2ERDAD !a valide% se refiere a la forma de pensamiento, mientras que la verdad se obtiene del anlisis del contenido del pensamiento 'n todo ra%onamiento o inferencia )ay que distinguir su valide% de su verdad

Desarrollo del 28 pensamiento lgico 'l ra%onamiento o la inferencia son vlidos cuando la con&uncin de premisas implica a la conclusin; y, si esto no sucede, la inferencia es invlida !a valide% o invalide% de una inferencia depende +nicamente de su forma lgica, y la forma lgica depende de la funcin que desempe4an las conectivas en la estructura del enunciado inferencial *i una inferencia vlida tiene su premisa o con&unto de premisas verdaderas, entonces se puede asegurar que la conclusin es necesariamente verdadera; pero si la premisas o con&unto de premisas no son verdaderas, as la inferencia sea vlida, lgicamente no se puede saber la verdad o falsedad de la conclusin 'ntonces, el +nico caso que se puede saber la verdad de la conclusin es cuando la inferencia es vlida y tiene premisas verdaderas MKTODOS PARA DETERMINAR LA 2ALIDEJ DE UNA INFERENCIA LGICA Anali%ar la valide% o invalide% de una inferencia consiste en decidir si la frmula de la inferencia es vlida o no, para esto conocemos dos mtodos, <% POR LA TABLA DE 2ALORES *e sugiere seguir los siguientes pasos, a *imboli%ar las premisas y la conclusin, b $btener la formula inferencial c Aplicar la tabla de valores *i el resultado es tautolgico, la con&uncin de premisas implica a la conclusin, y por tanto la inferencia es vlida, pero si el resultado no es tautolgico, la inferencia no es vlida '&emplos, 6 Uicente via&ar al norte del pas o se quedar en la capital -or lo tanto, *i Uicente via&a al norte del pas entonces no se quedar en la capital a *imboli%amos, p q _____________ p q b $btenemos la formula inferencial, "p q# "pq# c 'laboramos la tabla de valores, "p q# "pq#

MDULO 2

Desarrollo del pensamiento lgico U U F F U F U F U U U F F U U U F U U U

@?

'l esquema no es tautolgico, luego la premisa no implica a la conclusin y la inferencia no es vlida, @ *i Huan gana el concurso de poesa entonces obtendr una beca concurso de poesa !uego Huan obtendr una beca Huan gan el

a *imboli%ando tenemos, pq p __________ q b $btenemos la formula inferencial, \" p q # p ] q

c 'laboramos la tabla de valores, \" p q # U F U U p ] U F F F U U U U

p U U F F

q U F U F

'l esquema es tautolgico, luego la con&uncin de premisas implica a la conclusin y la inferencia es vlida =% POR EL MKTODO ABRE2IADO 's un procedimiento que evita estar construyendo la tabla de valores de verdad para determinar la valide% de la inferencia 'ste mtodo consiste en suponer la con&uncin de premisas verdaderas y la conclusin falsa, +nica posibilidad que invalidad la implicacin -6 -@ -< VV -n ( U U U U F

'&emplo,

Desarrollo del 30 pensamiento lgico 6 Uicente via&ar al norte del pas o se quedar en la capital -or lo tanto, *i Uicente via&a al norte del pas entonces no se quedar en la capital a *imboli%amos, p q _____________ p q b $btenemos la formula inferencial, "p q# "pq# c *uponemos valores, a las premisas verdaderas y la conclusin falsa "p q# "pq# U F (omo cada una de las variables "p, q#, cumplen una sola funcin veritativa, decidimos que la inferencia no es vlida 'sto es, se )a demostrado que la premisa es verdadera y la conclusin es falsa @ *i Huan gana el concurso de poesa entonces obtendr una beca concurso de poesa !uego Huan obtendr una beca a *imboli%ando tenemos, pq p __________ q b $btenemos la formula inferencial, \"p q# p] q c *uponemos valores, a las premisas verdaderas y la conclusin falsa, \"p q# p] q U U F (omprobamos, \" p q # p ] q F U F U F Huan gan el

(omo la variable p tiene dos valores, verdadero y falso a la ve% -or lo tanto, )ay implicacin y la inferencia es vlida R!.l#' $! i"1!(!"ci#:

MDULO 2

Desarrollo del pensamiento lgico

<6

-ara inferir un ra%onamiento a partir de otros se requiere de un proceso en el que se aplican propiedades o leyes fi&adas de antemano y que no )ayan sido obtenidas de casos particulares o para casos particulares 'stas leyes dan la certe%a de que solo es posible obtener conclusiones ciertas de premisas ciertas <%& MODUS PONENDO PONENS 4 REGLA DE SEPARACIN5: *u abreviatura es -*imblicamente tenemos, pq "6# p "6# _______ q "6# *u frmula inferencial es, \"p q#p]q *i una proposicin condicional es verdadera y si verdadero el antecedente, entonces necesariamente ser verdadero el consecuente '&emplo, -remisa 6, *i l est en el partido de f+tbol, entonces l est en el estadio -remisa @, 'l est en el partido de f+tbol (onclusin, 'l est en el estadio *e simboli%a de la siguiente manera el e&ercicio anterior pq p _______ q "6# "6# "6#

=% DOBLE NEGACIN% !a regla de doble negacin es una regla simple que permite pasar de una premisa +nica a la conclusin *imblicamente tenemos, p "6# ________ p "6# '&emplo, Go ocurre que .ara no es estudiante *imboli%ando el e&emplo anterior tenemos, p _______ "6# "6#

32 pensamiento lgico p "6# ________ p "6# !a conclusin es que .ara es estudiante A%& MODUS TOLLENDO TOLLENS% *u abreviatura es 33 *imblicamente tenemos, pq q "6# "6#

Desarrollo del

p "6# *u frmula es, \"pq#q] p *i una proposicin condicional es verdadera y si es verdadera la negacin del consecuente, entonces necesariamente ser verdadera la negacin del antecedente '&emplo, -remisa 6, *i tiene lu% propia, entonces el astro es una estrella -remisa @, 'l astro no es una estrella (onclusin, -or tanto no tiene lu% propia *e simboli%a de la siguiente manera el e&ercicio anterior pq q p '&ercicios, A 6# PQu conclusin se puede deducir de cada uno de los con&untos de premisas siguientes utili%ando 33R 'scribir las conclusiones es castellano *i la lu% fuera simplemente un movimiento ondulatorio continuo, entonces la lu% ms brillante dar lugar siempre a una emisin de electrones con mayor energa que los originados por lu% ms tenue !a lu% ms brillante no siempre emite electrones con mayor energa que los originados *i un ngulo de un tringulo es mayor de ?7 grados, entonces la suma de los otros dos ngulos es menor de ?7 grados !a sima de los otros dos ngulos no es menor de ?7 grados 33 6, @ -

@#

MDULO 2

Desarrollo del pensamiento lgico <# 8

<<

*i el arriendo se mantiene vlido, entonces el due4o es responsable de las reparaciones 'l due4o no es responsable de las reptaciones /educir una conclusin de cada uno de los con&untos de premisas siguientes, aplicando la regla del .odus 3ollendo 3ollens 6 "6# q r "@# r "<# @ "6# q r "@# r "<# < "6# " p q# r "@# r "<#

/emostrar que las conclusiones son consecuencia de las premisas dadas 2ndicar la demostracin completa /emostrar, c "6# b "@# a b "<# a c /emostrar, r s "6# p q "@# q "<# p r s /emostrar, "6# f "@# e f

B%& MODUS TOLLENDO PONENS *u abreviatura es, .3*imblicamente tenemos, pq p "6# "6# q pq q "6# "6# p *us frmulas son, [ "p q # p ] q [ "p q # q ] p *i una proposicin disyuntiva es verdadera y si es verdadera la negacin de una de sus componentes, entonces necesariamente ser verdadera la otra componente de la disyuncin '&emplo, *upngase que se tiene como premisa, "6# "6#

34 pensamiento lgico $ esta sustancia contiene )idrgeno o contiene oxgeno !a segunda premisa dice, 'sta sustancia no contiene oxgeno -or medio del .odus 3ollendo -onens se puede concluir, 'sta sustancia contiene oxgeno

Desarrollo del

-ara aclarar la forma de esta inferencia, se puede simboli%ar el e&emplo, p, 'sta sustancia contiene )idrgeno q, 'sta sustancia contiene oxgeno !a demostracin de la conclusin es, pq p -

3- 6, @

C%& TAUTOLOG3A SIMPLIFICATI2A *imblicamente tenemos, pq p pq q *u frmula es, "p q# p "p q# q *i una con&uncin de proposiciones es verdadera entonces necesariamente ser verdadera cada una de sus componentes '&emplo, Apruebo los talleres y apruebo el mdulo @ -remisa 6, apruebo los talleres -remisa @, apruebo el mdulo @ (onclusin, 6# apruebo los talleres (onclusin, @# apruebo el mdulo @ D%& TAUTOLOG3A ADJUNCIN

MDULO 2

Desarrollo del pensamiento lgico *imblicamente tenemos, p q pq *u frmula es, [ " p # " q # ] " p q#

<5

*i dos proporciones cualesquiera son verdaderas, entonces necesariamente ser verdadera la con&uncin que con dic)as proposiciones se forme '&emplo, *al bien en el examen y tengo 67 p, sal bien en el examen q, tengo 67 " p q # , sal bien en el examen y tengo 67 E% TAUTOLOG3A ADICIN *imblicamente tenemos, p pq *u frmula es, p [ p q] *i una proposicin cualesquiera es verdadera, entonces necesariamente ser verdadera la disyuncin que se forme con dic)a proposicin y cualquier otra '&emplo, 'studio con responsabilidad o pierdo el mdulo p, estudio con responsabilidad q, pierdo el mdulo p q, estudio con responsabilidad o pierdo el mdulo G% SILOGISMO HIPOTKTICO 4LEY TRANSITI2A# *u abreviatura es 0* *imblicamente tenemos, pq q r pr

36 pensamiento lgico *u frmula es, [" p q # " r s # " p r #] "q s#

Desarrollo del

*i una proposicin condicional es verdadera y si es verdadera otra condicional que tenga como antecedente el consecuente de la primera, entonces necesariamente ser verdadera otra condicional que tenga por antecedente el de la primea y por consecuente el consecuente de la segunda '&emplo, "6# *i )ace calor, entonces Huana va a nadar "@# *i Huana va a nadar, entonces arregla la casa despus de comer *e puede concluir, "<# *i )ace calor, entonces arregla la casa despus de comer

MDULO 2

Desarrollo del pensamiento lgico H%& SILOGISMO DISYUNTI2O 4LEY DEL DILEMA5% *u abreviatura es /* *imblicamente tenemos, pq rs pr qs *u frmula es, ["p q# "r s # "p q#] "q s#

<A

*i dos proposiciones condicionales son verdaderas y si es verdadera la disyuncin que se forme con los antecedentes de dic)as condicionales, entonces necesariamente ser verdadera la disyuncin que se forme con los consecuentes '&emplo, $ llueve o el campo est seco *i llueve, entonces &ugaremos dentro *i el campo est seco, entonces &ugaremos al baloncesto PQu conclusin se puede sacar de estas proposicionesR !a conclusin es que o &ugaremos dentro o &ugaremos el baloncesto !a conclusin es otra disyuncin *imboli%amos, r, d, p, b, llueve el campo est seco &ugaremos dentro &ugaremos al baloncesto

'sto se simboli%a as, "6# r d "@# r p "<# d b "=# p b / *6, @, y < <I% CONMUTATI2A *imblicamente tenemos, pq LLLLLLL qp *u frmula es, "p q # "q p# pq LLLLLL qp "p q# " q p#

38 pensamiento lgico '&emplo, -edro traba&a y estudia -or lo tanto, -edro estudia y traba&a pq qp

Desarrollo del

<<% SIMPLIFICACION DISYUNTI2A: *imblicamente tenemos, p p LLLLLLLL p *u frmula es, "p p# p '&emplo, -edro traba&a o -edro traba&a *e concluye, que -edro traba&a <=% LAS LEYES DE DE MORGAN: *imblicamente tenemos, a# "p q# LLLLLLLL pq '&emplos, a# Go ocurre a la ve% que, )ace calor o que )ace fro "p q# *e puede tambin expresar, Go )ace calor y no )ace fro b# Go llueve y no )ace sol *e puede tambin expresar, Go ocurre que, llueve o )aga sol "p q# pq p q b# p q LLLLLLLL "p q# pp

<A%& REGLA DE LA BICONDICIONAL% *u abreviatura es !8 *imblicamente tenemos, pq pq

MDULO 2

Desarrollo del pensamiento lgico ___________________ "p q # "q p# <B% CONJUNCIN NEGATI2A *imblicamente, pq LLLLLLLLL p q *u frmula es, 4p q# " p q# '&emplo, Gi !uis estudia ni Huan traba&a *e concluye que, !uis no estudia y Huan no traba&a <C% DISYUNCIN E7CLUSI2A *imblicamente, pvq _____________ "p q # " p q# '&emplo, 2ns es )i&a de -edro o )i&a de !uis pvq pq p q qp ____________ pq

<?

*e concluye, 2ns es )i&a de -edro o 2ns es )i&a de !uis y no es cierto que, 2ns es )i&a de -edro y de !uis PROCESOS DE DEDUCCIN /e un con&unto de premisas dadas, que se puede deducir, 6 /eterminar el valor de verdad de las premisas posible inferir nada de ellas '&emplo, que se puede deducir de, @B<L5<L< = B @ L A ? B @ L 66 =B@LA @L@ *i alguna de ellas es falsa no es

40 pensamiento lgico /eterminamos el valor de verdad @B<L5<L< = B @ L A ? B @ L 66 =B@LA @L@ U U F

Desarrollo del

/e este con&unto de premisas no se puede concluir nada @ /eterminar si las premisas son inconsistentes o no a *i las premisas no son consistentes "inconsistentes# no se puede inferir nada de ellas b *i las premisas son consistentes es posible deducir una conclusin utili%ando las reglas de inferencia '&emplo, que se deduce de, *i < B @ L 5, > E = L @ *i > E = L @, > L < B < 6 /eterminamos el valor de verdad de las premisas, <B@L5 >E=L@ U >E=L@ >L<B< U @ /eterminamos la conclusin, <B@L5>L<B< '&emplo, (onsiderando que las premisas son verdaderas, que se puede deducir de, pq rp q r pq -6 rp -@ q r -< r (6 de -@ "Yegla de la simplificacin# q (@ de -< y (6 ". 3 3# p (< de -6 y (@ ". 3 3# p (= de -@ "Yegla de la simplificacin# p p (5 de (< y (= "Yegla de ad&uncin# !as premisas son inconsistentes, en consecuencia nada se puede deducir de ellas

MDULO 2

Desarrollo del pensamiento lgico MKTODOS DE DEMOSTRACIN

=6

!os mtodos de demostracin pueden ser, directo, condicional e indirecto !a demostracin de una proposicin tiene por ob&eto establecer que es verdad, infirindola de verdades conocidas o ya demostradas MKTODO DIRECTO: (onsiste en inferir una conclusin, partiendo +nicamente de un con&unto de premisas '&emplo, /emostrar, s; de pq ps qs pq ps qs s s -6 -@ -< (6; de -6, -@ y -< (; de (6

"Yegla del *ilogismo /isy # "*implificacin /isyuntiva#

REGLA DE DEMOSTRACIN CONDICIONAL: 4R%D%C5 *i de un con&unto de premisas y de p se deduce q, entonces de tal con&unto de premisas se deduce p q !a premisa p, puede ser introducida en cualquier momento del proceso deductivo '&emplo, /emuestre, q s; de, pq ps Go existe regla alguna que nos permita inferir la conclusin pedida, sin embargo por la regla de la demostracin condicional si podemos concluir as, pq ps q p s qs -6 -@ (6; -6 y (@; -@ y (6 (,

".odus 3 - # ".odus - -# "Y / (#

DEMOSTRACIN INDIRECTA: 'sta demostracin se la denomina tambin demostracin por contradiccin o reduccin al absurdo *eg+n el .odus 3ollens, se puede deducir la negacin del antecedente de una condicional cuando se sabe que el consecuente es falso *i el

Desarrollo del 42 pensamiento lgico consecuente es una contradiccin se sabe que es lgicamente falso As de p " q q#, se puede deducir p "!ey del Absurdo# '&emplo, /emuestre, s, de, qs -6 pq -@ pr -< sr -= rs (6; -@, -6 y -< s r (@; (6 y r (<; -=, y rr (=; de (@ y (< s " r r# (5; de - y (= s (; de (5

"*ilogismo disyuntivo# "/oble Geg ` . 3 -# ". - -# "Yegla de Ad&uncin# "Yegla de contradiccin # !ey del absurdo

REGLA DE LA DEMOSTRACIN CONTRA RECIPROCA 4R% C% R5 *i de un con&unto de premisas, se infiere q p, de dic)o con&unto se infiere tambin, p q "que es la contra recproca# '&emplo, /emostrar, q "p r# de, pq r q /emostraremos, "p r # q de, pq -6 rq -@ pr p (6, de r (@, de q (<, de (6 y -6 "p r# q (=, de - y (< q "p # ( de (=

"*implificativa# "*implificativa# ". - -# "Y / (# "Y ( Y#

CIRCUITOS LGICOS 'l valor de verdad de una proposicin puede asociarse al pasa&e de corriente en un circuito elctrico controlado por un interruptor 'n efecto, para representar un interruptor mediante una proposicin p, se tiene,

MDULO 2

Desarrollo del pensamiento lgico p (ircuito cerrado p (ircuito abierto

=<

's decir, el interruptor est cerrado "pasa corriente# si U"p# L U, y est abierto "no pasa corriente# si U"p# L F /e aqu establecemos una identificacin entre las proposiciones y los interruptores de un circuito elctrico !as operaciones proposicionales "con&uncin, disyuncin, etc # pueden representarse mediante circuitos con tantos interruptores como proposiciones componentes (onsiderando las clases de instalaciones, en serie y en paralelo, es factible dise4ar esquemas de circuitos elctricos para representar a proposiciones compuestas o viceversa CIRCUITOS EN SERIE: (onsideremos dos interruptores p y q conectados en serie, p q *e observa que este circuito admite poso de corriente cuando los dos "interruptores p y q estn cerrados, en cualquier otro caso no )ay paso de corriente /e aqu tenemos el comportamiento de la con&uncin de las proposiciones p q -or tanto, a# p q, representa un circuito cerrado en serie, que de&a posar corriente solo si los interruptores p y q estn cerrados a la ve% /iremos que solo en este estado p q es verdadera b# a p a q, representa un circuito abierto en serie que de&a pasar corriente /iremos entonces que en este estado a p a q es falsa p pq Ci(cui+ ' !" -#(#l!l : q p q pq

(onsideremos a)ora dos interruptores instalados en paralelo, p q *e observa en el circuito que )ay paso de corriente cuando uno de los interruptores o ambos estn cerrados; no )ay paso de corriente cuando los dos interruptores estn abiertos 3enemos, entonces, el comportamiento de la disyuncin de las proposiciones p y q !a falsedad de p q, es decir, el )ec)o de que no pase corriente, solo se verifica en el caso de la falsedad simultnea de p q; -or tanto,

Desarrollo del 44 pensamiento lgico a# p q, representa un circuito cerrado en paralelo que de&a pasar corriente si por lo menos uno de los interruptores elctricos est cerrado /iremos que solo en este estado p q es verdadero b# a p a q, representa un circuito abierto en paralelo que no de&a pasar corriente, polo que en este estado a p a q es falsa p ap q pq aq pq

!as representaciones anteriores nos permiten dise4ar o simboli%ar redes de circuitos elctricos conectados en serie y en paralelo, o tambin simplificar circuitos muy complicados )aciendo uso de las ya conocidas equivalencias notables '&emplo, /isertar circuitos lgicos de las siguientes proposiciones, a# "p q# r *olucin, a# Uemos que "p q# r es la con&uncin de p q y r, que deben estar conectados en serie, pq -ero, p q se representa por, p q !uego sustituyendo en "6#, tendremos la representacin pedida, esto es, p q b# *eg+n la condicional, p q a p q !uego, la representacin de p q, es la disyuncin "conexin en paralelo# de a p q 'sto es, p q "p q# "q p# "a p q # "a q p# r r "6# b# p q c# p q

c# /e la equivalencia, p q

MDULO 2

Desarrollo del pensamiento lgico

=5

'ntonces, la representacin de p q es con&uncin "conexin en serie# de "a p v q # y "a q p#, esto es,

apq

aqp "@#

-ero ap q y a q p, se representan, respectivamente, por, ap q *ustituyendo en "@# se tiene, p q p "<# q aq p

-ero, seg+n la equivalencia, p q " p q # "a p a q# Yepresentando la disyuncin de p q y a p a q, tendremos, p q a p q p ap q aq

!os circuitos "<# y "=# son representaciones de p q; se dice entonces que "<# y "=# son circuitos equivalentes