12.07.2015 Views

aspectos metodológicos en el aprendizaje de la lógica matemática ...

aspectos metodológicos en el aprendizaje de la lógica matemática ...

aspectos metodológicos en el aprendizaje de la lógica matemática ...

SHOW MORE
SHOW LESS
  • No tags were found...

Create successful ePaper yourself

Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.

ASPECTOS METODOLÓGICOS EN EL APRENDIZAJE DE LA LÓGICAMATEMÁTICA EN SECUNDARIAcompr<strong>en</strong><strong>de</strong>NocionesMetodología a través <strong>de</strong> Juegos<strong>de</strong>LógicaSopa <strong>de</strong>proposicionescomoCartas lógicastratandoProposicionesConectoreslógicosFórmu<strong>la</strong>s lógicas<strong>de</strong>terminando susC<strong>la</strong>sesquepued<strong>en</strong>serVariables<strong>de</strong>sarrol<strong>la</strong>ndosusTab<strong>la</strong>s <strong>de</strong> verdadpara <strong>de</strong>terminarSimplesCompuestasTautologías Contradicciones Conting<strong>en</strong>ciaspara doc<strong>en</strong>tess2 fasc6 doc<strong>en</strong>.indd 35/31/07 8:02:22 PM


Serie 2 / DIDÁCTICADE LA MATEMÁTICAASPECTOS METODOLÓGICOSEN EL APRENDIZAJEDE LA LÓGICA MATEMÁTICAEN SECUNDARIAMotivaciónEn <strong>el</strong> <strong>de</strong>sarrollo <strong>de</strong> <strong>la</strong> Int<strong>el</strong>ig<strong>en</strong>cia Artificial, <strong>la</strong>s aplicaciones <strong>de</strong> <strong>la</strong>Lógica Difusa (rama mo<strong>de</strong>rna <strong>de</strong> <strong>la</strong> Lógica, aunque hay qui<strong>en</strong>esp<strong>la</strong>ntean que ya Aristót<strong>el</strong>es manejaba este concepto <strong>de</strong>bido a susreflexiones <strong>en</strong> r<strong>el</strong>ación a los grados <strong>de</strong> verdad) cada vez toma másimportancia y sus aplicaciones día a día se hac<strong>en</strong> cada vez másext<strong>en</strong>sivas <strong>en</strong> los difer<strong>en</strong>tes campos r<strong>el</strong>acionados a los procesos<strong>de</strong> control <strong>de</strong> robots móviles.La Lógica Difusa se ha transformado <strong>en</strong> una <strong>de</strong> <strong>la</strong>s herrami<strong>en</strong>tasmás valiosas para <strong>el</strong> <strong>de</strong>sarrollo <strong>de</strong> procesos <strong>de</strong> control r<strong>el</strong>acionadoscon <strong>la</strong> Int<strong>el</strong>ig<strong>en</strong>cia Artificial, <strong>de</strong>bido <strong>en</strong> gran parte a <strong>la</strong> capacidadque posee <strong>de</strong> tratar <strong>la</strong> incertidumbre exist<strong>en</strong>te <strong>en</strong> un <strong>de</strong>terminadocontexto.www.smal<strong>la</strong>rtworks.caLOGROS DE APRENDIZAJEInterioriza los fundam<strong>en</strong>tos y fines d<strong>el</strong> proceso<strong>de</strong> apr<strong>en</strong>dizaje <strong>de</strong> <strong>la</strong> Lógica Proposicional,mediante <strong>el</strong> análisis y discusión d<strong>el</strong> porqué<strong>de</strong> su apr<strong>en</strong>dizaje mostrando tolerancia yapertura.Id<strong>en</strong>tifica los procesos d<strong>el</strong> apr<strong>en</strong>dizaje y losmétodos <strong>de</strong> <strong>en</strong>señanza <strong>de</strong> <strong>la</strong>s Tab<strong>la</strong>s <strong>de</strong> Verdada través <strong>de</strong> <strong>la</strong> lectura, análisis e interpretación<strong>de</strong> <strong>la</strong> información proporcionada, mostrandoconfianza <strong>en</strong> sus capacida<strong>de</strong>s.Investiga y propone activida<strong>de</strong>s que permitana sus estudiantes compr<strong>en</strong><strong>de</strong>r, interpretary aplicar los conceptos, <strong>de</strong>finiciones ypropieda<strong>de</strong>s <strong>de</strong> <strong>la</strong> Lógica Proposiciona<strong>la</strong> través d<strong>el</strong> análisis <strong>de</strong> <strong>la</strong>s activida<strong>de</strong>sy materiales pres<strong>en</strong>tados, manifestandocreatividad y confianza <strong>en</strong> sus habilida<strong>de</strong>s.RECUPERACIÓN DE SABERES PREVIOSLee at<strong>en</strong>tam<strong>en</strong>te <strong>la</strong>s preguntas y respon<strong>de</strong> <strong>en</strong> una hoja aparte.¿Por qué es importante que nuestro l<strong>en</strong>guaje cotidiano esté<strong>de</strong>sarrol<strong>la</strong>do bajo una estructura lógica a<strong>de</strong>cuada?¿Cuáles <strong>de</strong> <strong>la</strong>s sigui<strong>en</strong>tes frases pued<strong>en</strong> ser verda<strong>de</strong>ras ofalsas?- ¡Ho<strong>la</strong>!- Mi nombre es María.- ¿Cuánto cuesta?- 2x + 6 = 14- ¡Rápido!¿Cuáles son <strong>la</strong>s operaciones con dos conjuntos? Explica cadauna <strong>de</strong> <strong>el</strong><strong>la</strong>s.¿Conoces algún juego que <strong>de</strong>sarrolle <strong>el</strong> p<strong>en</strong>sami<strong>en</strong>to lógico<strong>en</strong> <strong>la</strong>s personas? ¿Cuál?4s2 fasc6 doc<strong>en</strong>.indd 45/31/07 8:02:23 PM


Fascículo 6 / ASPECTOSMETODOLÓGICOS ENEL APRENDIZAJE DE LALÓGICA MATEMÁTICAEN SECUNDARIA1. NOCIONES <strong>de</strong>LÓGICA yMETODOLOGÍALa comunicación es <strong>la</strong> base d<strong>el</strong> <strong>de</strong>sarrollo d<strong>el</strong> ser humano, que es un sersocial por exc<strong>el</strong><strong>en</strong>cia. Al comunicarse con sus semejantes lo hace a través <strong>de</strong>un l<strong>en</strong>guaje <strong>de</strong>terminado (oral, escrito, corporal, etc.). Lo importante es quea partir <strong>de</strong> un <strong>en</strong>unciado y <strong>de</strong> acuerdo con su significado se pue<strong>de</strong> <strong>de</strong>terminaruna proposición y a partir <strong>de</strong> un conjunto <strong>de</strong> proposiciones po<strong>de</strong>mos construiruna infer<strong>en</strong>cia. La Lógica es <strong>la</strong> ci<strong>en</strong>cia que nos brinda <strong>la</strong>s herrami<strong>en</strong>tas pararealizar esta <strong>la</strong>bor.Dado que esta unidad <strong>de</strong> apr<strong>en</strong>dizaje no guarda r<strong>el</strong>ación con ninguno <strong>de</strong> lostemas <strong>de</strong>sarrol<strong>la</strong>dos previam<strong>en</strong>te <strong>en</strong> <strong>el</strong> curso <strong>de</strong> Matemática, los conceptosprevios que se <strong>de</strong>ban rescatar no son muy amplios.La comunicación es <strong>la</strong> base d<strong>el</strong><strong>de</strong>sarrollo humano.Sería recom<strong>en</strong>dable introducir <strong>el</strong> tema mediante <strong>la</strong> pregunta: “¿Qué <strong>en</strong>ti<strong>en</strong><strong>de</strong>spor <strong>en</strong>unciado?” y anotar <strong>la</strong>s respuestas <strong>en</strong> <strong>la</strong> pizarra. Lo importante <strong>en</strong> estemom<strong>en</strong>to es que no se <strong>de</strong>be juzgar <strong>la</strong>s respuestas dadas por los estudiantes.Todas sin excepción <strong>de</strong>b<strong>en</strong> ser escritas <strong>en</strong> <strong>la</strong> pizarra, pues esto hará que losestudiantes se si<strong>en</strong>tan reconocidos y valorados, lo cual g<strong>en</strong>erará una bu<strong>en</strong>adisposición para <strong>el</strong> apr<strong>en</strong>dizaje <strong>en</strong> <strong>el</strong>los y les quitará <strong>el</strong> miedo <strong>de</strong> hab<strong>la</strong>r. Esprobable que con un bu<strong>en</strong> direccionami<strong>en</strong>to <strong>de</strong> <strong>la</strong>s interv<strong>en</strong>ciones se puedacom<strong>en</strong>zar a construir una noción previa a <strong>la</strong> <strong>de</strong>finición.Es muy favorable para <strong>el</strong> interés y <strong>la</strong> motivación <strong>de</strong> los estudiantes qu<strong>el</strong>os ejemplos que se p<strong>la</strong>nte<strong>en</strong> <strong>en</strong> c<strong>la</strong>se estén contextualizados <strong>en</strong> r<strong>el</strong>acióna cont<strong>en</strong>idos básicos <strong>de</strong> difer<strong>en</strong>tes materias (obviam<strong>en</strong>te hab<strong>la</strong>mos <strong>de</strong>cont<strong>en</strong>idos que los estudiantes <strong>de</strong>berían manejar <strong>en</strong> r<strong>el</strong>ación al año lectivo queestén cursando), así se g<strong>en</strong>era una discusión favorable <strong>en</strong>tre los estudiantes ya <strong>la</strong> vez se refuerzan cont<strong>en</strong>idos <strong>de</strong> otras áreas. Por otro <strong>la</strong>do, <strong>el</strong> trabajo convalores <strong>en</strong> c<strong>la</strong>se es fundam<strong>en</strong>tal; es importante, por eso, p<strong>la</strong>ntear ejemplos <strong>en</strong>los que los estudiantes puedan discutir sus puntos <strong>de</strong> vista acerca <strong>de</strong> algunasituación que involucre valores sociales y éticos. Estas discusiones siempre<strong>de</strong>b<strong>en</strong> estar dirigidas por <strong>el</strong> doc<strong>en</strong>te y <strong>en</strong>caminadas a <strong>de</strong>sarrol<strong>la</strong>r valores <strong>en</strong>los estudiantes.Es importante pres<strong>en</strong>tar a losestudiantes temas que <strong>de</strong>spiert<strong>en</strong>interés.5s2 fasc6 doc<strong>en</strong>.indd 55/31/07 8:02:26 PM


Serie 2 / DIDÁCTICADE LA MATEMÁTICA1.1 ProposicionesPara <strong>de</strong>finir <strong>la</strong>s proposiciones se pue<strong>de</strong> empezar pres<strong>en</strong>tando a los estudiantesuna serie <strong>de</strong> <strong>en</strong>unciados, como por ejemplo:• Júpiter es <strong>el</strong> quinto p<strong>la</strong>neta d<strong>el</strong> Sistema So<strong>la</strong>r.• Montevi<strong>de</strong>o es <strong>la</strong> capital <strong>de</strong> Paraguay.• Lima se fundó <strong>el</strong> 18 <strong>de</strong> <strong>en</strong>ero <strong>de</strong> 1514.• La raíz cúbica <strong>de</strong> 4 913 es 17.• José es sobrino <strong>de</strong> Enrique.• Manu<strong>el</strong> es <strong>el</strong> más alto <strong>de</strong> su salón.• (a + b) 3 = a 3 + 3a 2 b + 3ab 2 + b 3Luego se les dice que todos esos <strong>en</strong>unciados son proposiciones y que <strong>de</strong>b<strong>en</strong>analizar qué características comunes ti<strong>en</strong><strong>en</strong> todos <strong>el</strong>los. A partir <strong>de</strong> <strong>la</strong>s i<strong>de</strong>asque d<strong>en</strong> los estudiantes se les pedirá que int<strong>en</strong>t<strong>en</strong> <strong>de</strong>finir una proposición y<strong>la</strong> escriban <strong>en</strong> sus cua<strong>de</strong>rnos. Luego se pi<strong>de</strong> a algunos estudiantes que leanlo que han escrito y se analiza si se pue<strong>de</strong> completar y mejorar. Finalm<strong>en</strong>te,se uniformiza <strong>la</strong> información <strong>de</strong> <strong>la</strong> sigui<strong>en</strong>te manera:Los estudiantes <strong>de</strong>b<strong>en</strong> ser losprotagonistas d<strong>el</strong> apr<strong>en</strong>dizaje.“Se d<strong>en</strong>omina así a todos los <strong>en</strong>unciados <strong>de</strong>c<strong>la</strong>rativos que se caracterizanpor t<strong>en</strong>er un único valor <strong>de</strong> verdad (sea este verda<strong>de</strong>ro o falso) <strong>de</strong> carácteruniversal, es <strong>de</strong>cir, o son verda<strong>de</strong>ros o son falsos, lo cual implica que <strong>en</strong> <strong>la</strong>evaluación <strong>de</strong> su valor <strong>de</strong> verdad no g<strong>en</strong>era ningún tipo <strong>de</strong> ambigüedad”.Es importante t<strong>en</strong>er <strong>en</strong> cu<strong>en</strong>ta que <strong>en</strong> <strong>la</strong> compr<strong>en</strong>sión d<strong>el</strong> concepto <strong>de</strong>proposición los estudiantes su<strong>el</strong><strong>en</strong> cometer básicam<strong>en</strong>te dos tipos <strong>de</strong> errores<strong>de</strong> interpretación:I. P<strong>en</strong>sar que sólo son proposiciones aqu<strong>el</strong>los <strong>en</strong>unciados que sonverda<strong>de</strong>ros.II. P<strong>en</strong>sar que sólo son proposiciones aqu<strong>el</strong>los <strong>en</strong>unciados a los cualesles pued<strong>en</strong> <strong>de</strong>terminar <strong>el</strong> valor <strong>de</strong> verdad; es <strong>de</strong>cir, que si no pued<strong>en</strong><strong>de</strong>terminar <strong>el</strong> valor <strong>de</strong> verdad <strong>de</strong> un <strong>de</strong>terminado <strong>en</strong>unciado, <strong>en</strong>tonceséste no es una proposición.Para <strong>el</strong> primer caso hay que <strong>de</strong>jar muy <strong>en</strong> c<strong>la</strong>ro que <strong>el</strong> valor <strong>de</strong> verdad <strong>de</strong>un <strong>de</strong>terminado <strong>en</strong>unciado no es r<strong>el</strong>evante para categorizarlo como unaproposición, ya que exist<strong>en</strong> proposiciones verda<strong>de</strong>ras y proposiciones falsas(<strong>el</strong> primer ejemplo es una proposición verda<strong>de</strong>ra mi<strong>en</strong>tras que <strong>el</strong> segundoejemplo es una proposición falsa).6Para <strong>el</strong> segundo caso hay que ac<strong>la</strong>rar que no importa si no se ti<strong>en</strong>e <strong>el</strong>conocimi<strong>en</strong>to necesario para po<strong>de</strong>r <strong>de</strong>terminar <strong>el</strong> valor <strong>de</strong> verdad <strong>de</strong> un<strong>en</strong>unciado, lo importante es que este valor <strong>de</strong> verdad (no conocido) sea únicoy <strong>de</strong> carácter universal, para así po<strong>de</strong>r <strong>de</strong>terminar si <strong>el</strong> <strong>en</strong>unciado es o no esuna proposición.s2 fasc6 doc<strong>en</strong>.indd 65/31/07 8:02:29 PM


