Proyecto Final Lógica Matemática

Page 1

Universidad Mariano Gálvez de Guatemala

Facultad de Humanidades

Universidad Mariano Gálvez de Guatemala

Facultad de Humanidades

Carrera: Profesorado de Enseñanza Media en Física y Matemática

Nombres y apellidos del estudiante: Keila Andrea Tiriquiz

Macario

Número de Carné:70772320321

Curso: Lógica Matemática

Tarea: Proyecto final.

GLOSARIO DE LÓGICA MATEMÁTICA

Keila Andrea ,Tiriquiz Macario

1 Índice Índice……………………………………………………………………………..1 Introducción…………………………………………………………………..2 A……………………………………………………………………………………..3-5 C……………………………………………………………………………………..6-8 D……………………………………………………………………………………..9-10 E……………………………………………………………………………………..11 F……………………………………………………………………………………..12 I……………………………………………………………………………………..13-14 L…………………………………………………………………………………….15 N…………………………………………………………………………………...16 P…………………………………………………………………………………….17-20 R…………………………………………………………………………………….21 S…………………………………………………………………………………….22 T…………………………………………………………………………………….23-24 V……………………………………………………………………………………25 Autoevaluación del glosario………………………………………….26

Introducción

A continuación, podrá encontrar un catálogo de palabras del curso de lógica matemática quees el estudio del lenguaje formal matemático y sus interacciones propias con los objetos matemáticos. Como tal, los temas centrales están ligados a la capacidad expresiva del lenguaje, así como a la capacidad deductiva formal de este. Y este tiene como objetivo de apoyo paraunamejorcomprensióndelostemasvistosencadasemana detareasacadémicasatravésdepresentacionesodemostrarlas ideas y relaciones matemáticas mediante ejemplos, objetos, ilustraciones, gráficas, ecuaciones, u otros métodos para apoyarnos en la realización de cada guía de aprendizaje. Se abordaron todos los temas vistos dentro del curso como lo es la lógica y sus principios, los conjuntos, leyes proposicionales, tablas de verdad, leyes de inferencias, falacias, etc. Genera un repasoimportantequeayudaanuestrarealimentacióndelcurso pues nos aporta conocimiento mucho más detallado y ejemplificado de los temas vistos en clase. Se utilizó un método de investigación para obtener las definiciones como un conjunto de presupuestos filosóficos y epistemológicos donde pretendemos llevar a cabo su abordaje o su interpretación de la realidad y pretende ayudarnos conocer o investigar más sobre cada termino de nuestros temas matemáticos. Este glosario se realizó en un tiempo aproximado de 4 meses desde el 12 de febrero hasta el 11 de junio de 2024.

2

ATermino: Algoritmo

Definición: Por algoritmo matemático entendemos un conjunto de operaciones ordenadas que sirven para encontrar la solución de un problema, es decir, es una serie de instrucciones que se siguen para obtener un resultado final.

Fuente:https://es.wikipedia.org/wiki/Algoritmo#:~:text=Algunos%20ejemplos%20en%20ma tem%C3%A1tica%20son,un%20sistema%20de%20ecuaciones%20lineales

Consultado el 4 de marzo de 2024

No. de semana: Semana 4

Mediación:

Algunos ejemplos en matemática son el algoritmo de multiplicación, para calcular el producto, el algoritmo de la división para calcular el cociente de dos números, el algoritmo de Euclides para obtener el máximo común divisor de dos enteros positivos, o el método de Gauss para resolver un sistema de ecuaciones lineales.

Termino: Aristotélico

Definición: Que profesa la doctrina de Aristóteles: los aristotélicos defienden el origen empírico del conocimiento y rechazan el innatismo de las ideas. Según Aristóteles, el matemático no yerra en sus proposiciones cuando afirma sólo propiedades de un sujeto determinado -i.e. una figura el geómetra, o las propiedades de los números en cuanto números el aritmético-, siempre y cuando no vaya más allá de lo que le permite su método.

Fuente: Diccionario de la lengua española © 2005 Espasa-Calpe https://www.wordreference.com/definicion/aristot%C3%A9lico#:~:text=aristot%C3%A9lico %2C%20ca&text=adj.-,y%20s.,el%20innatismo%20de%20las%20ideas

Consultado el 15 de abril de 2024

