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 ...
- 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