Serie 2 / DIDÁCTICADE LA MATEMÁTICA• Primero <strong>de</strong>be ac<strong>la</strong>rarse <strong>la</strong> difer<strong>en</strong>cia <strong>en</strong>tre Id<strong>en</strong>tidad, Ecuación yDesigualdad.• Luego <strong>de</strong>be ac<strong>la</strong>rarse <strong>la</strong> difer<strong>en</strong>cia <strong>en</strong>tre Constante y Variable.• Finalm<strong>en</strong>te, se <strong>de</strong>be explicar que <strong>la</strong>s letras que forman parte <strong>de</strong> unaid<strong>en</strong>tidad se d<strong>en</strong>ominan constantes, mi<strong>en</strong>tras que <strong>la</strong>s letras que formanparte <strong>de</strong> una ecuación se d<strong>en</strong>ominan variables.Conectores lógicosLos conectores lógicospermit<strong>en</strong> dotar <strong>de</strong>coher<strong>en</strong>cia, i<strong>la</strong>ción ycorrespond<strong>en</strong>cia a los<strong>en</strong>unciados. Mas noso<strong>la</strong>m<strong>en</strong>te <strong>en</strong> <strong>la</strong> Lógica.Tanto <strong>en</strong> <strong>la</strong> vida diariacomo <strong>en</strong> nuestra <strong>la</strong>bordoc<strong>en</strong>te, nos <strong>en</strong>contramos <strong>en</strong>constante comunicación oraly escrita. Es necesario, paraexpresarnos con propiedad,y lograr que nuestras i<strong>de</strong>assean captadas a cabalidadpor nuestros estudiantes,emplear <strong>de</strong> maneracorrecta y constante dichosconectores lógicos.Ahora, analicemos <strong>la</strong>s expresiones algebraicas pres<strong>en</strong>tadas anteriorm<strong>en</strong>tecomo ejemplos <strong>de</strong> proposiciones y no proposiciones:• (a + b) 3 = a 3 + 3a 2 b + 3ab 2 + b 3 . Esta expresión es una id<strong>en</strong>tidad, <strong>de</strong>bidoa que se cumple para cualquier valor <strong>de</strong> <strong>la</strong>s constantes a, b (su valor <strong>de</strong>verdad siempre es verda<strong>de</strong>ro), por lo tanto, es una proposición.• x 3 + 5xy - 3y 2 + 4y 3 = 7. Esta expresión es una ecuación, <strong>de</strong>bido a quesólo se cumple para ciertos valores <strong>de</strong> sus variables x, y (su valor <strong>de</strong> verdad<strong>de</strong>p<strong>en</strong><strong>de</strong>rá <strong>de</strong> los valores <strong>de</strong> verdad admisibles que tom<strong>en</strong> <strong>la</strong>s variables x ey); es <strong>de</strong>cir, para ciertos valores <strong>de</strong> x e y será verda<strong>de</strong>ra mi<strong>en</strong>tras que paraotros valores <strong>de</strong> x e y será falsa, por lo tanto, no ti<strong>en</strong>e un valor <strong>de</strong> verdadúnico, <strong>en</strong>tonces, no es una proposición.1.2 Conectores LógicosDe <strong>la</strong> misma forma <strong>en</strong> que se inició <strong>el</strong> estudio <strong>de</strong> <strong>la</strong>s proposiciones, se pue<strong>de</strong>pres<strong>en</strong>tar los conectores lógicos. Se pres<strong>en</strong>ta a los estudiantes <strong>la</strong>s sigui<strong>en</strong>tesproposiciones:• O soy sincero o soy m<strong>en</strong>tiroso.• Iré a <strong>la</strong> fiesta, si y sólo si, termino con mis <strong>de</strong>beres esco<strong>la</strong>res.• Es bu<strong>en</strong>o respetar y querer a nuestros semejantes.• Si me esfuerzo <strong>en</strong> mis estudios, <strong>en</strong>tonces t<strong>en</strong>dré más oportunidad <strong>de</strong>triunfar <strong>en</strong> <strong>la</strong> vida.• Algunas personas son extrovertidas o introvertidas.• Fumar no es bu<strong>en</strong>o para <strong>la</strong> salud.Se les pi<strong>de</strong> que lean at<strong>en</strong>tam<strong>en</strong>te cada una <strong>de</strong> <strong>el</strong><strong>la</strong>s y se les dice que <strong>la</strong>sletras resaltadas son conectores lógicos. Luego se les pi<strong>de</strong> que escriban <strong>en</strong>sus cua<strong>de</strong>rnos lo que podría ser un conector lógico. Voluntariam<strong>en</strong>te losestudiantes irán ley<strong>en</strong>do sus <strong>de</strong>finiciones, siempre reforzando positivam<strong>en</strong>tesu participación, y pidi<strong>en</strong>do a sus compañeros respeto y tolerancia ante <strong>la</strong>sdiversas i<strong>de</strong>as pres<strong>en</strong>tadas.Finalizada <strong>la</strong> interv<strong>en</strong>ción <strong>de</strong> los estudiantes, y luego <strong>de</strong> una pequeñadiscusión sobre <strong>la</strong>s i<strong>de</strong>as aportadas, se formaliza <strong>el</strong> concepto <strong>de</strong> conectoreslógicos <strong>de</strong> <strong>la</strong> sigui<strong>en</strong>te manera:8“Se d<strong>en</strong>omina así a todas aqu<strong>el</strong><strong>la</strong>s pa<strong>la</strong>bras o frases (tales como: no, no esverdad que, a<strong>de</strong>más, pero, si, sin embargo, por lo tanto, si y sólo si, <strong>en</strong>tres2 fasc6 doc<strong>en</strong>.indd 85/31/07 8:02:36 PM


otras) mediante <strong>la</strong>s cuales se pued<strong>en</strong> crear nuevas proposiciones a partir <strong>de</strong>proposiciones ya exist<strong>en</strong>tes”.Fascículo 6 / ASPECTOSMETODOLÓGICOS ENEL APRENDIZAJE DE LALÓGICA MATEMÁTICAEN SECUNDARIALos conectores lógicos son seis: Negación, Conjunción, DisyunciónInclusiva, Disyunción Exclusiva, Condicional y Bicondicional.Luego se <strong>de</strong>be hacer ver a los estudiantes que si bi<strong>en</strong> <strong>de</strong>s<strong>de</strong> <strong>el</strong> punto <strong>de</strong> vistaconceptual cada conector ti<strong>en</strong>e un nombre, es muy importante reconocer aqué pa<strong>la</strong>bra o frase están asociados, cuál es <strong>la</strong> estructura formal <strong>en</strong> <strong>la</strong> quese pres<strong>en</strong>tan y cuál es <strong>el</strong> símbolo que los repres<strong>en</strong>ta. Esta r<strong>el</strong>ación <strong>en</strong>tre <strong>el</strong>conector, frase, estructura y símbolo se pres<strong>en</strong>ta <strong>en</strong> <strong>la</strong> sigui<strong>en</strong>te tab<strong>la</strong>.CONECTIVO PALABRA / FRASE ESTRUCTURA SÍMBOLONegación No, No es cierto No Proposición ~Conjunción y , a<strong>de</strong>más, peroProposición 1 yProposición 2^Disyunción Inclusiva oProposición 1 oProposición 2vDisyunción Exclusiva o oo Proposición 1 oProposición 2∆Condicional Si <strong>en</strong>tonces, luegoSi Proposición 1<strong>en</strong>tonces Proposición 2Bicondicional Si y sólo siProposición 1 si y sólosi Proposición 2Por otro <strong>la</strong>do, es recom<strong>en</strong>dable explicar cada uno <strong>de</strong> los ejemplos pres<strong>en</strong>tadoshaci<strong>en</strong>do que los estudiantes id<strong>en</strong>tifiqu<strong>en</strong> qué conector se ha utilizado y cuálesfueron <strong>la</strong>s proposiciones que se tomaron como base para crear cada una <strong>de</strong>estas proposiciones compuestas, para luego pasar a <strong>de</strong>finir más c<strong>la</strong>ram<strong>en</strong>tecada uno <strong>de</strong> estos conectores lógicos. Veamos:I. En <strong>el</strong> primer ejemplo, <strong>el</strong> conector lógico que se utilizó fue <strong>la</strong> DisyunciónExclusiva y <strong>la</strong>s proposiciones que se tomaron como base fueron: Soysincero y Soy m<strong>en</strong>tiroso.II. En <strong>el</strong> segundo ejemplo, <strong>el</strong> conector lógico que se utilizó fue <strong>el</strong>Bicondicional y <strong>la</strong>s proposiciones que se tomaron como base fueron:Iré a <strong>la</strong> fiesta y Termino mis <strong>de</strong>beres esco<strong>la</strong>res.III. En <strong>el</strong> tercer ejemplo, <strong>el</strong> conector lógico que se utilizó fue <strong>la</strong> Conjuncióny <strong>la</strong>s proposiciones que se tomaron como base fueron: Es bu<strong>en</strong>o respetara nuestros semejantes y Es bu<strong>en</strong>o querer a nuestros semejantes. Eneste mom<strong>en</strong>to se <strong>de</strong>be m<strong>en</strong>cionar que <strong>el</strong> análisis <strong>de</strong> una proposición conconectores requiere <strong>de</strong> una correcta compr<strong>en</strong>sión e interpretación.IV. En <strong>el</strong> cuarto ejemplo, <strong>el</strong> conector lógico que se utilizó fue <strong>el</strong> Condicionaly <strong>la</strong>s proposiciones que se tomaron como base fueron: Me esfuerzo <strong>en</strong>mis estudios y T<strong>en</strong>dré más oportunidad <strong>de</strong> triunfar.V. En <strong>el</strong> quinto ejemplo, <strong>el</strong> conector lógico que se utilizó fue <strong>la</strong> DisyunciónInclusiva y <strong>la</strong>s proposiciones que se tomaron como base fueron: Algunaspersonas son extrovertidas y Algunas personas son introvertidas.Proposición Simple:<strong>en</strong>unciado <strong>de</strong>c<strong>la</strong>rativo d<strong>el</strong>cual se pue<strong>de</strong> afirmar que esverda<strong>de</strong>ro o que es falso, perono ambos a <strong>la</strong> vez.Proposición Compuesta: <strong>la</strong>sproposiciones compuestasson aqu<strong>el</strong><strong>la</strong>s que se formanpor unión <strong>de</strong> proposicionessimples mediante losconectores lógicos.9Zs2 fasc6 doc<strong>en</strong>.indd 96/1/07 12:50:56 PM


Serie 2 / DIDÁCTICADE LA MATEMÁTICAVI. En <strong>el</strong> último ejemplo, <strong>el</strong> conector lógico que se utilizó fue <strong>la</strong> Negacióny <strong>la</strong> proposición que se tomó como base fue Fumar es bu<strong>en</strong>o para <strong>la</strong>salud. Este es <strong>el</strong> mom<strong>en</strong>to indicado para <strong>en</strong>fatizar que <strong>la</strong> negación es<strong>el</strong> único conector con <strong>el</strong> que se pued<strong>en</strong> g<strong>en</strong>erar nuevas proposicionesa partir <strong>de</strong> una so<strong>la</strong> proposición, los <strong>de</strong>más conectores requier<strong>en</strong>necesariam<strong>en</strong>te <strong>de</strong> dos proposiciones.Luego <strong>de</strong> estas explicaciones, se les pi<strong>de</strong> a los alumnos que formul<strong>en</strong>ejemplos <strong>de</strong> proposiciones y utilic<strong>en</strong> algunos <strong>de</strong> los conectores lógicos yque expliqu<strong>en</strong> sus ejemplos m<strong>en</strong>cionando cuáles son los conectores queutilizaron y cuáles fueron <strong>la</strong>s proposiciones que tomaron como base.A continuación, <strong>de</strong>tal<strong>la</strong>remos cada uno <strong>de</strong> los conectores lógicos:La NegaciónEl símbolo “∼” también s<strong>el</strong>ee:“no es cierto que”“es falso que”“no es posible que”La conjunciónEs una proposición compuestabásica que resulta <strong>de</strong>r<strong>el</strong>acionar dos proposicionessimples mediante <strong>el</strong> conectorlógico “y”, que se simbolizapor “ ∧”.Una conjunción es verda<strong>de</strong>raúnicam<strong>en</strong>te si <strong>la</strong>s dos proposicionesque <strong>la</strong> compon<strong>en</strong> sonverda<strong>de</strong>ras; <strong>en</strong> los otros casoses falsa.• La Negación. (~ p )Recordando que <strong>la</strong> fórmu<strong>la</strong> lógica más s<strong>en</strong>cil<strong>la</strong> es aqu<strong>el</strong><strong>la</strong> que niega a unaproposición simple, <strong>la</strong> fórmu<strong>la</strong> lógica más simple que repres<strong>en</strong>ta <strong>la</strong> estructura<strong>de</strong> una negación es “~ p”.• La Conjunción. (p q)Antes <strong>de</strong> pres<strong>en</strong>tar <strong>la</strong> Tab<strong>la</strong> <strong>de</strong> Verdad <strong>de</strong> <strong>la</strong> Conjunción sería <strong>de</strong> muchautilidad analizar una situación real <strong>en</strong> <strong>la</strong> que se utilice este conector lógicocomo parte d<strong>el</strong> proceso <strong>de</strong> comunicación <strong>en</strong>tre <strong>la</strong>s personas.“Santiago le cu<strong>en</strong>ta a sus amigos que por su cumpleaños sus padres lerega<strong>la</strong>ron una bicicleta amaril<strong>la</strong> y negra”.¿Qué quiso <strong>de</strong>cir Santiago cuando m<strong>en</strong>cionó que <strong>la</strong> bicicleta era amaril<strong>la</strong>y negra? Creo que estaríamos <strong>de</strong> acuerdo con que quiso <strong>en</strong>fatizar que <strong>la</strong>bicicleta era <strong>de</strong> dos colores.Los amigos <strong>de</strong> Santiago no sab<strong>en</strong> si Santiago dijo <strong>la</strong> verdad o si mintió, sólolo podrán <strong>de</strong>terminar cuando puedan ver <strong>la</strong> bicicleta.Cuando vean <strong>la</strong> bicicleta pued<strong>en</strong> darse cuatro posibilida<strong>de</strong>s:I. La bicicleta sí es <strong>de</strong> color amarillo y también es <strong>de</strong> color negro, por lotanto, <strong>la</strong> afirmación <strong>de</strong> Santiago fue verda<strong>de</strong>ra.II. La bicicleta sí es <strong>de</strong> color amarillo, pero no es <strong>de</strong> color negro, por lotanto, <strong>la</strong> afirmación <strong>de</strong> Santiago fue falsa.III. La bicicleta no es <strong>de</strong> color amarillo, pero sí es <strong>de</strong> color negro, por lotanto, <strong>la</strong> afirmación <strong>de</strong> Santiago fue falsa.IV. La bicicleta no es <strong>de</strong> color amarillo y tampoco es <strong>de</strong> color negro, por lotanto, <strong>la</strong> afirmación <strong>de</strong> Santiago fue falsa.¿Qué conclusiones se pue<strong>de</strong> sacar <strong>de</strong> esta situación?Es <strong>de</strong> suma utilidad realizar este tipo <strong>de</strong> reflexiones con nuestros alumnos,dado que <strong>el</strong> análisis <strong>de</strong> situaciones como ésta fom<strong>en</strong>ta <strong>el</strong> interés y refuerza<strong>la</strong> motivación <strong>en</strong> torno al tema que se está <strong>de</strong>sarrol<strong>la</strong>ndo. Esto porque nose le aborda directam<strong>en</strong>te <strong>de</strong> una manera básicam<strong>en</strong>te conceptual <strong>en</strong> <strong>la</strong> quese bombar<strong>de</strong>a a los alumnos con una serie <strong>de</strong> conceptos, <strong>de</strong>finiciones ypropieda<strong>de</strong>s o procesos, sino, más bi<strong>en</strong>, permite que vayan construy<strong>en</strong>do10s2 fasc6 doc<strong>en</strong>.indd 105/31/07 8:02:37 PM


su propio conocimi<strong>en</strong>to <strong>de</strong> una forma muy significativa. Obviam<strong>en</strong>te, esteconocimi<strong>en</strong>to será formalizado posteriorm<strong>en</strong>te por nosotros.A<strong>de</strong>más, <strong>el</strong> <strong>de</strong>sarrollo <strong>de</strong> este tipo <strong>de</strong> estrategias co<strong>la</strong>bora <strong>de</strong> manera muysignificativa <strong>en</strong> <strong>el</strong> proceso <strong>de</strong> <strong>de</strong>sarrollo <strong>de</strong> habilida<strong>de</strong>s r<strong>el</strong>acionadas a <strong>la</strong>scapacida<strong>de</strong>s <strong>de</strong> resolución <strong>de</strong> problemas; y a <strong>la</strong> capacidad <strong>de</strong> p<strong>en</strong>sami<strong>en</strong>tocrítico.Fascículo 6 / ASPECTOSMETODOLÓGICOS ENEL APRENDIZAJE DE LALÓGICA MATEMÁTICAEN SECUNDARIA• La Disyunción Inclusiva ( p v q )Al igual que <strong>en</strong> <strong>la</strong> Conjunción, antes <strong>de</strong> pres<strong>en</strong>tar <strong>la</strong> Tab<strong>la</strong> <strong>de</strong> Verdad <strong>de</strong> <strong>la</strong>Disyunción Inclusiva sería <strong>de</strong> mucha utilidad analizar una situación real <strong>en</strong> <strong>la</strong>que se utilice este conector lógico como parte d<strong>el</strong> proceso <strong>de</strong> comunicación<strong>en</strong>tre <strong>la</strong>s personas. Esto permitirá <strong>de</strong>sarrol<strong>la</strong>r un mayor niv<strong>el</strong> <strong>de</strong> compr<strong>en</strong>siónd<strong>el</strong> porqué <strong>de</strong> <strong>la</strong> estructura y comportami<strong>en</strong>to lógico <strong>de</strong> este conector.Marco Antonio le pregunta a su esposa Andrea:- ¿A dón<strong>de</strong> quieres ir a almorzar, amor?- Al restaurante “Sabor peruano”.- ¿Qué vas a pedir?- Arroz con pollo o ají <strong>de</strong> gallina.¿Qué quiso <strong>de</strong>cir Andrea cuando contestó que iba a pedir “Arroz con polloo ají <strong>de</strong> gallina”?Dado que su respuesta <strong>la</strong> estructuró a partir <strong>de</strong> una disyunción inclusiva,esto significa que pedirá alguno <strong>de</strong> los dos p<strong>la</strong>tos. Como <strong>la</strong> Disyunciónque utilizó fue Inclusiva (se d<strong>en</strong>omina disyunción inclusiva <strong>de</strong>bido a queincluye <strong>la</strong> posibilidad que se cump<strong>la</strong>n <strong>la</strong>s dos afirmaciones a <strong>la</strong> vez), exist<strong>el</strong>a posibilidad <strong>de</strong> que pida los dos p<strong>la</strong>tos.Cuando llegan al m<strong>en</strong>cionado restaurante y le toman <strong>el</strong> pedido a Andreapued<strong>en</strong> darse cuatro posibilida<strong>de</strong>s:I. Que pida arroz con pollo y también pida ají <strong>de</strong> gallina, con lo que <strong>la</strong>respuesta a <strong>la</strong> pregunta <strong>de</strong> su esposo fue verda<strong>de</strong>ra.II. Que sí pida arroz con pollo pero no pida ají <strong>de</strong> gallina, con lo que <strong>la</strong>respuesta a <strong>la</strong> pregunta <strong>de</strong> su esposo fue verda<strong>de</strong>ra.III. Que no pida arroz con pollo pero sí pida ají <strong>de</strong> gallina, con lo que <strong>la</strong>respuesta a <strong>la</strong> pregunta <strong>de</strong> su esposo fue verda<strong>de</strong>ra.IV. Que no pida arroz con pollo y tampoco pida ají <strong>de</strong> gallina, con lo que <strong>la</strong>respuesta a <strong>la</strong> pregunta <strong>de</strong> su esposo fue falsa.¿Qué conclusiones se pue<strong>de</strong> sacar <strong>de</strong> esta situación?• La Disyunción Exclusiva ( p ∆ q )Al igual que <strong>en</strong> <strong>la</strong> Conjunción y <strong>la</strong> Disyunción Inclusiva, antes <strong>de</strong> pres<strong>en</strong>tar <strong>la</strong>Tab<strong>la</strong> <strong>de</strong> Verdad <strong>de</strong> <strong>la</strong> Disyunción Exclusiva sería <strong>de</strong> mucha utilidad analizaruna situación real <strong>en</strong> <strong>la</strong> que se utilice este conector lógico como parte d<strong>el</strong>proceso <strong>de</strong> comunicación <strong>en</strong>tre <strong>la</strong>s personas. Esto permitirá ampliar <strong>el</strong> niv<strong>el</strong> <strong>de</strong>difer<strong>en</strong>ciación <strong>de</strong> este conector y <strong>la</strong> disyunción inclusiva, así como <strong>de</strong>sarrol<strong>la</strong>run mayor niv<strong>el</strong> <strong>de</strong> compr<strong>en</strong>sión d<strong>el</strong> porqué <strong>de</strong> <strong>la</strong> estructura y comportami<strong>en</strong>tológico <strong>de</strong> este conector.Disyunción exclusivap q p ⁄ qV V VV F VF V VF F FLa disyunción exclusivaTambién es importante<strong>de</strong>stacar <strong>la</strong> exist<strong>en</strong>cia <strong>de</strong> otrotipo <strong>de</strong> disyunción l<strong>la</strong>mada<strong>la</strong> disyunción exclusiva, <strong>la</strong>que po<strong>de</strong>mos r<strong>el</strong>acionar con<strong>la</strong> difer<strong>en</strong>cia simétrica <strong>de</strong>conjuntos.p ∆ q11s2 fasc6 doc<strong>en</strong>.indd 115/31/07 8:02:37 PM