No. de semana: Semana 9

Mediación:

Pensamiento Aristotélico por ejemplo de las falacias estudiadas por Aristóteles es lo que se conoce como “la afirmación del consecuente”. Por ejemplo: Siempre que llueve, el suelo del patio está mojado. El suelo del patio está mojado, es decir que llueve.

3

Termino: Antecedente

Definición: Un antecedente es la primera parte de una proposición hipotética, siempre que la cláusula "si" preceda a la cláusula "entonces". En algunos contextos el antecedente se llama protasis.

Fuente:

https://es.wikipedia.org/wiki/Antecedente_(l%C3%B3gica)#:~:text=Un%20antecedente%20 es%20la%20primera,el%20antecedente%20se%20llama%20protasis

Consultado el 27 de mayo de 2024.

No. de semana: Semana 15

Mediación:

 Ejemplo, Si X es un hombre, entonces X es mortal. "X es un hombre" es el antecedente para esta proposición.

 Si a 2016 hay hombres en la Luna, entonces yo soy el rey de Francia.

Aquí, "a 2016 hay hombres en la Luna" es el antecedente.

Termino: Adjunción

Definición: La adjunción Lógica o negación de la implicación ( ↛) entre dos proposiciones, a y b, es un conector lógico cuyo valor de la verdad resulta en verdadero sólo si la condición a es verdadero y la condición b es falsa, y es falso de cualquier otro caso.

Existen diferentes contextos dónde se utiliza la implicación opuesta

Fuente: Nachbin, Leopoldo (1986). Álgebra elemental. Rochester, Nueva York: Eva V. Chesnau. Edición de la OEA, traducida al español por César E. Silva. https://es.wikipedia.org/wiki/Adjunci%C3%B3n_l%C3%B3gica

Consultado el 27 de mayo de 2024.

No. de semana: Semana 15

Ejemplo: Adjunción lógica.

4

Termino: Atingencia

Definición: Es un razonamiento engañoso o erróneo (falaz), pero que pretende ser convincente o persuasivo. Relación, conexión, correspondencia. Tener un asunto atingencia con otro.

Fuente: Revista Digital de Lógica Matemática https://issuu.com/edomingom/docs/revista_digital/s/12468573#:~:text=Es%20un%20razon amiento%20enga%C3%B1oso%20o,pretende%20ser%20convincente%20o%20persuasivo

No. de semana: Semana 16

Ejemplo:

ARGUMENTUM AD HOMINEN (Apelación a la persona-ofensivo) Consiste en ofender, desprestigiar, desmeritar o realizar cualquier acción con el fin de que al oponente no pueda se le acepten sus afirmaciones. Esto se hace cuando no se tienen argumentos válidos para hacer frente a las afirmaciones del oponente.

5

Termino: Cuantificacional

Definición: Cuantificacional o cuantificadores comprende cálculos matemáticos, que vinculan una serie de variables. De este modo, se habla de un “Cuantificador” para determinar un valor como verdadero y falso, válido o inválido.

Fuente: https://prezi.com/xsnnyirwlh4c/logicacuantificacional/#:~:text=La%20definici%C3%B3n%20de%20%E2%80%9CCuantificadores%E 2%80%9D%20comprende,y%20falso%2C%20v%C3%A1lido%20o%20inv%C3%A1lido.

Consultado el 12 de febrero de 2024

No. de semana: Semana 1

Mediación:

Ejemplos de lógica cuantificacional:

Teoría de conjuntos: permite usar proposiciones para construir conjuntos y determinar sus propiedades.

 Lenguaje de Primer Orden: permite usar símbolos para referirse a los elementos de un conjunto.

 Axiomas: establecen los principios básicos de la lógica cuantificacional.

 cuantificadores: permiten la definición de un concepto para un conjunto completo.

 Predicados: expresan una relación binaria entre dos variables.

 Proposiciones: establecen relaciones entre variables y predicados.

 Regla de inferencia Modus Ponens: permite derivar conclusiones lógicas a partir de dos proposiciones verdaderas.

 Regla de inferencia Modus Tollens: permite derivar conclusiones lógicas a partir de dos proposiciones falsas.

 Regla de inferencia de la Silogística: permite derivar conclusiones lógicas a partir de tres proposiciones.

Termino: Conjuntos