Serie 2 / DIDÁCTICADE LA MATEMÁTICAObservemos un ejemplo:Rosa María <strong>en</strong>tra f<strong>el</strong>iz a su oficina y le dice a sus amigos: “¡Chicos, adivin<strong>en</strong>qué noticias les traigo!”. Carolina, su mejor amiga, le contesta: “Por lo f<strong>el</strong>izque estás, o te aceptaron <strong>el</strong> proyecto o te asc<strong>en</strong>dieron”.¿Qué quiso <strong>de</strong>cir Carolina cuando le contestó a Rosa María: “O te aceptaron<strong>el</strong> proyecto o te asc<strong>en</strong>dieron”?Dado que Carolina estructuró su respuesta a partir <strong>de</strong> una disyunciónexclusiva, esto significa que cree que a Rosa María le sucedió una <strong>de</strong> <strong>la</strong>sdos cosas. Como <strong>la</strong> Disyunción que utilizó fue Exclusiva (se d<strong>en</strong>ominadisyunción exclusiva <strong>de</strong>bido a que excluye <strong>la</strong> posibilidad <strong>de</strong> que se cump<strong>la</strong>n<strong>la</strong>s dos afirmaciones a <strong>la</strong> vez), no consi<strong>de</strong>ra <strong>la</strong> posibilidad <strong>de</strong> que a RosaMaría le haya sucedido <strong>la</strong>s dos cosas al mismo tiempo.12El CondicionalEn nuestra <strong>la</strong>bor doc<strong>en</strong>te, <strong>el</strong> usod<strong>el</strong> Condicional es constante.Citemos algunos ejemplos:– Si estudian, <strong>en</strong>tonces podránaprobar <strong>el</strong> exam<strong>en</strong> confacilidad.– Si hac<strong>en</strong> travesuras,<strong>en</strong>tonces no saldrán alrecreo.– Si realizan <strong>la</strong> tarea, <strong>en</strong>toncesobt<strong>en</strong>drán dos puntos extras.Como po<strong>de</strong>mos apreciar, <strong>el</strong>empleo d<strong>el</strong> Condicional esfrecu<strong>en</strong>te <strong>en</strong> nuestro quehacerdiario, por <strong>el</strong>lo, <strong>de</strong>bemosprocurar emplearlo conpropiedad.Cuando llega <strong>la</strong> hora d<strong>el</strong> almuerzo y Rosa María pue<strong>de</strong> terminar <strong>de</strong> contarlesa sus amigas lo que hizo, pued<strong>en</strong> darse cuatro posibilida<strong>de</strong>s <strong>en</strong> r<strong>el</strong>ación a <strong>la</strong>respuesta que dio Carolina:I. Que a Rosa María le hayan aceptado <strong>el</strong> proyecto y que también <strong>la</strong> hayanasc<strong>en</strong>dido, con lo cual <strong>la</strong> respuesta que dio Carolina sería falsa.II. Que a Rosa María sí le hayan aceptado <strong>el</strong> proyecto, pero no <strong>la</strong> hayanasc<strong>en</strong>dido, con lo cual <strong>la</strong> respuesta que dio Carolina sería verda<strong>de</strong>ra.III. Que a Rosa María no le hayan aceptado <strong>el</strong> proyecto, pero sí <strong>la</strong> hayanasc<strong>en</strong>dido, con lo cual <strong>la</strong> respuesta que dio Carolina sería verda<strong>de</strong>ra.IV. Que a Rosa María no le hayan aceptado <strong>el</strong> proyecto y que tampoco <strong>la</strong>hayan asc<strong>en</strong>dido, con lo cual <strong>la</strong> respuesta que dio Carolina sería falsa.¿Qué conclusiones se pue<strong>de</strong> sacar <strong>de</strong> esta situación?¿Qué difer<strong>en</strong>cias <strong>en</strong>cu<strong>en</strong>tras <strong>en</strong> r<strong>el</strong>ación con <strong>la</strong> Disyunción Inclusiva?• El Condicional. ( p q )A difer<strong>en</strong>cia <strong>de</strong> los Conectores Lógicos tratados previam<strong>en</strong>te, <strong>en</strong> este casoconsi<strong>de</strong>ramos que es necesario hacer una serie <strong>de</strong> ac<strong>la</strong>raciones previas a<strong>la</strong>nálisis y posterior <strong>de</strong>sarrollo <strong>de</strong> este conector.Com<strong>en</strong>cemos por ac<strong>la</strong>rar <strong>la</strong> sigui<strong>en</strong>te pregunta: ¿Qué se <strong>en</strong>ti<strong>en</strong><strong>de</strong> por unCondicional y cuál es su estructura?El Condicional, al igual que los otros conectores lógicos, es una ProposiciónCompuesta; pero, a difer<strong>en</strong>cia <strong>de</strong> los <strong>de</strong>más, <strong>la</strong>s proposiciones que locompon<strong>en</strong> cumpl<strong>en</strong> funciones totalm<strong>en</strong>te distintas, es <strong>de</strong>cir, que <strong>en</strong> <strong>la</strong>estructura <strong>de</strong> este conectivo lógico es necesario id<strong>en</strong>tificar cada una <strong>de</strong> suspartes y compr<strong>en</strong><strong>de</strong>r cuál es <strong>la</strong> función que éstas cumpl<strong>en</strong>.Un Condicional está compuesto <strong>de</strong> dos partes, <strong>el</strong> Anteced<strong>en</strong>te (<strong>la</strong> condición)y <strong>el</strong> Consecu<strong>en</strong>te (<strong>la</strong> consecu<strong>en</strong>cia). En <strong>la</strong> estructura básica d<strong>el</strong> Condicionalrepres<strong>en</strong>tado por <strong>la</strong> fórmu<strong>la</strong> lógica “p q” se cumple que:p : Es <strong>el</strong> Anteced<strong>en</strong>te (<strong>la</strong> condición)q : Es <strong>el</strong> Consecu<strong>en</strong>te (<strong>la</strong> consecu<strong>en</strong>cia)Esto significa que <strong>la</strong> fórmu<strong>la</strong> lógica “p q” repres<strong>en</strong>ta a una ProposiciónCompuesta que está Condicionada <strong>de</strong> “p” a “q”.s2 fasc6 doc<strong>en</strong>.indd 125/31/07 8:02:39 PM


La estructura lógica <strong>de</strong> una Proposición Condicionada parte d<strong>el</strong> principio<strong>de</strong> que si se cumple <strong>la</strong> condición (proposición repres<strong>en</strong>tada por <strong>el</strong>Anteced<strong>en</strong>te), se <strong>de</strong>be cumplir <strong>la</strong> consecu<strong>en</strong>cia (proposición repres<strong>en</strong>tadapor <strong>el</strong> Consecu<strong>en</strong>te); es por esta razón que es <strong>de</strong> suma importancia que <strong>en</strong>un condicional se id<strong>en</strong>tifique <strong>en</strong> qué s<strong>en</strong>tido está dada <strong>la</strong> condición, para asípo<strong>de</strong>r <strong>de</strong>terminar sin lugar a dudas cuál proposición repres<strong>en</strong>ta al Anteced<strong>en</strong>tey cuál al Consecu<strong>en</strong>te.En <strong>el</strong> <strong>de</strong>sarrollo <strong>de</strong> esta unidad es muy recom<strong>en</strong>dable realizar estasac<strong>la</strong>raciones con los estudiantes, pues los errores más comunes que sepres<strong>en</strong>tan son:I. Obviar <strong>la</strong> id<strong>en</strong>tificación d<strong>el</strong> Anteced<strong>en</strong>te y <strong>el</strong> Consecu<strong>en</strong>te, con lo cualse corre <strong>el</strong> riesgo <strong>de</strong> alterar <strong>el</strong> ord<strong>en</strong> d<strong>el</strong> Condicional.II. Consi<strong>de</strong>rar que <strong>la</strong>s fórmu<strong>la</strong>s lógicas “p q” y “q p” repres<strong>en</strong>tan a<strong>la</strong> misma Proposición Compuesta.Fascículo 6 / ASPECTOSMETODOLÓGICOS ENEL APRENDIZAJE DE LALÓGICA MATEMÁTICAEN SECUNDARIALuego <strong>de</strong> haber realizado estas ac<strong>la</strong>raciones previas, analicemos unasituación real <strong>en</strong> <strong>la</strong> que se utilice este conector lógico como parte d<strong>el</strong> proceso<strong>de</strong> comunicación <strong>en</strong>tre <strong>la</strong>s personas. Esto permitirá <strong>de</strong>sarrol<strong>la</strong>r un mayorniv<strong>el</strong> <strong>de</strong> compr<strong>en</strong>sión d<strong>el</strong> porqué <strong>de</strong> <strong>la</strong> estructura y comportami<strong>en</strong>to lógico<strong>de</strong> este conector.Con <strong>la</strong> int<strong>en</strong>ción <strong>de</strong> motivar a sus estudiantes para una prueba, <strong>el</strong> doc<strong>en</strong>te <strong>de</strong>Matemática <strong>de</strong>ci<strong>de</strong> hacerles <strong>el</strong> sigui<strong>en</strong>te ofrecimi<strong>en</strong>to:“Si alguno <strong>de</strong> uste<strong>de</strong>s obti<strong>en</strong>e más <strong>de</strong> 16 <strong>en</strong> <strong>la</strong> prueba, <strong>en</strong>tonces le invitaréun sándwich”.El doc<strong>en</strong>te motivó asus estudiantes con unaproposición compuesta <strong>en</strong> <strong>la</strong>que se emplea <strong>el</strong> conectivocondicional.A <strong>la</strong> semana sigui<strong>en</strong>te, los estudiantes rind<strong>en</strong> <strong>el</strong> exam<strong>en</strong> y ahora están a <strong>la</strong>espera <strong>de</strong> sus notas y <strong>de</strong> ver si <strong>el</strong> doc<strong>en</strong>te Alonso cumple con lo ofrecido.Como po<strong>de</strong>mos observar, <strong>el</strong> doc<strong>en</strong>te Alonso Ponce estructuró su ofrecimi<strong>en</strong>toa partir <strong>de</strong> un Condicional <strong>en</strong> don<strong>de</strong> <strong>el</strong> Anteced<strong>en</strong>te (Condición) es obt<strong>en</strong>ermás <strong>de</strong> 16 <strong>en</strong> <strong>la</strong> prueba, y <strong>el</strong> Consecu<strong>en</strong>te (Consecu<strong>en</strong>cia) es invitar unsándwich.Es conv<strong>en</strong>i<strong>en</strong>te dividir <strong>el</strong> ofrecimi<strong>en</strong>to <strong>en</strong> dos partes:I. Los estudiantes que obtuvieron 16 ó más <strong>en</strong> <strong>la</strong> prueba: En este casopued<strong>en</strong> pres<strong>en</strong>tarse dos situaciones:• Que un estudiante haya obt<strong>en</strong>ido 16 ó más <strong>en</strong> <strong>la</strong> prueba y que<strong>el</strong> doc<strong>en</strong>te Alonso le haya invitado <strong>el</strong> sándwich, por lo tanto, <strong>el</strong>ofrecimi<strong>en</strong>to que hizo <strong>el</strong> doc<strong>en</strong>te Ponce fue verda<strong>de</strong>ro.• Que un estudiante haya obt<strong>en</strong>ido 16 ó más <strong>en</strong> <strong>la</strong> prueba y que <strong>el</strong>doc<strong>en</strong>te Alonso no le haya invitado <strong>el</strong> sándwich, por lo tanto, <strong>el</strong>ofrecimi<strong>en</strong>to que hizo <strong>el</strong> doc<strong>en</strong>te Ponce fue falso.II. Los estudiantes que no obtuvieron 16 ó más <strong>en</strong> <strong>la</strong> prueba: En este casono se cumplió <strong>el</strong> anteced<strong>en</strong>te, es <strong>de</strong>cir, no se cumplió con <strong>la</strong> condiciónpor lo tanto, <strong>el</strong> doc<strong>en</strong>te no está <strong>en</strong> <strong>la</strong> obligación <strong>de</strong> cumplir con <strong>la</strong>consecu<strong>en</strong>cia (<strong>el</strong> consecu<strong>en</strong>te); <strong>de</strong> ahí que, <strong>el</strong> ofrecimi<strong>en</strong>to que hizo <strong>el</strong>doc<strong>en</strong>te Ponce <strong>de</strong>be consi<strong>de</strong>rarse como verda<strong>de</strong>ro, les invite o no <strong>el</strong>13s2 fasc6 doc<strong>en</strong>.indd 135/31/07 8:02:40 PM


II. La proposición compuesta más s<strong>en</strong>cil<strong>la</strong> que existe es aqu<strong>el</strong><strong>la</strong> quetrabaja a partir <strong>de</strong> <strong>la</strong> Negación <strong>de</strong> una proposición simple (“Un átomo<strong>de</strong> carbono no ti<strong>en</strong>e 9 <strong>el</strong>ectrones”).III. Una proposición compuesta pue<strong>de</strong> construirse a partir <strong>de</strong> proposicionessimples o a partir <strong>de</strong> otras proposiciones compuestas.IV. En una proposición compuesta que cont<strong>en</strong>ga dos o más conectoreslógicos, <strong>la</strong> jerarquía <strong>de</strong> estos se <strong>de</strong>termina <strong>en</strong> función a <strong>la</strong> interpretación<strong>de</strong> <strong>la</strong> redacción y los signos <strong>de</strong> puntuación.1.4 Variables proposicionalesSon <strong>la</strong>s letras mediante <strong>la</strong>s cuales se repres<strong>en</strong>tan a <strong>la</strong>s proposiciones simples;por lo g<strong>en</strong>eral, se utilizan <strong>la</strong>s letras: p , q , r , s.Por ejemplo:Proposiciones SimplesLucas es primo hermano <strong>de</strong> Pau<strong>la</strong>R<strong>en</strong>ato es hermano <strong>de</strong> SandraÓscar es cuñado <strong>de</strong> CarolinaVariables ProposicionalespqrEs importante m<strong>en</strong>cionar a los estudiantes que <strong>el</strong> objetivo <strong>de</strong> todos los temas<strong>de</strong>sarrol<strong>la</strong>dos <strong>en</strong> este capítulo (proposición, conectores lógicos, c<strong>la</strong>ses <strong>de</strong>proposiciones y variables proposicionales) ti<strong>en</strong>e como objetivo darles <strong>la</strong>sherrami<strong>en</strong>tas necesarias para po<strong>de</strong>r expresar <strong>la</strong>s proposiciones d<strong>el</strong> l<strong>en</strong>guajeformal bajo una estructura <strong>de</strong> l<strong>en</strong>guaje matemático.1.5 Fórmu<strong>la</strong>s lógicasSe d<strong>en</strong>omina así a <strong>la</strong> a<strong>de</strong>cuada combinación <strong>de</strong> variables proposicionales,conectores lógicos y signos <strong>de</strong> agrupación.• ~ p ^ ( q ~ r )• ( r v ~ s ) ~ ( q ∆ ~ p )• [ ~ ( p ~ q ) ∨ q ] ∧ ~ ( q ~ p )Las fórmu<strong>la</strong>s lógicas repres<strong>en</strong>tan <strong>la</strong> estructura lógica <strong>de</strong> <strong>la</strong>s proposicionescompuestas, es <strong>de</strong>cir, que mediante <strong>la</strong> a<strong>de</strong>cuada combinación <strong>de</strong> variablesproposicionales, conectores lógicos y signos <strong>de</strong> agrupación se pue<strong>de</strong>repres<strong>en</strong>tar <strong>el</strong> l<strong>en</strong>guaje natural <strong>en</strong> un l<strong>en</strong>guaje <strong>de</strong> estructura matemática.Por ejemplo:Dadas <strong>la</strong>s sigui<strong>en</strong>tes variables proposicionales, <strong>de</strong>terminar <strong>la</strong> estructuralógica <strong>de</strong> <strong>la</strong>s sigui<strong>en</strong>tes proposiciones compuestas.• p: Lucas es primo hermano <strong>de</strong> Pau<strong>la</strong>.• q: R<strong>en</strong>ato es hermano <strong>de</strong> Sandra.• r: Óscar es cuñado <strong>de</strong> Carolina.a. No es <strong>el</strong> caso que, R<strong>en</strong>ato no es hermano <strong>de</strong> Sandra y Óscar es cuñado<strong>de</strong> Carolina.• La Proposición es una proposición compuesta. ¿Por qué?• Los conectores lógicos <strong>de</strong> su estructura son :Dos negaciones y una conjunción. ¿Por qué?Fascículo 6 / ASPECTOSMETODOLÓGICOS ENEL APRENDIZAJE DE LALÓGICA MATEMÁTICAEN SECUNDARIAcuriosida<strong>de</strong>smatemáticasLo que suce<strong>de</strong> es que <strong>la</strong>spiezas no han sido colocadas<strong>en</strong>cajando perfectam<strong>en</strong>teuna con otra. En <strong>el</strong> caso d<strong>el</strong>a primera superficie <strong>de</strong> 65cuadraditos los <strong>la</strong>dos <strong>de</strong> <strong>la</strong>spiezas no coincid<strong>en</strong> y existe<strong>en</strong>tre <strong>el</strong><strong>la</strong>s unas pequeñasseparaciones que sonimperceptibles y sumadas dan<strong>el</strong> cuadradito extra.En <strong>el</strong> caso <strong>de</strong> <strong>la</strong> sigui<strong>en</strong>tesuperficie <strong>de</strong> 63 cuadraditosalgunos <strong>la</strong>dos <strong>de</strong> <strong>la</strong>s piezasestán superpuestos, restando<strong>de</strong> esta manera un total <strong>de</strong>superficie d<strong>el</strong> tamaño <strong>de</strong> uncuadradito.Pue<strong>de</strong>s construir con pap<strong>el</strong>cuadricu<strong>la</strong>do un cuadrado <strong>de</strong>10x10 cuadraditos, cortar <strong>la</strong>spiezas como muestra <strong>la</strong> figuray armar <strong>la</strong>s dos superficiesque se muestran para verificarlo expresado anteriorm<strong>en</strong>te.http://www.geocities.com/inunc/Logica/Logica01.htm15s2 fasc6 doc<strong>en</strong>.indd 155/31/07 8:02:44 PM


Serie 2 / DIDÁCTICADE LA MATEMÁTICAUn mate...- Doctor, doctor, estoymuerto.- Pero oiga, eso es imposible.- Que sí, que es cierto,examíneme.- Pero qué tontería, vamosa ver, ¿usted estará <strong>de</strong>acuerdo <strong>en</strong> que los muertosno sangran?- Sí, c<strong>la</strong>ro.- Bu<strong>en</strong>o, pues le voy apinchar un <strong>de</strong>do con estealfiler y si usted sangra,¿eso significará que uste<strong>de</strong>stá vivo, no?- C<strong>la</strong>ro, pinche y verá cómono sangro.- Entonces <strong>el</strong> médicole pincha <strong>el</strong> <strong>de</strong>do, yobviam<strong>en</strong>te saca unagotita <strong>de</strong> sangre; <strong>en</strong>tonces,sonri<strong>en</strong>do, le dice alpaci<strong>en</strong>te:¿Qué me dice ahora?- De acuerdo, yo estabaequivocado. Los muertospued<strong>en</strong> sangrar.http://chistes.<strong>de</strong>v<strong>el</strong>opers4web.com/chistes<strong>de</strong>-logica/humor-1• Las Proposiciones Simples que <strong>la</strong> compon<strong>en</strong> son :R<strong>en</strong>ato es hermano <strong>de</strong> Sandra (repres<strong>en</strong>tada por <strong>la</strong> variableproposicional “q”).Óscar es cuñado <strong>de</strong> Carolina (repres<strong>en</strong>tada por <strong>la</strong> variableproposicional “r”).• Por lo tanto, <strong>la</strong> estructura lógica <strong>de</strong> <strong>la</strong> proposición compuesta queestamos analizando está repres<strong>en</strong>tada por <strong>la</strong> sigui<strong>en</strong>te fórmu<strong>la</strong>lógica:~ ( ~ q ^ r )b. Lucas no es primo hermano <strong>de</strong> Pau<strong>la</strong> si y sólo si; no es cierto que, oR<strong>en</strong>ato es hermano <strong>de</strong> Sandra o Luis no es cuñado <strong>de</strong> Carolina.• La Proposición es una proposición compuesta.• Los conectores lógicos <strong>de</strong> su estructura son :Tres negaciones, un bicondicional y una disyunción exclusiva.• La Proposiciones Simples que <strong>la</strong> compon<strong>en</strong> son :Lucas es primo <strong>de</strong> Pau<strong>la</strong> (repres<strong>en</strong>tada por <strong>la</strong> variable proposicional“p”).R<strong>en</strong>ato es hermano <strong>de</strong> Sandra (repres<strong>en</strong>tada por <strong>la</strong> variableproposicional “q”).Luis es cuñado <strong>de</strong> Carolina (repres<strong>en</strong>tada por <strong>la</strong> variableproposicional “r”).• Por lo tanto, <strong>la</strong> estructura lógica <strong>de</strong> <strong>la</strong> proposición compuesta queestamos analizando está repres<strong>en</strong>tada por <strong>la</strong> sigui<strong>en</strong>te fórmu<strong>la</strong>lógica:~ p ⇔ ~ ( q ∆ ~ r )Como se habrá podido observar <strong>en</strong> los dos últimos ejemplos, <strong>el</strong> procesomediante <strong>el</strong> cual se <strong>de</strong>sarrol<strong>la</strong> <strong>la</strong> fórmu<strong>la</strong> lógica que repres<strong>en</strong>ta <strong>la</strong> estructura<strong>de</strong> una <strong>de</strong>terminada Proposición Compuesta pue<strong>de</strong> (hasta cierto punto)esquematizarse mediante <strong>la</strong>s sigui<strong>en</strong>tes recom<strong>en</strong>daciones:16I. Es bastante obvio que <strong>la</strong> primera recom<strong>en</strong>dación es garantizar que <strong>el</strong><strong>en</strong>unciado sea una Proposición Compuesta.II. Es <strong>de</strong> suma utilidad id<strong>en</strong>tificar cuáles son los conectores lógicos queforman <strong>la</strong> estructura <strong>de</strong> <strong>la</strong> Proposición Compuesta (revise <strong>la</strong> tab<strong>la</strong> d<strong>el</strong>tema 1.2, pág. 9).III. Luego d<strong>el</strong> paso anterior mediante una simple inspección se podráreconocer sin mayor dificultad cuáles son <strong>la</strong>s Proposiciones Simplesque conforman a <strong>la</strong> Proposición Compuesta que estamos analizando.IV. Se <strong>de</strong>be asignar una Variable Proposicional a cada una <strong>de</strong> <strong>la</strong>sProposiciones Simples que se ha id<strong>en</strong>tificado.V. En caso <strong>de</strong> que <strong>la</strong> Proposición Compuesta cont<strong>en</strong>ga a dos o más conectoreslógicos, se <strong>de</strong>be <strong>de</strong>terminar cuál es <strong>la</strong> jerarquía <strong>de</strong> estos. Ésta sin lugara dudas es <strong>la</strong> etapa <strong>de</strong> mayor grado <strong>de</strong> dificultad <strong>de</strong> todo <strong>el</strong> proceso,dado que requiere <strong>de</strong> un niv<strong>el</strong> <strong>de</strong> compr<strong>en</strong>sión, interpretación y análisiss2 fasc6 doc<strong>en</strong>.indd 165/31/07 8:02:44 PM


astante complejo; para <strong>el</strong>lo es necesario compr<strong>en</strong><strong>de</strong>r <strong>la</strong> redacción yhacer una a<strong>de</strong>cuada interpretación <strong>de</strong> los signos <strong>de</strong> puntuación.Es muy importante t<strong>en</strong>er <strong>en</strong> cu<strong>en</strong>ta que <strong>en</strong> esta etapa es don<strong>de</strong> losestudiantes muestran mayores dificulta<strong>de</strong>s, <strong>el</strong>lo <strong>de</strong>bido básicam<strong>en</strong>te ados razones:• El bajo niv<strong>el</strong> <strong>de</strong> compr<strong>en</strong>sión lectora que han <strong>de</strong>sarrol<strong>la</strong>do.• El <strong>de</strong>sconocimi<strong>en</strong>to <strong>de</strong> <strong>la</strong> jerarquía <strong>de</strong> los signos <strong>de</strong> puntuación,<strong>de</strong>bido a que no han <strong>de</strong>sarrol<strong>la</strong>do una a<strong>de</strong>cuada capacidad <strong>de</strong>redacción.Es recom<strong>en</strong>dable que los estudiantes tom<strong>en</strong> conci<strong>en</strong>cia <strong>de</strong> esta situacióny es responsabilidad <strong>de</strong> nosotros los doc<strong>en</strong>tes motivarlos y ayudarlosa superar estas <strong>de</strong>fici<strong>en</strong>cias; ya que si no se pone énfasis <strong>en</strong> los dos<strong>aspectos</strong> m<strong>en</strong>cionados, es poco probable que se pueda <strong>de</strong>sarrol<strong>la</strong>rcon éxito <strong>la</strong> estructura lógica <strong>de</strong> una Proposición Compuesta, lo querepercute directam<strong>en</strong>te <strong>en</strong> <strong>la</strong> capacidad <strong>de</strong> resolución <strong>de</strong> problemas.VI. Si se logró <strong>de</strong>terminar <strong>la</strong> jerarquía <strong>de</strong> los conectores lógicos y a quéProposiciones (pued<strong>en</strong> ser simples o compuestas) r<strong>el</strong>acionan, se podráp<strong>la</strong>ntear <strong>la</strong> fórmu<strong>la</strong> lógica utilizando <strong>la</strong>s variables proposicionales quese <strong>de</strong>finieron <strong>en</strong> <strong>la</strong> etapa IV, los signos <strong>de</strong> los conectores lógicos quese id<strong>en</strong>tificaron <strong>en</strong> <strong>la</strong> etapa II, y los signos <strong>de</strong> agrupación que seannecesarios para respetar <strong>la</strong> jerarquía <strong>de</strong>terminados <strong>en</strong> <strong>la</strong> etapa V.Fascículo 6 / ASPECTOSMETODOLÓGICOS ENEL APRENDIZAJE DE LALÓGICA MATEMÁTICAEN SECUNDARIAActividad 1Interioriza los fundam<strong>en</strong>tos y fines d<strong>el</strong> proceso <strong>de</strong> apr<strong>en</strong>dizaje <strong>de</strong> <strong>la</strong> Lógica Proposicional, mediante<strong>el</strong> análisis y discusión d<strong>el</strong> porqué <strong>de</strong> su apr<strong>en</strong>dizaje, mostrando tolerancia y apertura.I. Investiga acerca <strong>de</strong> <strong>la</strong> historia <strong>de</strong> <strong>la</strong> Lógica Proposicional <strong>en</strong> <strong>la</strong>s sigui<strong>en</strong>tes direcciones, y <strong>el</strong>aboraun resum<strong>en</strong> didáctico y un mapa conceptual para tus alumnos:- http://<strong>en</strong>f<strong>en</strong>ix.webcindario.com/logica/historia.phtml- http://www.mor.itesm.mx/~al332002/tarea1.html- http://www.mor.itesm.mx/~logica/log9808/evolucion.htmlReúnanse con sus compañeros <strong>de</strong> área d<strong>el</strong> colegio y, si es posible, con sus colegas <strong>de</strong> otrascomunida<strong>de</strong>s para realizar un pequeño taller sobre <strong>el</strong> tratami<strong>en</strong>to <strong>de</strong> <strong>la</strong> Lógica Proposicional <strong>en</strong> <strong>la</strong>educación secundaria. T<strong>en</strong>gan pres<strong>en</strong>te lo sigui<strong>en</strong>te:• Elijan a un mo<strong>de</strong>rador y secretario(a) que anote los com<strong>en</strong>tarios y/o conclusiones a que s<strong>el</strong>legu<strong>en</strong>.• Todas <strong>la</strong>s opiniones son valiosas, <strong>de</strong>b<strong>en</strong> ser escuchadas con respeto.• Si se <strong>en</strong>cu<strong>en</strong>tran con dos i<strong>de</strong>as opuestas, discútan<strong>la</strong>s para llegar a un cons<strong>en</strong>so al respecto.• Todas <strong>la</strong>s personas ti<strong>en</strong><strong>en</strong> algo valioso que compartir, aceptemos con agrado lo que t<strong>en</strong>gan que<strong>de</strong>cir y compartamos con los <strong>de</strong>más nuestras experi<strong>en</strong>cias.• E<strong>la</strong>bor<strong>en</strong> un resum<strong>en</strong> <strong>de</strong> los puntos tratados y <strong>en</strong>tregu<strong>en</strong> una copia a cada participante.17s2 fasc6 doc<strong>en</strong>.indd 175/31/07 8:02:44 PM


Serie 2 / DIDÁCTICADE LA MATEMÁTICAII. Determina cuáles <strong>de</strong> <strong>la</strong>s sigui<strong>en</strong>tes expresiones son proposiciones y cuáles no lo son. Explicapor qué.a. Napoleón nació <strong>en</strong> <strong>la</strong> is<strong>la</strong> <strong>de</strong> Mars<strong>el</strong><strong>la</strong>.b. Próxima C<strong>en</strong>tauro es <strong>la</strong> ga<strong>la</strong>xia más cercana a <strong>la</strong> Tierra.c. ¿Hernando Cortés conquisto México?d. La v<strong>el</strong>ocidad <strong>de</strong> <strong>la</strong> luz es <strong>de</strong> aproximadam<strong>en</strong>te 300 000 km/s.e. El Diodo está compuesto por <strong>el</strong> ánodo y <strong>el</strong> cátodo.f. ¡José! ¡Ati<strong>en</strong><strong>de</strong> <strong>la</strong> c<strong>la</strong>se!g. Aur<strong>el</strong>io es primo hermano <strong>de</strong> Patricia.h. El número atómico d<strong>el</strong> Cromo es 24.i. ¿En qué batal<strong>la</strong> murió Francisco Bolognesi?j. U2 es <strong>la</strong> mejor banda <strong>de</strong> rock d<strong>el</strong> mundo.k. Canadá es <strong>el</strong> país más pob<strong>la</strong>do d<strong>el</strong> p<strong>la</strong>neta.l. (a + b) 2 + (a – b) 2 = 2(a 2 + b 2 )m. 7x 2 + 5x – 18 = 6x 2 + 9x + 3n. (3x + 2y –49) 2 + (7x –5y + 13) 2 < 0o. [12 ÷ 4 × 3 – 8 3 ÷ (24 – 5 × 4) + 16] – = 6p. (4m – 3) 2 + 13m ≥ 2m 2 – 3(5 – 2m)III. Determina cuáles <strong>de</strong> <strong>la</strong>s sigui<strong>en</strong>tes proposiciones son simples y cuáles son compuestas:a. El pico más alto d<strong>el</strong> Perú es <strong>el</strong> Alpamayo.b. El número 240 ti<strong>en</strong>e 20 divisores.c. El número atómico d<strong>el</strong> nitróg<strong>en</strong>o es 7 y ti<strong>en</strong>e dos capas <strong>de</strong> <strong>el</strong>ectrones.d. La v<strong>el</strong>ocidad <strong>de</strong> un móvil es cero, si y sólo si, se <strong>de</strong>sp<strong>la</strong>za a v<strong>el</strong>ocidad constante.e. El Máximo Común Divisor <strong>de</strong> 280 y 360 es 40.IV. Id<strong>en</strong>tifica cuáles son <strong>la</strong>s proposiciones simples y los conectores lógicos <strong>de</strong> cada una <strong>de</strong> <strong>la</strong>ssigui<strong>en</strong>tes proposiciones compuestas.a. Saturno no es <strong>el</strong> p<strong>la</strong>neta más gran<strong>de</strong> d<strong>el</strong> Sistema So<strong>la</strong>r.b. Si Ricardo es padre <strong>de</strong> Manu<strong>el</strong>, <strong>en</strong>tonces María es hermana <strong>de</strong> Arturo o <strong>de</strong> Jorge.c. No es cierto que <strong>la</strong> Tierra es redonda y no gire alre<strong>de</strong>dor d<strong>el</strong> Sol.d. O <strong>el</strong> símbolo químico <strong>de</strong> <strong>la</strong> p<strong>la</strong>ta es Au o es Ag.V. Dadas <strong>la</strong>s variables proposicionales: p, q , r , s:p : Juan es hermano <strong>de</strong> Laura.q : Laura es cuñada <strong>de</strong> Verónica.r : Sebastián es primo <strong>de</strong> Luis.s : Santiago es hijo <strong>de</strong> Andrea.Determina <strong>la</strong> fórmu<strong>la</strong> lógica <strong>de</strong> cada una <strong>de</strong> <strong>la</strong>s sigui<strong>en</strong>tes proposiciones compuestas.a. Si Juan no es hermano <strong>de</strong> Laura, <strong>en</strong>tonces Sebastián es primo <strong>de</strong> Luis.b. No es cierto que Santiago es hijo <strong>de</strong> Andrea y Laura no es cuñada <strong>de</strong> Verónica.c. Sebastián es primo <strong>de</strong> Luis, si y sólo si, Juan no es hermano <strong>de</strong> Laura o Santiago es hijo<strong>de</strong> Andrea.d. Si Laura no es cuñada <strong>de</strong> Verónica o Sebastián no es primo <strong>de</strong> Luis, <strong>en</strong>tonces Santiago eshijo <strong>de</strong> Andrea.18s2 fasc6 doc<strong>en</strong>.indd 185/31/07 8:02:44 PM