Definición: Un conjunto es la agrupación de diferentes elementos que comparten entre sí características y propiedades semejantes. Estos elementos pueden ser sujetos u objetos, tales como números, canciones, meses, personas, etc.

Fuente: https://concepto.de/que-es-un-conjunto/#ixzz8ctHqm2oU

Consultado el 26 de febrero 2024.

No. de semana: Semana 3

Mediación:

Por ejemplo: el conjunto de números primos o el conjunto de planetas del sistema solar.

6
C

Termino: Conectivos lógicos

Definición: Es un símbolo o palabra que se utiliza para conectar dos fórmulas bien formadas o sentencias (atómicas o moleculares), de modo que el valor de verdad de la fórmula compuesta depende del valor de verdad de las fórmulas componentes.

Fuente: https://es.wikipedia.org/wiki/Conectiva_l%C3%B3gica

Consultado el 11 de marzo de 2024

No. de semana: Semana 5

Mediación:

Termino: Cuadro de oposición

Definición: Se llama cuadrado o cuadro de oposición al esquema mediante el cual se estudian las proposiciones con relaciones formales entre los diversos tipos de juicios aristotélicos, A, E, I, O, considerando cada juicio con términos idénticos El cuadro tiene su origen en las cuatro oraciones marcadas que deben emplearse en el razonamiento silogístico

Fuente: https://es.wikipedia.org/wiki/Cuadro_de_oposici%C3%B3n_de_los_juicios

Consultado el 29 de abril de 2024

No. de semana: Semana 11

Mediación:

7

Termino: Contradicción

Definición: Es una incompatibilidad entre dos o más proposiciones, una contradicción se define como una fórmula que resulta falsa para cualquier interpretación, es decir para cualquier asignación de valores de verdad que se haga a sus fórmulas atómicas

Fuente:

https://es.wikipedia.org/wiki/Contradicci%C3%B3n#:~:text=En%20l%C3%B3gica%2C%20una %20contradicci%C3%B3n%20es,y%20truena%C2%BB%20expresan%20contradicciones%20l %C3%B3gicas

Consultado el 13 de mayo de 2024

No. de semana: Semana 13

Mediación:

Por ejemplo, las oraciones «llueve y no llueve» y «ni llueve ni truena, pero llueve y truena» expresan contradicciones lógicas.

Termino: Consecuente

Definición: Consecuente (en lógica). La segunda parte, o conclusión, de una declaración condicional.

Fuente:

https://www.mathematicsdictionary.com/spanish/vmd/full/c/consequentinlogic.htm#:~:tex t=Definici%C3%B3n%3A%20consecuente%20(en%20l%C3%B3gica)&text=La%20segunda%20 parte%2C

Consultado el 27 de mayo de 2024

No. de semana: Semana 15

Medición:

Por ejemplo, considérese la declaración: "Si Lisa es buena en matemáticas, entonces este examen va a ser fácil para ella". En esta declaración, "entonces este examen va a ser fácil para ella" es el consecuente.

8

DTermino: Disyunción

Definición: Una disyunción lógica (∨) (también conocido como disyunción incluyente, disyunción débil o disyunción inclusiva) entre dos proposiciones es un conector lógico, cuyo valor de la verdad resulta en falso solo si ambas proposiciones son falsas, y en cierto de cualquier otra forma.

Fuente: https://blog.nekomath.com/algebra-superior-i-conectores-negacionesconjunciones-ydisyunciones/#:~:text=La%20disyunci%C3%B3n%20de%20con%20es,A%20%E2%88%A8%20 B%20es%20v

Consultado el 4 de marzo de 2024.

No. de semana: Semana 4

Mediación: La disyunción de con es « » A ∨ B = «Los gatos son felinos o todas las blorg son rojas.» Como es verdadera, esto basta para decir que A ∨ B es verdadera. Como también es verdadera, también esto bastaba para decir que A ∨ B es verdadera.

Termino: Deductivo

Definición: Se basa en la idea de que, si las premisas de un argumento son verdaderas, entonces la conclusión también debe ser verdadera.

Fuente: https://es.linkedin.com/advice/1/what-benefits-limitations-usingdeductive?lang=es#:~:text=oportunidad%20de%20destacar.,1%20Razonamiento%20deductivo%20en%20m

Consultado el 8 de abril