Fascículo 6 / ASPECTOSMETODOLÓGICOS ENEL APRENDIZAJE DE LALÓGICA MATEMÁTICAEN SECUNDARIA2. TABLAS<strong>de</strong> VERDAD2.1 Tab<strong>la</strong>s <strong>de</strong> Verdad <strong>de</strong> los Conectores lógicosUna Tab<strong>la</strong> <strong>de</strong> Verdad nos permite visualizar bajo qué condiciones <strong>de</strong> <strong>la</strong>svariables proposicionales una fórmu<strong>la</strong> lógica toma un valor verda<strong>de</strong>ro y bajoqué condiciones toma un valor falso. Es <strong>de</strong>cir, que <strong>en</strong> una tab<strong>la</strong> se analiza <strong>el</strong>comportami<strong>en</strong>to <strong>de</strong> los valores <strong>de</strong> verdad <strong>de</strong> una fórmu<strong>la</strong> lógica <strong>en</strong> r<strong>el</strong>acióna los valores <strong>de</strong> verdad <strong>de</strong> sus variables proposicionales.Por otro <strong>la</strong>do, sabemos que <strong>la</strong> estructura <strong>de</strong> cualquiera <strong>de</strong> los Conectoreslógicos es una Proposición Compuesta y que toda ProposiciónCompuesta pue<strong>de</strong> ser repres<strong>en</strong>tada mediante una combinación <strong>de</strong> variablesproposicionales y símbolos lógicos organizados jerárquicam<strong>en</strong>te <strong>en</strong> unafórmu<strong>la</strong> lógica.En r<strong>el</strong>ación a <strong>la</strong> estructura <strong>de</strong> una Tab<strong>la</strong> <strong>de</strong> Verdad es importante t<strong>en</strong>er <strong>en</strong>cu<strong>en</strong>ta que ésta se <strong>de</strong>sarrol<strong>la</strong>rá <strong>en</strong> función a <strong>la</strong> información necesaria para suanálisis e interpretación, por lo tanto, toda Tab<strong>la</strong> <strong>de</strong> Verdad se construirá <strong>en</strong>base a cuatro partes, cada una <strong>de</strong> <strong>el</strong><strong>la</strong>s correspondi<strong>en</strong>tes a:• Las variables proposicionales <strong>de</strong> <strong>la</strong> fórmu<strong>la</strong> lógica: <strong>en</strong> esta parte secolocarán todas <strong>la</strong>s variables proposicionales que conform<strong>en</strong> <strong>la</strong> fórmu<strong>la</strong>lógica, ord<strong>en</strong>adas alfabéticam<strong>en</strong>te.• Las difer<strong>en</strong>tes combinaciones que se pued<strong>en</strong> establecer <strong>en</strong>tre los posiblesvalores <strong>de</strong> verdad <strong>de</strong> <strong>la</strong>s variables proposicionales: no <strong>de</strong>bemos <strong>de</strong>jar <strong>de</strong>t<strong>en</strong>er pres<strong>en</strong>te que cuando se evalúa una fórmu<strong>la</strong> lógica no se conocecuáles son <strong>la</strong>s proposiciones que están repres<strong>en</strong>tado cada una <strong>de</strong> <strong>la</strong>variables proposicionales, por lo tanto, no se podrá <strong>de</strong>terminar cuál es <strong>el</strong>valor <strong>de</strong> vedad <strong>de</strong> éstas. Esto implica que para cada variable proposicionalse <strong>de</strong>berá consi<strong>de</strong>rar dos posibilida<strong>de</strong>s, una <strong>en</strong> <strong>la</strong> que su valor <strong>de</strong> verdadsea “Verda<strong>de</strong>ro” y otra <strong>en</strong> <strong>la</strong> que su valor <strong>de</strong> verdad sea “Falso”.Para <strong>de</strong>terminar cuántas difer<strong>en</strong>tes combinaciones se pue<strong>de</strong> establecer<strong>en</strong>tre los posibles valores <strong>de</strong> verdad <strong>de</strong> cada una <strong>de</strong> <strong>la</strong>s variablesproposicionales se <strong>de</strong>be t<strong>en</strong>er <strong>en</strong> cu<strong>en</strong>ta <strong>el</strong> principio <strong>de</strong> multiplicidad <strong>en</strong>r<strong>el</strong>ación a <strong>la</strong> cantidad <strong>de</strong> variables proposicionales.• La estructura <strong>de</strong> <strong>la</strong> fórmu<strong>la</strong> lógica <strong>en</strong> sí.• El análisis <strong>de</strong> <strong>la</strong> fórmu<strong>la</strong> lógica: <strong>en</strong> esta parte se <strong>de</strong>sarrol<strong>la</strong>rá <strong>el</strong> proceso<strong>de</strong> análisis e interpretación <strong>de</strong> <strong>la</strong> fórmu<strong>la</strong> lógica <strong>en</strong> <strong>la</strong> que se <strong>de</strong>terminarábajo qué condiciones <strong>de</strong> <strong>la</strong>s variables proposicionales <strong>la</strong> fórmu<strong>la</strong> lógica esVerda<strong>de</strong>ra y bajo qué condiciones es Falsa.Combinaciones <strong>de</strong> los valores<strong>de</strong> verdad <strong>de</strong> <strong>la</strong>s variablesproposicionales.Para 1 proposiciónPVFt<strong>en</strong>emos: 2 = 2 1 combinaciones.Para 2 proposicionesPVFVFVFt<strong>en</strong>emos: 4 = 2 2 combinaciones.Para 3 proposicionesPVFVFVFVFVFVFVt<strong>en</strong>emos: 8 = 2 3 combinaciones.Luego, para “n” proposicionest<strong>en</strong>dremos:2 n combinacionesF19s2 fasc6 doc<strong>en</strong>.indd 195/31/07 8:02:45 PM


Serie 2 / DIDÁCTICADE LA MATEMÁTICAEstas cuatro partes se organizarán <strong>de</strong> <strong>la</strong> sigui<strong>en</strong>te manera:VariablesproposicionalesCombinaciones d<strong>el</strong>os valores <strong>de</strong> verdad<strong>de</strong> <strong>la</strong>s variablesproposicionalesEstructura <strong>de</strong> <strong>la</strong>fórmu<strong>la</strong> lógicaAnálisis <strong>de</strong> <strong>la</strong> fórmu<strong>la</strong>lógicapVFpFV• Tab<strong>la</strong> <strong>de</strong> Verdad <strong>de</strong> <strong>la</strong> Negación.Dado que esta fórmu<strong>la</strong> lógica <strong>de</strong>p<strong>en</strong><strong>de</strong> únicam<strong>en</strong>te <strong>de</strong> una variableproposicional, ésta t<strong>en</strong>drá so<strong>la</strong>m<strong>en</strong>te dos difer<strong>en</strong>tes combinaciones <strong>de</strong> losposibles valores <strong>de</strong> verdad <strong>de</strong> sus variables proposicionales.D<strong>el</strong> análisis <strong>de</strong> <strong>la</strong> Tab<strong>la</strong> se <strong>de</strong>duce fácilm<strong>en</strong>te que si una proposición esverda<strong>de</strong>ra <strong>el</strong> valor <strong>de</strong> verdad <strong>de</strong> su negación será falso, por <strong>el</strong> contrario, siuna proposición es falsa, <strong>el</strong> valor <strong>de</strong> verdad <strong>de</strong> su negación será verda<strong>de</strong>ro.Por ejemplo: ¿Cuál es <strong>el</strong> valor <strong>de</strong> verdad <strong>de</strong> <strong>la</strong> negación <strong>de</strong> <strong>la</strong> sigui<strong>en</strong>teproposición simple?:“La capital <strong>de</strong> Francia es París”.• La negación <strong>de</strong> esta Proposición Simple sería <strong>la</strong> sigui<strong>en</strong>te ProposiciónCompuesta : “La capital <strong>de</strong> Francia no es París”.• Dado que <strong>el</strong> valor <strong>de</strong> verdad <strong>de</strong> <strong>la</strong> Proposición Simple es verda<strong>de</strong>ro, <strong>el</strong>valor <strong>de</strong> verdad <strong>de</strong> su Negación (Proposición Compuesta) será Falso.http://www.greggayd<strong>en</strong>.com/europe/Eiff<strong>el</strong>%20Tower%207.jpgp q p ∧ qV VV FF VF FVFFF• Tab<strong>la</strong> <strong>de</strong> Verdad <strong>de</strong> <strong>la</strong> Conjunción.Recordando que <strong>la</strong> estructura más s<strong>en</strong>cil<strong>la</strong> <strong>de</strong> una Conjunción es aqu<strong>el</strong><strong>la</strong>que r<strong>el</strong>aciona dos Proposiciones Simples, <strong>la</strong> fórmu<strong>la</strong> lógica más s<strong>en</strong>cil<strong>la</strong> querepres<strong>en</strong>ta a una conjunción es “ p ∧ q”.Dado que esta fórmu<strong>la</strong> lógica <strong>de</strong>p<strong>en</strong><strong>de</strong> <strong>de</strong> dos variables proposicionales, éstat<strong>en</strong>drá cuatro difer<strong>en</strong>tes combinaciones <strong>de</strong> los posibles valores <strong>de</strong> verdad <strong>de</strong>sus variables proposicionales.D<strong>el</strong> análisis <strong>de</strong> <strong>la</strong> Tab<strong>la</strong> se <strong>de</strong>duce que una conjunción so<strong>la</strong>m<strong>en</strong>te seráverda<strong>de</strong>ra si es que <strong>la</strong>s dos Proposiciones que <strong>la</strong> constituy<strong>en</strong> son verda<strong>de</strong>ras(primera fi<strong>la</strong> <strong>de</strong> <strong>la</strong> tab<strong>la</strong>).20Si analizamos <strong>la</strong>s otras tres posibilida<strong>de</strong>s <strong>de</strong> combinación <strong>de</strong> <strong>la</strong>s variablesproposicionales, se pue<strong>de</strong> inferir que “<strong>en</strong> una Conjunción basta que alguna <strong>de</strong> <strong>la</strong>sProposiciones que <strong>la</strong> compon<strong>en</strong> sea falsa para que <strong>la</strong> Conjunción sea falsa”.Por ejemplo: ¿Cuál es <strong>el</strong> valor <strong>de</strong> verdad <strong>de</strong> <strong>la</strong> sigui<strong>en</strong>te ProposiciónCompuesta?:“Asia es <strong>el</strong> contin<strong>en</strong>te más ext<strong>en</strong>so y América es <strong>el</strong> contin<strong>en</strong>te más pob<strong>la</strong>dod<strong>el</strong> p<strong>la</strong>neta”.• Como se habrá podido <strong>de</strong>ducir, <strong>la</strong> Proposición Compuesta es unaConjunción formada por dos Proposiciones Simples.“Asia es <strong>el</strong> contin<strong>en</strong>te más ext<strong>en</strong>so”.“América es <strong>el</strong> contin<strong>en</strong>te más pob<strong>la</strong>do”.• Dado que <strong>el</strong> valor <strong>de</strong> verdad <strong>de</strong> <strong>la</strong> primera Proposición es verda<strong>de</strong>roy <strong>el</strong> valor <strong>de</strong> verdad <strong>de</strong> <strong>la</strong> segunda Proposición es falso, <strong>el</strong> valor <strong>de</strong> <strong>la</strong>Conjunción (Proposición Compuesta) es Falso.s2 fasc6 doc<strong>en</strong>.indd 205/31/07 8:02:45 PM


• Tab<strong>la</strong> <strong>de</strong> Verdad <strong>de</strong> <strong>la</strong> Disyunción Inclusiva. ( p v q )Recordando que <strong>la</strong> estructura más s<strong>en</strong>cil<strong>la</strong> <strong>de</strong> una Disyunción Inclusiva esaqu<strong>el</strong><strong>la</strong> que r<strong>el</strong>aciona dos Proposiciones Simples, <strong>la</strong> fórmu<strong>la</strong> lógica máss<strong>en</strong>cil<strong>la</strong> que <strong>la</strong> repres<strong>en</strong>ta es “p v q”.Dado que esta fórmu<strong>la</strong> lógica <strong>de</strong>p<strong>en</strong><strong>de</strong> <strong>de</strong> dos variables proposicionales, éstat<strong>en</strong>drá cuatro difer<strong>en</strong>tes combinaciones <strong>de</strong> los posibles valores <strong>de</strong> verdad <strong>de</strong>sus variables proposicionales.D<strong>el</strong> análisis <strong>de</strong> <strong>la</strong> Tab<strong>la</strong> se <strong>de</strong>duce que una Disyunción Inclusiva so<strong>la</strong>m<strong>en</strong>teserá falsa si es que <strong>la</strong>s dos Proposiciones que <strong>la</strong> constituy<strong>en</strong> son falsas (últimafi<strong>la</strong> <strong>de</strong> <strong>la</strong> tab<strong>la</strong>).p q p ∨ qV V VV F VF V VF F FFascículo 6 / ASPECTOSMETODOLÓGICOS ENEL APRENDIZAJE DE LALÓGICA MATEMÁTICAEN SECUNDARIASi analizamos <strong>la</strong>s otras tres posibilida<strong>de</strong>s <strong>de</strong> combinación <strong>de</strong> <strong>la</strong>s variablesproposicionales, se pue<strong>de</strong> inferir que “<strong>en</strong> una Disyunción Inclusiva bastaque alguna <strong>de</strong> <strong>la</strong>s Proposiciones que <strong>la</strong> compon<strong>en</strong> sea verda<strong>de</strong>ra para que <strong>la</strong>Disyunción Inclusiva sea verda<strong>de</strong>ra”.Por ejemplo: ¿Cuál es <strong>el</strong> valor <strong>de</strong> verdad <strong>de</strong> <strong>la</strong> sigui<strong>en</strong>te Proposición Compuesta?:“El nitróg<strong>en</strong>o es un metal o ti<strong>en</strong>e siete <strong>el</strong>ectrones”.• Como se habrá podido <strong>de</strong>ducir, <strong>la</strong> Proposición Compuesta es unaDisyunción Inclusiva formada por dos Proposiciones Simples.“El nitróg<strong>en</strong>o es un metal”.“El nitróg<strong>en</strong>o ti<strong>en</strong>e siete <strong>el</strong>ectrones”.• Dado que <strong>el</strong> valor <strong>de</strong> verdad <strong>de</strong> <strong>la</strong> primera Proposición es falso y <strong>el</strong> valor <strong>de</strong>verdad <strong>de</strong> <strong>la</strong> segunda Proposición es verda<strong>de</strong>ro, <strong>el</strong> valor <strong>de</strong> <strong>la</strong> DisyunciónInclusiva (Proposición Compuesta) es Verda<strong>de</strong>ro.• Tab<strong>la</strong> <strong>de</strong> Verdad <strong>de</strong> <strong>la</strong> Disyunción Exclusiva. (p ∆ q)Recordando que <strong>la</strong> estructura más s<strong>en</strong>cil<strong>la</strong> <strong>de</strong> una Disyunción Exclusivaes aqu<strong>el</strong><strong>la</strong> que r<strong>el</strong>aciona dos Proposiciones Simples, <strong>la</strong> fórmu<strong>la</strong> lógica máss<strong>en</strong>cil<strong>la</strong> que <strong>la</strong> repres<strong>en</strong>ta es “p ∆ q”.Dado que esta fórmu<strong>la</strong> lógica <strong>de</strong>p<strong>en</strong><strong>de</strong> <strong>de</strong> dos variables proposicionales, éstat<strong>en</strong>drá cuatro difer<strong>en</strong>tes combinaciones <strong>de</strong> los posibles valores <strong>de</strong> verdad <strong>de</strong>sus variables proposicionales.p q pV V FV F VF V VF F FqD<strong>el</strong> análisis <strong>de</strong> <strong>la</strong> Tab<strong>la</strong> se <strong>de</strong>duce que una Disyunción Exclusiva seráverda<strong>de</strong>ra si es que solo una <strong>de</strong> <strong>la</strong>s dos Proposiciones que <strong>la</strong> constituy<strong>en</strong> esverda<strong>de</strong>ra (segunda y tercera fi<strong>la</strong> <strong>de</strong> <strong>la</strong> tab<strong>la</strong>).Si analizamos <strong>la</strong>s otras dos posibilida<strong>de</strong>s <strong>de</strong> combinación <strong>de</strong> <strong>la</strong>s variablesproposicionales, se pue<strong>de</strong> inferir que “<strong>en</strong> una Disyunción Exclusiva bastaque <strong>la</strong>s proposiciones que <strong>la</strong> compon<strong>en</strong> tom<strong>en</strong> <strong>el</strong> mismo valor <strong>de</strong> verdad paraque <strong>la</strong> Disyunción Exclusiva sea verda<strong>de</strong>ra”.Por ejemplo: ¿Cuál es <strong>el</strong> valor <strong>de</strong> verdad <strong>de</strong> <strong>la</strong> sigui<strong>en</strong>te Proposición Compuesta?:“O Napoleón fue emperador <strong>de</strong> Francia o murió <strong>en</strong> <strong>la</strong> is<strong>la</strong> <strong>de</strong> Santa El<strong>en</strong>a”.• Como se habrá podido <strong>de</strong>ducir, <strong>la</strong> Proposición Compuesta es unaDisyunción Exclusiva formada por dos Proposiciones Simples:“Napoleón fue emperador <strong>de</strong> Francia”.“Napoleón murió <strong>en</strong> Santa El<strong>en</strong>a”.• Dado que <strong>el</strong> valor <strong>de</strong> verdad <strong>de</strong> <strong>la</strong> primera Proposición es verda<strong>de</strong>ro y <strong>el</strong>valor <strong>de</strong> verdad <strong>de</strong> <strong>la</strong> segunda Proposición es verda<strong>de</strong>ro, <strong>el</strong> valor <strong>de</strong> <strong>la</strong>Disyunción Exclusiva (Proposición Compuesta) es Falso.Napoleón Bonaparte.http://upload.wikimedia.org/wikipedia/commons/thumb/1/11/Napoleon_Bonaparte.jpg/250px-Napoleon_Bonaparte.jpg21s2 fasc6 doc<strong>en</strong>.indd 215/31/07 8:02:48 PM


Serie 2 / DIDÁCTICADE LA MATEMÁTICA • Tab<strong>la</strong> <strong>de</strong> Verdad d<strong>el</strong> Condicional. ( p q )22p q p ⇒ qV V VV F FF V VF F Vp q p qV V VV F FF V FF F VEscudo <strong>de</strong> Arequipa.Recordando que <strong>la</strong> estructura más s<strong>en</strong>cil<strong>la</strong> <strong>de</strong> un Condicional es aqu<strong>el</strong><strong>la</strong> quer<strong>el</strong>aciona dos Proposiciones Simples, <strong>la</strong> fórmu<strong>la</strong> lógica más s<strong>en</strong>cil<strong>la</strong> que <strong>la</strong>repres<strong>en</strong>ta es “p q”.Dado que esta fórmu<strong>la</strong> lógica <strong>de</strong>p<strong>en</strong><strong>de</strong> <strong>de</strong> dos variables proposicionales, éstat<strong>en</strong>drá cuatro difer<strong>en</strong>tes combinaciones <strong>de</strong> los posibles valores <strong>de</strong> verdad <strong>de</strong>sus variables proposicionales.D<strong>el</strong> análisis <strong>de</strong> <strong>la</strong> Tab<strong>la</strong> se <strong>de</strong>duce que un Condicional sólo será falso si esque <strong>el</strong> Anteced<strong>en</strong>te es verda<strong>de</strong>ro y <strong>el</strong> Consecu<strong>en</strong>te es falso (segunda fi<strong>la</strong> d<strong>el</strong>a tab<strong>la</strong>).Si analizamos <strong>la</strong>s otras tres posibilida<strong>de</strong>s <strong>de</strong> combinación <strong>de</strong> <strong>la</strong>s VariablesProposicionales, se pue<strong>de</strong> inferir que “<strong>en</strong> un Condicional basta que <strong>la</strong>proposición que es repres<strong>en</strong>tada por <strong>el</strong> Anteced<strong>en</strong>te sea falsa para que <strong>el</strong>Condicional sea verda<strong>de</strong>ro”.Por ejemplo: ¿Cuál es <strong>el</strong> valor <strong>de</strong> verdad <strong>de</strong> <strong>la</strong> sigui<strong>en</strong>te Proposición Compuesta?“Si Arequipa se <strong>en</strong>cu<strong>en</strong>tra a 3 200 msnm, <strong>en</strong>tonces pert<strong>en</strong>ece a <strong>la</strong> regiónQuechua”.• Como se habrá podido <strong>de</strong>ducir, <strong>la</strong> Proposición Compuesta es unaCondicional formada por dos Proposiciones Simples:“Arequipa se <strong>en</strong>cu<strong>en</strong>tra a 3 200 msnm”. (Anteced<strong>en</strong>te)“Arequipa pert<strong>en</strong>ece a <strong>la</strong> región Quechua”. (Consecu<strong>en</strong>te)• Dado que <strong>el</strong> valor <strong>de</strong> verdad d<strong>el</strong> Anteced<strong>en</strong>te es falso (puesto que Arequipase <strong>en</strong>cu<strong>en</strong>tra a 2 335 msnm.), <strong>el</strong> valor d<strong>el</strong> Condicional (ProposiciónCompuesta) es Verda<strong>de</strong>ro.• Tab<strong>la</strong> <strong>de</strong> Verdad d<strong>el</strong> Bicondicional. ( p q )Recordando que <strong>la</strong> estructura más s<strong>en</strong>cil<strong>la</strong> <strong>de</strong> un Bicondicional es aqu<strong>el</strong><strong>la</strong>que r<strong>el</strong>aciona dos Proposiciones Simples, <strong>la</strong> fórmu<strong>la</strong> lógica más s<strong>en</strong>cil<strong>la</strong> qu<strong>el</strong>a repres<strong>en</strong>ta es “p q”.Dado que esta fórmu<strong>la</strong> lógica <strong>de</strong>p<strong>en</strong><strong>de</strong> <strong>de</strong> dos variables proposicionales, éstat<strong>en</strong>drá cuatro difer<strong>en</strong>tes combinaciones <strong>de</strong> los posibles valores <strong>de</strong> verdad <strong>de</strong>sus variables proposicionales.D<strong>el</strong> análisis <strong>de</strong> <strong>la</strong> Tab<strong>la</strong> se <strong>de</strong>duce que un Bicondicional sólo será falso sies que una <strong>de</strong> <strong>la</strong>s proposiciones que <strong>la</strong> constituy<strong>en</strong> es verda<strong>de</strong>ra y <strong>la</strong> otra esfalsa (segunda y tercera fi<strong>la</strong> <strong>de</strong> <strong>la</strong> tab<strong>la</strong>).Si analizamos <strong>la</strong>s otras dos posibilida<strong>de</strong>s <strong>de</strong> combinación <strong>de</strong> <strong>la</strong>s variablesproposicionales se pue<strong>de</strong> inferir que “<strong>en</strong> un Bicondicional basta que <strong>la</strong>sproposiciones que <strong>la</strong> compon<strong>en</strong> t<strong>en</strong>gan <strong>el</strong> mismo valor <strong>de</strong> verdad para que <strong>el</strong>Bicondicional sea verda<strong>de</strong>ro”.Por ejemplo: ¿cuál es <strong>el</strong> valor <strong>de</strong> verdad <strong>de</strong> <strong>la</strong> sigui<strong>en</strong>te Proposición Compuesta?:“12 es un número compuesto, si y sólo si, ti<strong>en</strong>e cuatro divisores”.• Como se habrá podido <strong>de</strong>ducir, <strong>la</strong> Proposición Compuesta es unBicondicional formado por dos Proposiciones Simples:“12 es un número compuesto”.“12 ti<strong>en</strong>e cuatro divisores”.• Dado que <strong>el</strong> valor <strong>de</strong> verdad <strong>de</strong> una <strong>de</strong> <strong>la</strong>s proposiciones es verda<strong>de</strong>ro y<strong>el</strong> valor <strong>de</strong> verdad <strong>de</strong> <strong>la</strong> otra proposición es falso, <strong>el</strong> valor <strong>de</strong> verdad d<strong>el</strong>Bicondicional es falso.s2 fasc6 doc<strong>en</strong>.indd 225/31/07 8:02:49 PM


2.2. Desarrollo <strong>de</strong> Tab<strong>la</strong>s <strong>de</strong> Verdad <strong>de</strong> Fórmu<strong>la</strong>s LógicasHay que recordar que <strong>en</strong> <strong>la</strong> introducción a <strong>la</strong>s Tab<strong>la</strong>s <strong>de</strong> Verdad <strong>de</strong> losconectores lógicos se realizaron una serie <strong>de</strong> reflexiones, ac<strong>la</strong>raciones yanálisis <strong>en</strong>torno a lo que se <strong>en</strong>ti<strong>en</strong><strong>de</strong> por Tab<strong>la</strong>s <strong>de</strong> Verdad. Sería recom<strong>en</strong>dablerevisarlo antes <strong>de</strong> iniciar este tema.En todos los textos <strong>en</strong> los que se incluye <strong>el</strong> <strong>de</strong>sarrollo <strong>de</strong> <strong>la</strong>s Tab<strong>la</strong>s <strong>de</strong> Verdadse <strong>en</strong>contrará una serie <strong>de</strong> pasos y recom<strong>en</strong>daciones que se <strong>de</strong>be tomar <strong>en</strong><strong>el</strong> proceso <strong>de</strong> evaluación <strong>de</strong> una fórmu<strong>la</strong> lógica por medio d<strong>el</strong> análisis <strong>de</strong> suTab<strong>la</strong> <strong>de</strong> Verdad.Todos estos pued<strong>en</strong> sintetizarse <strong>en</strong> tres <strong>aspectos</strong> que hay que t<strong>en</strong>er <strong>en</strong>cu<strong>en</strong>ta:I. La cantidad <strong>de</strong> fi<strong>la</strong>s <strong>de</strong> <strong>la</strong> tab<strong>la</strong> <strong>de</strong> verdad <strong>de</strong>p<strong>en</strong><strong>de</strong>rá <strong>de</strong> <strong>la</strong> cantidad <strong>de</strong>variables proposicionales que ésta posea. Hay que t<strong>en</strong>er <strong>en</strong> cu<strong>en</strong>ta <strong>el</strong>principio <strong>de</strong> multiplicidad :Así t<strong>en</strong>dremos que:• 2 Variables Proposicionales : 2 2 = 4 fi<strong>la</strong>s• 3 Variables Proposicionales : 2 3 = 8 fi<strong>la</strong>s• 4 Variables Proposicionales : 2 4 = 16 fi<strong>la</strong>sDe manera g<strong>en</strong>eral, po<strong>de</strong>mos <strong>de</strong>terminar <strong>el</strong> número <strong>de</strong> fi<strong>la</strong>s <strong>de</strong> <strong>la</strong>sigui<strong>en</strong>te manera:Don<strong>de</strong> n repres<strong>en</strong>ta <strong>el</strong> número <strong>de</strong> variables proposicionales <strong>de</strong> <strong>la</strong> fórmu<strong>la</strong>lógica.Como se m<strong>en</strong>cionó anteriorm<strong>en</strong>te, hay que t<strong>en</strong>er <strong>en</strong> cu<strong>en</strong>ta que cada fi<strong>la</strong><strong>de</strong> <strong>la</strong> Tab<strong>la</strong> <strong>de</strong> Verdad repres<strong>en</strong>ta una <strong>de</strong> <strong>la</strong>s combinaciones <strong>de</strong> los posiblesvalores <strong>de</strong> verdad <strong>de</strong> <strong>la</strong>s variables proposicionales <strong>de</strong> <strong>la</strong> fórmu<strong>la</strong> lógica.II. En <strong>la</strong> estructura <strong>de</strong> <strong>la</strong> Tab<strong>la</strong> <strong>de</strong> Verdad, <strong>la</strong>s variables proposicionales d<strong>el</strong>a fórmu<strong>la</strong> lógica se ord<strong>en</strong>an alfabéticam<strong>en</strong>te, <strong>de</strong> tal manera que para <strong>la</strong>primera variable proposicional <strong>la</strong> primera mitad <strong>de</strong> fi<strong>la</strong>s t<strong>en</strong>ga valoresverda<strong>de</strong>ros y <strong>la</strong> segunda mitad <strong>de</strong> fi<strong>la</strong>s t<strong>en</strong>ga valores falsos; para <strong>la</strong>segunda Variable Proposicional <strong>la</strong> primera cuarta parte <strong>de</strong> fi<strong>la</strong>s t<strong>en</strong>gavalores verda<strong>de</strong>ros, <strong>la</strong> segunda cuarta parte <strong>de</strong> fi<strong>la</strong>s t<strong>en</strong>ga valores falsos,<strong>la</strong> tercera cuarta parte <strong>de</strong> fi<strong>la</strong>s t<strong>en</strong>ga nuevam<strong>en</strong>te valores verda<strong>de</strong>rosy <strong>la</strong> última cuarta parte <strong>de</strong> fi<strong>la</strong>s vu<strong>el</strong>va a t<strong>en</strong>er valores falsos; esteord<strong>en</strong>ami<strong>en</strong>to continuará hasta que para <strong>la</strong> última variable proposicionalse alterne un valor verda<strong>de</strong>ro y uno falso.III. La jerarquía <strong>de</strong> los conectores lógicos, ya que <strong>el</strong> resultado <strong>de</strong> <strong>la</strong>evaluación <strong>de</strong> <strong>la</strong> fórmu<strong>la</strong> lógica por medio d<strong>el</strong> análisis <strong>de</strong> <strong>la</strong> Tab<strong>la</strong> <strong>de</strong>Verdad <strong>de</strong>p<strong>en</strong><strong>de</strong>rá <strong>de</strong> cuál sea <strong>el</strong> conector <strong>de</strong> mayor jerarquía.Ejemplo: Desarrol<strong>la</strong>r <strong>la</strong> Tab<strong>la</strong> <strong>de</strong> Verdad <strong>de</strong> <strong>la</strong> sigui<strong>en</strong>te fórmu<strong>la</strong> lógica:~ ( p v ~ q ) rp q rV V VV V FV F VV F FF V VF V FF F VF F FNO ESCRIBIRp q rV V VV V FV F VV F FF V VF V FF F VF F FFascículo 6 / ASPECTOSMETODOLÓGICOS ENEL APRENDIZAJE DE LALÓGICA MATEMÁTICAEN SECUNDARIARecuerdaLos signos <strong>de</strong> agrupación(paréntesis, corchetes, l<strong>la</strong>ves)son usados para indicar <strong>la</strong>jerarquía y evitar ambigüeda<strong>de</strong>s<strong>en</strong> esquemas lógicos máscomplejos.RecuerdaTambién po<strong>de</strong>mos utilizar <strong>el</strong>sigui<strong>en</strong>te esquema:(∼ p ⇒ r) ⇒ (r ∨ q)FVFFcomo ∼ p es falsa, p esverda<strong>de</strong>ra.FFF23s2 fasc6 doc<strong>en</strong>.indd 235/31/07 8:02:49 PM


Serie 2 / DIDÁCTICADE LA MATEMÁTICA• Dado que <strong>la</strong> fórmu<strong>la</strong> lógica ti<strong>en</strong>e 3 variables proposicionales, <strong>la</strong> Tab<strong>la</strong> <strong>de</strong>Verdad ti<strong>en</strong>e 8 fi<strong>la</strong>s: 2 3 = 8• El conector <strong>de</strong> mayor jerarquía es <strong>el</strong> Condicional, <strong>el</strong> cual divi<strong>de</strong> a <strong>la</strong>fórmu<strong>la</strong> lógica <strong>en</strong> dos partes, cada una <strong>de</strong> <strong>el</strong><strong>la</strong>s con un conector lógico <strong>de</strong>segunda importancia.• Por lo tanto, <strong>el</strong> resultado y <strong>la</strong> interpretación <strong>de</strong> éste <strong>de</strong>p<strong>en</strong><strong>de</strong>rá d<strong>el</strong> resultadod<strong>el</strong> Condicional.2.3 Tautologías, Contradicciones y Conting<strong>en</strong>ciasSegún <strong>el</strong> resultado obt<strong>en</strong>ido al evaluar una fórmu<strong>la</strong> lógica por medio d<strong>el</strong>análisis <strong>de</strong> Tab<strong>la</strong>s <strong>de</strong> Verdad, esta fórmu<strong>la</strong> lógica podrá c<strong>la</strong>sificarse comouna Tautología, una Contradicción o una Conting<strong>en</strong>cia.24p pes una Tautologíap pes una Contradicciónp qes una Conting<strong>en</strong>ciaI. TautologíaSon aqu<strong>el</strong><strong>la</strong>s fórmu<strong>la</strong>s lógicas que se caracterizan porque al <strong>de</strong>sarrol<strong>la</strong>r suTab<strong>la</strong> <strong>de</strong> Verdad todos los valores obt<strong>en</strong>idos para <strong>el</strong> conector lógico <strong>de</strong> mayorjerarquía son verda<strong>de</strong>ros; es <strong>de</strong>cir, <strong>en</strong> una Tautología <strong>el</strong> valor <strong>de</strong> verdad quetome <strong>la</strong> fórmu<strong>la</strong> lógica no <strong>de</strong>p<strong>en</strong><strong>de</strong> <strong>de</strong> los valores <strong>de</strong> verdad que tom<strong>en</strong> susvariables proposicionales.Esto significa que no importa cuáles sean los valores <strong>de</strong> verdad que tom<strong>en</strong><strong>la</strong>s variables proposicionales, <strong>el</strong> valor <strong>de</strong> verdad <strong>de</strong> <strong>la</strong> fórmu<strong>la</strong> lógica siempreserá verda<strong>de</strong>ro. Es por esta razón que <strong>la</strong>s Tautologías son consi<strong>de</strong>radas comoverda<strong>de</strong>s absolutas.Ejemplo: (p q) (~ p v q) es una TautologíaII. ContradicciónSon aqu<strong>el</strong><strong>la</strong>s fórmu<strong>la</strong>s lógicas que se caracterizan porque al <strong>de</strong>sarrol<strong>la</strong>r suTab<strong>la</strong> <strong>de</strong> Verdad todos los valores obt<strong>en</strong>idos para <strong>el</strong> conector lógico <strong>de</strong> mayorjerarquía son falsos; es <strong>de</strong>cir, <strong>en</strong> una Contradicción <strong>el</strong> valor <strong>de</strong> verdad quetome <strong>la</strong> fórmu<strong>la</strong> lógica no <strong>de</strong>p<strong>en</strong><strong>de</strong> <strong>de</strong> los valores <strong>de</strong> verdad que tom<strong>en</strong> susvariables proposicionales.Esto significa que no importa cuáles sean los valores <strong>de</strong> verdad que tom<strong>en</strong> <strong>la</strong>svariables proposicionales, <strong>el</strong> valor <strong>de</strong> verdad <strong>de</strong> <strong>la</strong> fórmu<strong>la</strong> lógica siempreserá falso. Es por esta razón que <strong>la</strong>s Contradicciones son consi<strong>de</strong>radas comoverda<strong>de</strong>s absolutas.Ejemplo: (q ∧ ~ p) (q p) es una ContradicciónIII. Conting<strong>en</strong>ciaSon aqu<strong>el</strong><strong>la</strong>s fórmu<strong>la</strong>s lógicas que se caracterizan porque al <strong>de</strong>sarrol<strong>la</strong>r suTab<strong>la</strong> <strong>de</strong> Verdad los valores que se obti<strong>en</strong><strong>en</strong> para <strong>el</strong> conector lógico <strong>de</strong> mayorjerarquía son algunos verda<strong>de</strong>ros y otros falsos. Es <strong>de</strong>cir, <strong>en</strong> una Conting<strong>en</strong>cia<strong>el</strong> valor <strong>de</strong> verdad que tome <strong>la</strong> fórmu<strong>la</strong> lógica sí <strong>de</strong>p<strong>en</strong><strong>de</strong>rá <strong>de</strong> los valores <strong>de</strong>verdad que tom<strong>en</strong> sus variables proposicionales.Esto significa que sí importa cuáles son los valores <strong>de</strong> verdad que tom<strong>en</strong><strong>la</strong>s variables proposicionales, ya que para ciertas combinaciones <strong>de</strong> éstos <strong>la</strong>fórmu<strong>la</strong> lógica será verda<strong>de</strong>ra y para otras combinaciones será falsa.Ejemplo: (p ∆ ~ q) v ~ (~ p q) es una Conting<strong>en</strong>cia.Zs2 fasc6 doc<strong>en</strong>.indd 246/1/07 12:49:52 PM