No. de semana: Semana 8

Mediación:

Un ejemplo sencillo y común del uso del método deductivo se puede encontrar en las matemáticas. Por ejemplo, si se acepta que 2+2=4 y que 3+3=6, se puede deducir lógicamente que 2+2+3+3=10. Este razonamiento se basa en reglas bien definidas y se sigue un proceso claro para llegar a una conclusión específica.

9
10

Termino: Equivalencias

Definición: Equivalente a otra cuando cada una de las asignaciones de valores de verdad a las proposiciones simples que las componen genera el mismo valor de verdad en ambas proposiciones. En otras palabras, dos expresiones son lógicamente equivalentes si sus tablas de verdad son iguales.

Fuente:

https://es.wikiversity.org/wiki/L%C3%B3gica_proposicional/Equivalencias#:~:text=Una%20p roposici%C3%B3n%20es%20l%C3%B3gicamente%20equivalente,tablas%20de%20verdad%2 0son%20igual

Consultado el 25 de marzo de 2024

No. de semana: Semana 7

Mediación:

Dos proposiciones son equivalentes cuando en todos los casos toman los mismos valores lógicos. Por ejemplo: “Soy madre” es equivalente a “Soy mujer y tengo un hijo”. En matemáticas, la equivalencia suele ir ligada a los signos = y ⇔

11
E

Termino: Formalización

Definición: En lógica, formalizar, en este sentido, significa modelar formalmente (es decir, producir un modelo formal de) una proposición, argumento, teoría o lenguaje, para explicar o entender mejor sus propiedades y relaciones lógicas como validez, consistencia, consecuencia lógica, incompatibilidad, etc.

Fuente: https://www.filosoficas.unam.mx/~abarcelo/PDF/Formalizacion.pdf

Consultado el 29 de abril de 2024

No. de semana: Semana 11

Ejemplo:

Termino: Falacias

Definición: Falacia se define como una forma de razonamiento que parece correcto pero resulta no serlo, cuando se analiza cuidadosamente. Razonamiento engañoso.

Fuente: Falacias no formales https://drive.google.com/file/d/14i1A1TA0zrS9iJCDruqpBq9xConsultado el 3 de junio de 2024.

No. de semana: Semana 16

Mediación:

Por ejemplo, Jorge dice que “los fantasmas existen porque yo vi un fantasma en mi armario.” Su conclusión es que “los fantasmas existen” y, por ende, cree en su existencia. En lugar de asumir, desde un inicio, que los fantasmas existen, Jorge debería usar la evidencia y el razonamiento para probar que existen.

12 F

Termino: Interacción

Definición: Hablamos de efecto de interacción cuando una variable que hay que explicar Y es acondicionada por el acoplamiento de dos variables explicativas A y B. La interacción A.B es también llamada producto cruzado de A y de B.

Fuente:

https://es.wikipedia.org/wiki/Interacci%C3%B3n_l%C3%B3gica#:~:text=Hablamos%20de%2 0efecto%20de%20interacci%C3%B3n,variables%20explicativas%20A%20y%20B.&text=La%2 0interacci%C3%B3n

Consultado el 26 de febrero de 2024

No. de semana: Semana 3

Mediación:

Termino: inferencias

Definición: La inferencia es el proceso por el cual se derivan conclusiones a partir de premisas o hipótesis iniciales. Cuando una conclusión se sigue de sus premisas o hipótesis de partida, por medio de deducciones lógicas válidas, se dice que las premisas implican (infieren) la conclusión.

Fuente:

https://es.wikipedia.org/wiki/Inferencia#:~:text=La%20inferencia%20es%20el%20proceso,i mplican%20(infieren)%20la%20conclusi%C3%B3n.

Consultado el 18 de marzo de 2024.

No. de semana: Semana 6

Mediación:

Ejemplo de inferencia: Todos los mares tienen agua salada; el Mediterráneo es un mar; por lo tanto, el Mediterráneo tiene agua salada.

13 i

Termino: Inductivo

Definición: Es un proceso de razonamiento que se basa en la observación y la experimentación para llegar a una conclusión general a partir de casos específicos. A partir de estos patrones o tendencias, se llega a una conclusión general o una teoría que se considera válida para todos los casos similares.