Actividad 2Fascículo 6 / ASPECTOSMETODOLÓGICOS ENEL APRENDIZAJE DE LALÓGICA MATEMÁTICAEN SECUNDARIAId<strong>en</strong>tifica los procesos d<strong>el</strong> apr<strong>en</strong>dizaje y los métodos <strong>de</strong> <strong>en</strong>señanza <strong>de</strong> <strong>la</strong>s Tab<strong>la</strong>s <strong>de</strong> Verdad a través<strong>de</strong> <strong>la</strong> lectura, análisis e interpretación <strong>de</strong> <strong>la</strong> información proporcionada, mostrando confianza <strong>en</strong> suscapacida<strong>de</strong>s.1. Investiga acerca <strong>de</strong> <strong>la</strong> r<strong>el</strong>ación que existe <strong>en</strong>tre <strong>la</strong> Lógica Proposicional y <strong>la</strong> Teoría <strong>de</strong> Conjuntos.E<strong>la</strong>bora una tab<strong>la</strong> que muestre esta r<strong>el</strong>ación y preséntas<strong>el</strong>a a tus alumnos.- http://wmatem.eis.uva.es/~matpag/CONTENIDOS/Conjuntos/conjuntos.htm- http://www.ldc.usb.ve/~meza/ci-2615/cap2.pdf2. Determina <strong>la</strong> fórmu<strong>la</strong> lógica <strong>de</strong> cada una <strong>de</strong> <strong>la</strong>s sigui<strong>en</strong>tes proposiciones compuestas y <strong>en</strong>cu<strong>en</strong>trasu valor <strong>de</strong> verdad.a. Si 2 no es un número primo, <strong>en</strong>tonces 9 ti<strong>en</strong>e tres divisores.b. No es cierto que <strong>el</strong> leopardo es un f<strong>el</strong>ino o <strong>el</strong> lobo es un equino.c. No es cierto que Europa es <strong>el</strong> contin<strong>en</strong>te más ext<strong>en</strong>so y Oceanía no es <strong>el</strong> contin<strong>en</strong>te máspob<strong>la</strong>do.d. O <strong>la</strong> Tierra no es <strong>el</strong> segundo p<strong>la</strong>neta más cercano al Sol, o Marte ti<strong>en</strong>e dos satélites.3. Desarrol<strong>la</strong> <strong>la</strong> Tab<strong>la</strong> <strong>de</strong> Verdad <strong>de</strong> cada una <strong>de</strong> <strong>la</strong>s sigui<strong>en</strong>tes fórmu<strong>la</strong>s lógicas y <strong>de</strong>termina si éstasson tautologías, contradicciones o conting<strong>en</strong>cias.a. ~ ( ~ p q ) ( p ~ q )b. ( p ~ r ) ~ ( q ~ p )c. [ ~ ( p ~ q ) q ] ~ ( q ~ p )d. [ ~ ( p ~ q ) ( ~ r ~ p ) ] ~ ( r ~ p )4. En cada una <strong>de</strong> <strong>la</strong>s sigui<strong>en</strong>tes fórmu<strong>la</strong>s lógicas, <strong>de</strong>termina <strong>el</strong> valor <strong>de</strong> verdad <strong>de</strong> <strong>la</strong>s variablesproposicionales que <strong>la</strong> compon<strong>en</strong> si se sabe que:a. p ( q r ) es falsab. ~ ( r ~ p ) q es falsac. ~ q ( p q ) es verda<strong>de</strong>ra5. Sabi<strong>en</strong>do que ~ ( r q ) ~ p es falsa. Determina <strong>el</strong> valor <strong>de</strong> verdad <strong>de</strong>:a. ( ~ q p ) ~ ( ~ p q )b. ( r p ) ( ~ q ~ r )c. [ ( w r ) ( ~ q t ) ] ~ q6. Sabi<strong>en</strong>do que p q es falsa y que ~ r s es falsa. Determina <strong>el</strong> valor <strong>de</strong> verdad <strong>de</strong>:a. ( ~ p q ) ( r s )b. ( p q ) ( ~ r p )c. [ ( r p ) s ] w25Zs2 fasc6 doc<strong>en</strong>.indd 256/1/07 12:50:00 PM


Serie 2 / DIDÁCTICADE LA MATEMÁTICA3. JUEGOS <strong>en</strong> <strong>la</strong>ENSEÑANZA<strong>de</strong> <strong>la</strong> LÓGICAEl juego es una actividad natural <strong>en</strong> <strong>el</strong> ser humano, socializa y prepara a <strong>la</strong>spersonas <strong>en</strong> <strong>la</strong> competitividad, <strong>la</strong> asertividad y <strong>la</strong> tolerancia a <strong>la</strong> frustración,don<strong>de</strong> se apr<strong>en</strong><strong>de</strong> a ganar con humildad y per<strong>de</strong>r con dignidad. Las dosactivida<strong>de</strong>s que pres<strong>en</strong>taremos a continuación están basadas <strong>en</strong> <strong>el</strong> conocidopasatiempo <strong>de</strong> “Sopa <strong>de</strong> Letras” y <strong>el</strong> juego <strong>de</strong> mesa “Naipes o Cartas”. Estosjuegos clásicos pued<strong>en</strong> readaptarse y ser utilizados <strong>en</strong> c<strong>la</strong>se <strong>de</strong> Matemática.Según <strong>la</strong> c<strong>la</strong>sificación utilizada por <strong>el</strong> doc<strong>en</strong>te Fernando Corbalán, estos juegospert<strong>en</strong>ecerían a los “juegos <strong>de</strong> procedimi<strong>en</strong>to conocido con modificaciones”,pues sus reg<strong>la</strong>s g<strong>en</strong>erales son conocidas por los estudiantes fuera d<strong>el</strong> ámbitoesco<strong>la</strong>r.3.1 Sopa <strong>de</strong> ProposicionesEste juego está diseñado para que particip<strong>en</strong> <strong>de</strong>s<strong>de</strong> uno hasta cuatro jugadores, y cada grupo <strong>de</strong>be t<strong>en</strong>erun tablero y dieciséis tarjetas con fórmu<strong>la</strong>s proposicionales como <strong>la</strong>s que vi<strong>en</strong><strong>en</strong> a continuación, a<strong>de</strong>más<strong>de</strong> hojas cuadricu<strong>la</strong>das, lápiz o <strong>la</strong>picero, y granos secos (pued<strong>en</strong> ser botones o chapitas).Tablero:Si:p = Verda<strong>de</strong>roq = Falsor = Verda<strong>de</strong>roSi:p = Verda<strong>de</strong>roq = Falsor = FalsoSi:p = Verda<strong>de</strong>roq = Falsor = FalsoSi:p = Verda<strong>de</strong>roq = Falsor = Verda<strong>de</strong>roSi:p = Verda<strong>de</strong>roq = Verda<strong>de</strong>ror = FalsoSi:p = Verda<strong>de</strong>roq = Verda<strong>de</strong>ror = Verda<strong>de</strong>roSi:p = Verda<strong>de</strong>roq = Verda<strong>de</strong>ror = FalsoSi:p = Verda<strong>de</strong>roq = Verda<strong>de</strong>ror = Verda<strong>de</strong>roSi:p = Falsoq = Falsor = Verda<strong>de</strong>roSi:p = Falsoq = Falsor = FalsoSi:p = Falsoq = Falsor = FalsoSi:p = Falsoq = Falsor = Verda<strong>de</strong>roSi:p = Falsoq = Verda<strong>de</strong>ror = FalsoSi:p = Falsoq = Verda<strong>de</strong>ror = Verda<strong>de</strong>roSi:p = Falsoq = Verda<strong>de</strong>ror = FalsoSi:p = Falsoq = Verda<strong>de</strong>ror = Verda<strong>de</strong>roSi:p = Verda<strong>de</strong>roq = Falsor = Verda<strong>de</strong>roSi:p = Verda<strong>de</strong>roq = Falsor = FalsoSi:p = Verda<strong>de</strong>roq = Falsor = Verda<strong>de</strong>roSi:p = Verda<strong>de</strong>roq = Falsor = Verda<strong>de</strong>ro26s2 fasc6 doc<strong>en</strong>.indd 265/31/07 8:02:50 PM


Tarjetas:1 2 3 4p qes falsap res verda<strong>de</strong>ra~ r ~ pes falsa~ res verda<strong>de</strong>ra5 6 7 8p qes falsap res verda<strong>de</strong>ra~ r pes falsar ~ qes verda<strong>de</strong>ra9 10 11 12~ p (q r)es falsa~ p (q r)es verda<strong>de</strong>ra(r ~ p) qes falsa~ (r p) qes verda<strong>de</strong>ra13 14 15 16p (q r )es falsap (q r)es verda<strong>de</strong>ra~ (r ~ p) qes falsa(r p) qes verda<strong>de</strong>raReg<strong>la</strong>s d<strong>el</strong> juego:1. Se barajan <strong>la</strong>s 16 tarjetas y se colocan boca abajo sobre <strong>la</strong> mesa, y cada jugador, porturno, <strong>el</strong>ige una tarjeta hasta repartir <strong>el</strong> total <strong>de</strong> tarjetas. Los granos secos, botones ochapitas (que ti<strong>en</strong><strong>en</strong> que ser también 16) se distribuy<strong>en</strong> <strong>en</strong> partes iguales a cada jugador,y servirán para marcar <strong>en</strong> <strong>el</strong> tablero su respuesta correcta. La hoja cuadricu<strong>la</strong>da es unapara cada uno.2. Para cada una <strong>de</strong> <strong>la</strong>s fórmu<strong>la</strong>s lógicas pres<strong>en</strong>tadas <strong>en</strong> cada tarjeta los jugadores <strong>de</strong>b<strong>en</strong><strong>de</strong>terminar <strong>el</strong> valor <strong>de</strong> verdad <strong>de</strong> <strong>la</strong>s variables proposicionales que <strong>la</strong> compon<strong>en</strong>,escribi<strong>en</strong>do su procedimi<strong>en</strong>to <strong>en</strong> <strong>la</strong> hoja cuadricu<strong>la</strong>da que se le <strong>en</strong>tregó. Luego,buscan <strong>en</strong> <strong>la</strong> sopa <strong>de</strong> proposiciones que aparece <strong>en</strong> <strong>el</strong> tablero los valores <strong>de</strong> verdadque correspon<strong>de</strong> a cada proposición y los marcan.3. Gana <strong>el</strong> jugador que consigue marcar primero los valores <strong>de</strong> verdad <strong>de</strong> <strong>la</strong>s variablesproposicionales, <strong>en</strong> un tiempo fijado <strong>de</strong> antemano. Si nadie lo ha conseguido, seráganador <strong>el</strong> que más valores <strong>de</strong> verdad correctos haya <strong>de</strong>terminado.El objetivo que pret<strong>en</strong><strong>de</strong>mos con este juego es:Determinar los valores <strong>de</strong> verdad <strong>de</strong> <strong>la</strong>s proposiciones que compon<strong>en</strong> una fórmu<strong>la</strong>proposicional dado <strong>el</strong> valor <strong>de</strong> verdad <strong>de</strong> ésta última, a partir <strong>de</strong> su tab<strong>la</strong> <strong>de</strong> verdad.En esta adaptación <strong>de</strong> <strong>la</strong> “Sopa <strong>de</strong> Letras”, proponemos que los alumnos trabaj<strong>en</strong> <strong>la</strong>sTab<strong>la</strong>s <strong>de</strong> Verdad por lo que <strong>la</strong>s pa<strong>la</strong>bras se sustituy<strong>en</strong> por fórmu<strong>la</strong>s lógicas y <strong>la</strong>s letras d<strong>el</strong>a sopa por variables proposicionales con valores <strong>de</strong> verdad.La pres<strong>en</strong>tación <strong>de</strong> esta actividad permite modificaciones. Así, <strong>la</strong>s fórmu<strong>la</strong>s lógicas queaparec<strong>en</strong> <strong>en</strong> <strong>la</strong>s tarjetas pued<strong>en</strong> t<strong>en</strong>er uno o más conectores lógicos.La dinámica d<strong>el</strong> juego también pue<strong>de</strong> cambiarse, modificando <strong>la</strong>s reg<strong>la</strong>s <strong>de</strong> juego quepodrían ser <strong>la</strong>s sigui<strong>en</strong>tes:27s2 fasc6 doc<strong>en</strong>.indd 275/31/07 8:02:50 PM


1. Las tarjetas se barajan y se colocan boca abajo sobre <strong>la</strong> mesa.2. El jugador que ti<strong>en</strong>e <strong>el</strong> turno toma una tarjeta y <strong>de</strong>termina los valores <strong>de</strong> verdad d<strong>el</strong>as variables proposicionales <strong>de</strong> manera correcta, señalándolos <strong>en</strong> <strong>la</strong> sopa. Si lo hacecorrectam<strong>en</strong>te, se anota un punto y pasa <strong>el</strong> turno al sigui<strong>en</strong>te jugador y <strong>la</strong> tarjetautilizada es <strong>el</strong>iminada d<strong>el</strong> juego.3. Si <strong>el</strong> jugador no <strong>de</strong>termina correctam<strong>en</strong>te los valores <strong>de</strong> verdad, pier<strong>de</strong> su turno y nose anota ningún punto. El jugador sigui<strong>en</strong>te ti<strong>en</strong>e <strong>la</strong> oportunidad <strong>de</strong> <strong>de</strong>terminar losvalores <strong>de</strong> verdad ganando un punto extra por rebote. En caso <strong>de</strong> no hacerlo pasaríaal sigui<strong>en</strong>te.4. Si <strong>el</strong> jugador que le toca se equivoca y algún contrincante lo <strong>de</strong>scubre, <strong>el</strong> jugadorpier<strong>de</strong> su turno y <strong>el</strong> contrario se anota un punto por haber <strong>de</strong>terminado correctam<strong>en</strong>t<strong>el</strong>os valores <strong>de</strong> verdad.5. La partida acaba <strong>de</strong>spués <strong>de</strong> haber dado cuatro rondas, pasando por todos losjugadores. Gana qui<strong>en</strong> t<strong>en</strong>ga más puntuación.También podría jugarse sin tarjetas, so<strong>la</strong>m<strong>en</strong>te utilizando <strong>el</strong> tablero. Jugarían dos estudiantesy cada uno <strong>de</strong> <strong>el</strong>los con <strong>el</strong> tablero por d<strong>el</strong>ante, construiría cuatro fórmu<strong>la</strong>s proposicionalesy les daría un valor <strong>de</strong> verdad a partir <strong>de</strong> los valores <strong>de</strong> verdad <strong>de</strong> <strong>la</strong>s proposiciones <strong>de</strong>4 casilleros que <strong>el</strong>ijan <strong>de</strong> <strong>la</strong> sopa. Después, los jugadores se intercambian <strong>la</strong>s fórmu<strong>la</strong>sproposicionales para <strong>de</strong>terminar los valores <strong>de</strong> verdad <strong>de</strong> <strong>la</strong>s variables proposicionalesque <strong>la</strong>s compon<strong>en</strong> y seña<strong>la</strong>rlos <strong>en</strong> <strong>la</strong> sopa <strong>de</strong> proposiciones. El primero que <strong>de</strong>termine losvalores <strong>de</strong> verdad <strong>de</strong> <strong>la</strong>s proposiciones <strong>de</strong> manera correcta, gana <strong>la</strong> partida.3.2 Cartas LógicasEste juego está diseñado para que particip<strong>en</strong> dos jugadores y cada uno <strong>de</strong>be t<strong>en</strong>er 16tarjetas con fórmu<strong>la</strong>s proposicionales como <strong>la</strong>s que vi<strong>en</strong><strong>en</strong> a continuación, a<strong>de</strong>más <strong>de</strong>hojas cuadricu<strong>la</strong>das, lápiz o <strong>la</strong>picero.Cartas1 2 3 4p qp ∨ r~ r ∧ ~ pp = Verda<strong>de</strong>roq = Verda<strong>de</strong>rop = Verda<strong>de</strong>ror = Falsop = Falsor = Verda<strong>de</strong>ro~ r ∧ qq = Verda<strong>de</strong>ror = Verda<strong>de</strong>ro5 6 7 8Verda<strong>de</strong>ro Falso Verda<strong>de</strong>ro Falso9 10 11 12p (q ∨ r)~ p (q ∧ r)(r ∧ ~ p) ∨ qp = Verda<strong>de</strong>roq = Verda<strong>de</strong>ror = Verda<strong>de</strong>rop =Verda<strong>de</strong>roq = Falsor = Verda<strong>de</strong>rop = Verda<strong>de</strong>roq = Falsor = Falso~ (q p) ⇒ rp = Falsoq = Verda<strong>de</strong>ror = Falso13 14 15 16Verda<strong>de</strong>ro Falso Verda<strong>de</strong>ro Falso28s2 fasc6 doc<strong>en</strong>.indd 285/31/07 8:02:51 PM