Fuente: https://www.questionpro.com/blog/es/metodoinductivo/#:~:text=El%20m%C3%A9todo%20inductivo%20es%20un%20proceso%20de%20r azonamiento%20que%20se,para%20todos%20l

Consultado el 8 de abril de 2024

No. de semana: Semana 8

Ejemplo:

Por ejemplo: El sol ha salido todos los días de mi vida; por lo tanto, el sol saldrá siempre todos los días.

14

LTermino: Lógica

Definición: La lógica es la ciencia que estudia la corrección de los razonamientos, tanto formales como no formales, por eso esta asignatura se va a componer de dos partes, una, la lógica formal y otra, la lógica no formal, a veces, también "mal" llamada lógica informal.

Fuente:

https://www.udima.es/es/logica.html#:~:text=Descripci%C3%B3n,%22mal%22%20llamada %20l%C3%B3gica%20informal

Consultado el 12 de febrero

No. de semana: Semana 1

Mediación:

 En la lógica simbólica se sostiene que si una proposición (p) es verdadera y otra proposición (q) es verdadera, todo el enunciado de conjunción (p • q) es verdadero.

 En la lógica simbólica, se sostiene que si una de las dos proposiciones es falsa, todo el enunciado de conjunción lo es. Por eso, si p es verdadera y q es falsa, entonces p • q es falso.

15

N

Termino: Notación

Definición: En una nota póstuma de 1929, Wittgenstein afirma que una notación lógica es la expresión última de una concepción filosófica

Fuente:

https://repositorio.unal.edu.co/handle/unal/82965#:~:text=Resumen,105%2C%2010%E2%8 0%9312).

Consultado el 4 de marzo de 2024

No. de semana: Semana 4

Mediación:

16

Termino: Pensar

Definición: Se entiende como la capacidad que tienen las personas de relacionar hechos, ideas, objetos abstractos o reales para la resolución de problemas, llegando de este modo a conclusiones congruentes.

Fuente: https://innovaschools.edu.mx/blog/pensamiento-logico-a-traves-del-proceso-deaprendizaje/#:~:text=El%20pensamiento%20l%C3%B3gico%20se%20entiende,este%20mod o%20a

Consultado el 12 de febrero de 2024

No. de semana: Semana 1

Mediación:

Ejemplos de pensamiento lógico. Para salir de viaje con mis amigos necesito tener suficiente dinero, si ahorro todos los meses parte de mi sueldo, entonces podré viajar con ellos.

Termino: Polivalente

Definición: Sistema lógico-formal cuyas expresiones admiten en su interpretación más de dos significados verdaderos (en el caso de que se trate sólo de dos significados –“verdaderos” o “falsos”– tenemos la clásica lógica bivalente), y en el caso general, admiten cualquier conjunto finito o infinito de significados.

Fuente: https://www.filosofia.org/enc/ros/log10.htm

Consultado el 12 de febrero de 2024

No. de semana: Semana 1

Mediación:

17 P

Termino: Principio de identidad

Definición: El principio de identidad afirma que, si cualquier enunciado es verdadero, entonces es verdadero. El principio de contradicción afirma que ningún enunciado puede ser verdadero y falso a la vez. El principio de tercero excluido afirma que cualquier enunciado es o bien verdadero o falso.

Fuente: https://www.redalyc.org/journal/4418/441849209004/html/#:~:text=El%20principio%20de %20identidad%20afirma,o%20bien%20verdadero%20o%20falso Consultado el 19 de febrero de 2024

No. de semana: Semana 2

Mediación:

El de identidad: toda cosa es idéntica a sí misma (A=A), por ejemplo, la silla es una silla. El de no-contradicción: es imposible que una cosa sea y no sea al mismo tiempo y en el mismo sentido [¬ (A y ¬A) ].

18

Termino: Principio razón suficiente

Definición: El Principio de Razón Suficiente, es el principio universal que fundamenta que todo ente existe por una razón que la determina tanto en el pensamiento como en la acción humana, así como los animales y las cosas en el mundo. Es un principio rector del pensamiento y razonamiento humano sobre las causas y efectos del ser y del pensar en el mundo existente.

Fuente: https://www.monografias.com/docs/Principio-Razon-SuficienteF39N4NGZSWVA#google_vignette

Consultado el 19 de febrero de 2024

No. de semana: Semana 2

Mediación:

Termino: Propiedades

Definición: Una propiedad es un atributo o cualidad de un objeto. Por ejemplo, la sangre tiene la propiedad de ser roja. Las propiedades también se pueden considerar objetos, y pueden por lo tanto tener otras propiedades.

Fuente: https://es.wikipedia.org/wiki/Propiedad_(l%C3%B3gica)#:~:text=En%20filosof%C3%ADa%2C %20l%C3%B3gica%20y%20matem%C3%A1tica,propiedad%20de%20ser%20un%20color. Consultado el 26 de febrero de 2024

No. de semana: Semana 3

Ejemplo: Por ejemplo, el rojo tiene la propiedad de ser un color. Por ejemplo, la sangre tiene la propiedad de ser roja. Las propiedades también se pueden considerar objetos, y pueden por lo tanto tener otras propiedades. Por ejemplo, el rojo tiene la propiedad de ser un color.

Termino: Proposición

Definición: Una proposición lógica es todo enunciado que tiene un valor de verdad: verdadero (V) o falso (F), pero no ambos a la vez (Doroteo & Gálvez, 2005, p. 12). P5. Las proposiciones son expresiones del lenguaje que pueden clasificarse como verdaderas o falsas.

Fuente: http://www.scielo.org.pe/scielo.php?script=sci_arttext&pid=S222325162017000100014#:~:text=Una%20proposici%C3%B3n%20l%C3%B3gica%20es%20todo,c lasificarse%20como%

Consultado el 11 de marzo de 2024

No. de semana: Semana 5

Mediación:

19

Termino: Premisas

Definición: Las premisas son el punto de partida de un razonamiento (que permite demostrar, justificar o refutar algo).

Fuente:

https://concepto.de/premisa/#:~:text=Premisa%201%3A%20Los%20ni%C3%B1os%20fuero n,%2C%20justificar%20o%20refutar%20algo.

Consultad el 18 de marzo de 2024

No. de semana: Semana 6

Mediación:

Premisa 1: Los niños fueron hoy a la escuela. Premisa 2: Juan es un niño. Conclusión: Juan fue hoy a la escuela.

20

RTermino: Razonamiento

Definición: La facultad que permite resolver problemas, extraer conclusiones y aprender de manera consciente de los hechos, estableciendo conexiones causales y lógicas necesarias entre ellos.

Fuente:

https://es.wikipedia.org/wiki/Razonamiento#:~:text=En%20sentido%20amplio%2C%20se%2 0entiende,y%20l%C3%B3gicas%20necesarias%20entre%20ellos.

Consultado el 12 de febrero de 2024

No. de semana: Semana 1

Mediación:

Por ejemplo: si todos los perros muerden, y Boby es un perro, la conclusión será que Boby muerde.

Termino: Regla de inferencia

Definición: Una regla de inferencia, o regla de transformación es una forma lógica que consiste en una función que toma premisas, analiza su sintaxis, y devuelve una conclusión (o conclusiones).

Fuente:

https://es.wikipedia.org/wiki/Regla_de_inferencia#:~:text=En%20l%C3%B3gica%2C%20una %20regla%20de,una%20conclusi%C3%B3n%20(o%20conclusiones).

Consultado el 20 de mayo de 2024

No. de semana: Semana 14

Mediación:

Por ejemplo, la regla de inferencia modus ponendo ponens toma dos premisas, uno en la forma "Si p, entonces q" y otra en la forma "p", y devuelve la conclusión "q". La regla es válida con respecto a la semántica de la lógica clásica (así como la semántica de muchas otras lógicas no clásicas), en el sentido de que si las premisas son verdaderas (bajo una interpretación), entonces también lo será la conclusión.

21

STermino: Silogismo

Definición: Es una palabra que proviene del griego: συλλογισµός y que, a su vez, procede del latín: syllogismus. Su significado nos dice, que es un razonamiento deductivo o inductivo que está formado por dos premisas y una conclusión, y que es el resultado lógico que se deduce de las dos premisas.

Fuente:

https://www.ipn.mx/assets/files/cecyt4/docs/estudiantes/aulas/mescrito/segundo/matutin o/filosofia/3.pdf

Consultado el 22 de abril de 2024

No. de semana: Semana 10

Ejemplo:

22

Termino: Trivalente