Reg<strong>la</strong>s d<strong>el</strong> juego:1. Se baraja <strong>la</strong>s 16 cartas y se colocan boca abajo sobre <strong>la</strong> mesa y cadajugador, por turno, <strong>el</strong>ige una carta hasta repartir<strong>la</strong>s todas.2. El jugador que esté <strong>de</strong> turno <strong>la</strong>nza <strong>la</strong> primera carta a <strong>la</strong> mesa.3. Si <strong>la</strong> carta sobre <strong>la</strong> mesa es una fórmu<strong>la</strong> lógica, <strong>el</strong> sigui<strong>en</strong>te jugador<strong>la</strong>nza una carta que t<strong>en</strong>ga su valor <strong>de</strong> verdad. Si <strong>la</strong> carta ti<strong>en</strong>e un valor<strong>de</strong> verdad, <strong>la</strong>nzará una carta que t<strong>en</strong>ga una fórmu<strong>la</strong> lógica con <strong>el</strong> mismovalor <strong>de</strong> verdad <strong>de</strong> <strong>la</strong> carta sobre <strong>la</strong> mesa.4. Si <strong>el</strong> jugador no pue<strong>de</strong> bajar ninguna carta, ce<strong>de</strong> <strong>el</strong> turno al sigui<strong>en</strong>tejugador.5. Gana <strong>el</strong> jugador que consigue bajar primero todas sus cartas a <strong>la</strong> mesa.Fascículo 6 / ASPECTOSMETODOLÓGICOS ENEL APRENDIZAJE DE LALÓGICA MATEMÁTICAEN SECUNDARIAEl objetivo que pret<strong>en</strong><strong>de</strong>mos con este juego es:Determinar <strong>el</strong> valor <strong>de</strong> verdad <strong>de</strong> una fórmu<strong>la</strong> lógica, dados los valores <strong>de</strong>verdad <strong>de</strong> <strong>la</strong>s proposiciones que <strong>la</strong> compon<strong>en</strong>.Actividad 3Investiga y sugiere activida<strong>de</strong>s que permitan a tus estudiantes compr<strong>en</strong><strong>de</strong>r, interpretar y aplicarlos conceptos, <strong>de</strong>finiciones y propieda<strong>de</strong>s <strong>de</strong> <strong>la</strong> Lógica Proposicional, a través d<strong>el</strong> análisis <strong>de</strong> <strong>la</strong>sactivida<strong>de</strong>s y materiales pres<strong>en</strong>tados, manifestando creatividad y confianza <strong>en</strong> tus habilida<strong>de</strong>s.1. E<strong>la</strong>bora una “Sopa <strong>de</strong> Proposiciones” y un juego <strong>de</strong> “Cartas Lógicas” (20 cartas) sigui<strong>en</strong>do losmod<strong>el</strong>os pres<strong>en</strong>tados, pero realizando algunas variaciones. Pue<strong>de</strong>s reunirte con otros doc<strong>en</strong>tes ycompartir tus trabajos, <strong>de</strong> esta manera se <strong>en</strong>riquecerán unos con otros y todos saldrán b<strong>en</strong>eficiados.Es conv<strong>en</strong>i<strong>en</strong>te confeccionar <strong>el</strong> tablero y <strong>la</strong>s tarjetas <strong>en</strong> material dura<strong>de</strong>ro (pue<strong>de</strong> ser cartón d<strong>el</strong>gado)y forrarlos para que se conserv<strong>en</strong> <strong>en</strong> bu<strong>en</strong> estado, así obt<strong>en</strong>drán un material que puedan usar durantevarios años.2. Reúnete con tus colegas <strong>de</strong> área y distribúyanse una dirección <strong>el</strong>ectrónica cada uno para investigarsobre “La píldora d<strong>el</strong> día sigui<strong>en</strong>te”:La “Anticoncepción <strong>de</strong> Emerg<strong>en</strong>cia”: Nuevo Engaño d<strong>el</strong> Movimi<strong>en</strong>to Antividahttp://www.acipr<strong>en</strong>sa.com/vida/emerg<strong>en</strong>cia.htmLa “píldora d<strong>el</strong> día sigui<strong>en</strong>te” (AOE)http://www.terra.com.pe/r<strong>el</strong>igion/pildorads.shtmlLa píldora d<strong>el</strong> día sigui<strong>en</strong>te “nueva am<strong>en</strong>aza” contra <strong>la</strong> vidahttp://www.u<strong>de</strong>p.edu.pe/publicaciones/<strong>de</strong>sd<strong>el</strong>campus/art1122.htmlLa “píldora d<strong>el</strong> día sigui<strong>en</strong>te”: Marxismo, píldora y “revolución sexual”http://www.reconquistaperu.org/modules/sections/articulo-26.htmlCada integrante d<strong>el</strong> equipo <strong>de</strong>be redactar un resum<strong>en</strong> con <strong>la</strong>s i<strong>de</strong>as más importantes tratadas <strong>en</strong> <strong>la</strong>dirección <strong>el</strong>ectrónica que visitó.Luego reúnanse para compartir sus opiniones al respecto <strong>de</strong> este tema.E<strong>la</strong>bor<strong>en</strong> 10 proposiciones compuestas referidas a este tema que puedan pres<strong>en</strong>tarse a los alumnospara que <strong>de</strong>termin<strong>en</strong> su fórmu<strong>la</strong> lógica así como su valor <strong>de</strong> verdad. Finalm<strong>en</strong>te pued<strong>en</strong> recom<strong>en</strong>dara los estudiantes que visit<strong>en</strong> estas direcciones.29s2 fasc6 doc<strong>en</strong>.indd 295/31/07 8:02:52 PM


4. EVALUACIÓNLee at<strong>en</strong>tam<strong>en</strong>te y luego <strong>de</strong> analizar cada interrogante o actividad da solución a los <strong>aspectos</strong> queasí lo requieran.1. Fundam<strong>en</strong>ta <strong>la</strong>s razones <strong>de</strong> una educación <strong>en</strong> Lógica proposicional e indica a qué edadconsi<strong>de</strong>ras que ésta <strong>de</strong>be iniciarse y explica por qué.2. ¿Cuáles consi<strong>de</strong>ras que <strong>de</strong>b<strong>en</strong> ser los procedimi<strong>en</strong>tos <strong>de</strong> una educación <strong>en</strong> Lógica matemática?¿Por qué?3. P<strong>la</strong>ntea una situación problema que te lleve a ti y a los estudiantes a <strong>de</strong>sarrol<strong>la</strong>r los cont<strong>en</strong>idosd<strong>el</strong> tema <strong>de</strong> lógica proporcional. Desarrol<strong>la</strong> <strong>la</strong> experi<strong>en</strong>cia o sesión <strong>de</strong> apr<strong>en</strong>dizaje.4. E<strong>la</strong>bora activida<strong>de</strong>s <strong>en</strong> <strong>la</strong> que tus estudiantes se involucr<strong>en</strong> al <strong>de</strong>sarrol<strong>la</strong>r conceptos <strong>de</strong> Lógicaproposicional.5. Crea un juego <strong>en</strong> <strong>el</strong> que tus estudiantes puedan aplicar algunos <strong>de</strong> los conceptos <strong>de</strong> Lógicaproposicional, <strong>de</strong>sarrol<strong>la</strong>dos <strong>en</strong> c<strong>la</strong>se.Proyecto <strong>de</strong> investigación:¿Qué r<strong>el</strong>ación existe <strong>en</strong>tre <strong>el</strong> Álgebra <strong>de</strong> Boole y <strong>la</strong> Lógica Proposicional?A continuación, te brindamos algunas direcciones que pue<strong>de</strong>s tomar como base para esteproyecto:- http://es.wikipedia.org/wiki/%C3%81lgebra_<strong>de</strong>_Boole- http://w3.mor.itesm.mx/~logica/log9808/cmodulo2.html- http://www.monografi as.com/trabajos/iartifi cial/pagina4_11.htmTambién te damos algunas recom<strong>en</strong>daciones que pued<strong>en</strong> servirte para estructurar estainvestigación.1. Es necesario que conozcas los conceptos, <strong>de</strong>finiciones y propieda<strong>de</strong>s r<strong>el</strong>acionados con:• Fórmu<strong>la</strong>s Lógicas Equival<strong>en</strong>tes.• Leyes d<strong>el</strong> Álgebra Proposicional.• Proposiciones Lógicas Equival<strong>en</strong>tes.2. Se <strong>de</strong>be formalizar un proceso mediante <strong>el</strong> cual se puedan utilizar <strong>la</strong>s leyes d<strong>el</strong> ÁlgebraProposicional como un medio que permita g<strong>en</strong>erar proposiciones equival<strong>en</strong>tes.30s2 fasc6 doc<strong>en</strong>.indd 305/31/07 8:02:52 PM


5. METACOGNICIÓNMetacognición es <strong>la</strong> habilidad <strong>de</strong> p<strong>en</strong>sar sobre <strong>el</strong> discurso d<strong>el</strong> propio p<strong>en</strong>sami<strong>en</strong>to, es <strong>de</strong>cir,sirve para darnos cu<strong>en</strong>ta cómo apr<strong>en</strong><strong>de</strong>mos cuando apr<strong>en</strong><strong>de</strong>mos.Respon<strong>de</strong> <strong>en</strong> una hoja aparte:1. ¿De qué manera te organizaste para leer <strong>el</strong> fascículo y <strong>de</strong>sarrol<strong>la</strong>r <strong>la</strong>s activida<strong>de</strong>spropuestas?2. ¿Te fue fácil compr<strong>en</strong><strong>de</strong>r <strong>el</strong> <strong>en</strong>unciado <strong>de</strong> <strong>la</strong>s activida<strong>de</strong>s? ¿Por qué?3. Si no te fue fácil, ¿qué hiciste para compr<strong>en</strong><strong>de</strong>rlo?4. ¿Qué pasos has seguido para <strong>de</strong>sarrol<strong>la</strong>r cada una <strong>de</strong> <strong>la</strong>s activida<strong>de</strong>s?5. ¿Cuáles <strong>de</strong> estos pasos te pres<strong>en</strong>taron mayor dificultad?6. ¿Cómo lograste superar estas dificulta<strong>de</strong>s?7. Al resolver <strong>la</strong> evaluación, ¿qué ítems te pres<strong>en</strong>taron mayor dificultad?8. ¿Qué pasos has seguido para superar estas dificulta<strong>de</strong>s?9. ¿En qué acciones <strong>de</strong> tu vida te pued<strong>en</strong> ayudar los temas <strong>de</strong>sarrol<strong>la</strong>dos <strong>en</strong> estefascículo?10. ¿Qué niv<strong>el</strong> <strong>de</strong> logro <strong>de</strong> apr<strong>en</strong>dizaje consi<strong>de</strong>ras que has obt<strong>en</strong>ido al finalizar estefascículo?Muy bu<strong>en</strong>o Bu<strong>en</strong>o Regu<strong>la</strong>r Defici<strong>en</strong>teNO ESCRIBIR¿Por qué?11. ¿Crees que <strong>la</strong>s activida<strong>de</strong>s <strong>de</strong> investigación fueron realm<strong>en</strong>te un trabajo <strong>de</strong> equipo?Explica.12. ¿Tuviste <strong>la</strong> oportunidad <strong>de</strong> compartir tus conocimi<strong>en</strong>tos con algunos <strong>de</strong> tus colegas?¿Qué s<strong>en</strong>timi<strong>en</strong>tos provocaron <strong>en</strong> ti este hecho?31s2 fasc6 doc<strong>en</strong>.indd 315/31/07 8:02:52 PM


BIBLIOGRAFÍAcom<strong>en</strong>tada1. Copi, Irving M. Introducción a <strong>la</strong> Lógica. Bu<strong>en</strong>os Aires. Editorial Universitaria <strong>de</strong> Bu<strong>en</strong>osAires, 1974.Es un estudio <strong>de</strong> <strong>la</strong> Lógica pres<strong>en</strong>tado con c<strong>la</strong>ridad y concisión; se expresa con gran precisiónlos principales términos y temas. Ti<strong>en</strong>e gran variedad <strong>de</strong> ejercicios extraídos <strong>de</strong> <strong>la</strong> vidareal.2. Chávez Noriega, Alejandro. Introducción a <strong>la</strong> Lógica. Lima. Ediciones Amaru, 1984.El propósito principal <strong>de</strong> <strong>la</strong> obra es servir a los estudiantes y lectores no familiarizadoscon <strong>la</strong> Lógica, acercándolos al conocimi<strong>en</strong>to más amplio <strong>de</strong> los <strong>el</strong>em<strong>en</strong>tos fundam<strong>en</strong>tales<strong>de</strong> esta disciplina. Examina con <strong>el</strong> mayor rigor <strong>el</strong> l<strong>en</strong>guaje común y <strong>el</strong> l<strong>en</strong>guaje ci<strong>en</strong>tífico.Desarrol<strong>la</strong> <strong>la</strong> formación y <strong>el</strong> manejo <strong>de</strong> <strong>la</strong>s estructuras lógicas, su transformación y aplicación<strong>en</strong> <strong>la</strong>s tareas d<strong>el</strong> quehacer reflexivo.3. Tr<strong>el</strong>les Montero, Óscar; Morales Papa, Dióg<strong>en</strong>es. Introducción a <strong>la</strong> Lógica. Lima. FondoEditorial <strong>de</strong> <strong>la</strong> Pontificia Universidad Católica d<strong>el</strong> Perú, 2000.Busca conducir al lector por los temas c<strong>en</strong>trales <strong>de</strong> <strong>la</strong> Lógica. Explora nuevos campos yaplica nuevos métodos <strong>de</strong> investigación. Desarrol<strong>la</strong> <strong>la</strong> Lógica proposicional y <strong>la</strong> Lógicacuantificacional, esc<strong>la</strong>reci<strong>en</strong>do conceptos corri<strong>en</strong>tes hoy <strong>en</strong> día. Provee <strong>de</strong> <strong>la</strong>s herrami<strong>en</strong>tasint<strong>el</strong>ectuales para animar al estudiante al establecimi<strong>en</strong>to <strong>de</strong> <strong>la</strong> verdad formal, <strong>de</strong> importanciacapital <strong>en</strong> <strong>el</strong> objeto <strong>de</strong> esta disciplina.ENLACESweb1. http://usuarios.iponet.es/ddt/logica1.htmPágina d<strong>el</strong> profesor J. Biedma don<strong>de</strong> se aporta una serie <strong>de</strong> artículos sobre conceptos básicos<strong>de</strong> <strong>la</strong> Lógica, así como un curso on-line sobre <strong>el</strong> libro Introducción a <strong>la</strong> lógica <strong>de</strong> I.M. Copi.2. http://<strong>en</strong>f<strong>en</strong>ix.webcindario.com/logica/Au<strong>la</strong> virtual <strong>de</strong> Lógica <strong>en</strong> <strong>la</strong> que se pres<strong>en</strong>tan diversos temas <strong>de</strong> Lógica o Razonami<strong>en</strong>toLógico <strong>de</strong>sarrol<strong>la</strong>dos durante Quinto Año <strong>de</strong> Educación Secundaria <strong>en</strong> <strong>el</strong> Perú. Esperamosque los datos aquí pres<strong>en</strong>tados sean <strong>de</strong> mucha utilidad y que le saques <strong>el</strong> máximo provecho a<strong>la</strong> información brindada.3. http://www.wwnorton.com/college/phil/logic3/w<strong>el</strong>come.htm (página <strong>en</strong> inglés)Web administrada por M.K. Gre<strong>en</strong> con cont<strong>en</strong>idos sobre c<strong>la</strong>sificación, <strong>de</strong>finición, fa<strong>la</strong>cias,Lógica silogística (silogismos categoriales, disyuntivos e hipotéticos), Lógica proposicional,Lógica <strong>de</strong> predicados, inducción, analogía... A<strong>de</strong>más, ti<strong>en</strong>e muchos ejercicios.4. http://www.liccom.edu.uy/bed<strong>el</strong>ia/cursos/metodos/materiales.html32Muy bu<strong>en</strong>a página web <strong>en</strong> <strong>la</strong> que se <strong>en</strong>contrarán teoría, ejemplos y problemas diversosreferidos a <strong>la</strong> Lógica proposicional, pres<strong>en</strong>tados <strong>de</strong> una manera s<strong>en</strong>cil<strong>la</strong> y compr<strong>en</strong>sible, conejemplos didácticos.s2 fasc6 doc<strong>en</strong>.indd 325/31/07 8:02:53 PM

Hooray! Your file is uploaded and ready to be published.

Saved successfully!

Ooh no, something went wrong!