Definición: Se llama lógica ternaria o lógica trivalente a cualquier sistema lógico multivaluado en el que hay tres valores de verdad, indicando Verdadero, Falso y algún otro valor indeterminado.

Fuente:

https://es.wikipedia.org/wiki/L%C3%B3gica_trivalente#:~:text=Se%20llama%20l%C3%B3gic a%20ternaria%20o,y%20alg%C3%BAn%20otro%20valor%20indeterminado.

Consultado el 12 de febrero de 2024

No. de semana: Semana 1

Mediación:

Termino: Termino

Definición: Un término es una expresión algebraica elemental donde se encuentran solo operaciones de multiplicación y división de números y letras. El número se llama coeficiente y las letras conforman la parte literal. Tanto el número como cada letra pueden estar elevados a una potencia.

Fuente:

https://es.wikipedia.org/wiki/%C3%81lgebra_elemental#:~:text=Un%20t%C3%A9rmino%20 es%20una%20expresi%C3%B3n,estar%20elevados%20a%20una%20potencia

Consultado el 15 de abril

No. de semana: Semana 9

Mediación:

23
T

Termino: Tabla de verdad.

Definición: Tabla de verdad: procedimiento gráfico que permite determinar los posibles valores de verdad de una proposición compuesta, a partir de las combinaciones de los valores de verdad de las proposiciones simples que las componen.

Fuente: https://www.te.gob.mx/eje/media/files/6224e6dcfddc0fd.pdf

Consultado el 13 de mayo

No. de semana: Semana 13

Mediación:

Termino: Tautología

Definición: Tautología, es aquella proposición (compuesta) que es cierta para todos los valores de verdad de sus variables.

Fuente:

https://unicauca.edu.co/matematicas/eventos/log&co/MATERIAL/Elementos_Logica/Textos /Biblioteca/Libros/Libro_008/Logica_Matematica.htm#:~:text=Tautolog%C3%ADa%2C%20e s

Consultado el 13 de mayo de 2024

No. de semana: Semana 13

Mediación:

24

Termino: Validez formal

Definición: La lógica formal está interesada en la forma o estructura de los razonamientos. La verdad de las premisas y de las conclusiones es una preocupación secundaria para esta rama de la lógica.

Fuente: https://www.fcalzado.es/logica/logica/01concbasicos/130formalmat.html

Consultado el 12 de febrero de 2024

No. de semana: Semana 1

Mediación:

25
V

Autoevaluación

Autoevaluación del glosario

Lo que más me gustó de este trabajo fue: Lo que más me gusto fue poder realizarlo con ejemplos pues al hacer de esta manera me ayudo a comprender mejor el tema ya que desconocía un poco los términos lógicos que estaban dentro del documento de apoyo.

Lo que menos me gustó de este trabajo fue: Que fue difícil el encontrar algunos ejemplos claros dentro de los diferentes sitios de internet, fue un poco desgastante el estar consultando en varias páginas Pero creo que realmente me estaba haciendo bien porque sin querer iba observando y aprendiendo incluso nuevos términos que encontraba en los sitios de internet.

Lo que aprendí al realizarlo fue: Aprendí a representar ideas más destalladas y compuestas de diferentes términos de lógica matemática y con ello crear relaciones matemáticas que me ayudaron a comprender mejor los temas y adquirir el hábito de investigar cualquier termino que no comprendía en su totalidad para comprender mejor el tema y poder resolver cada ejercicio de forma correcta.

Lo que podría mejorar es: Realizar el glosario incluyendo más términos que me ayuden a comprender el tema, cubriendo desde los conceptos básicos hasta los mas avanzados. Y con una actualización constante ya que existe una constante evolución de los términos matemáticos.

Lo puedo aplicar: Este es un trabajo que me puede ayudar a comprender mejor las matemáticas e incluso con más cursos de mi carrera. Lo voy a utilizar como una herramienta de consulta rápida durante mis clases o al hacer tareas, y esto me genera un estudio autónomo y me sirve para repasar términos antes de una prueba.

Keila Andrea Tiriquiz Macario Fecha: 11/06/2024 Nombre o firma del estudiante

26

Turn static files into dynamic content formats.

Create a flipbook
Issuu converts static files into: digital portfolios, online yearbooks, online catalogs, digital photo albums and more. Sign up and create your flipbook.