También echaremos un vistazo a los diferentes tipos de razonamiento matemático y revisaremos las preguntas y respuestas de razonamiento matemático. This document was uploaded by user and they confirmed that they have the permission to share En este artículo, he intentado responder a estas preguntas y he recopilado sugerencias que podrían ayudar a mejorar las habilidades matemáticas y el pensamiento lógico. Vol. endobj Web- Muy bien – dijo el profesor de matemáticas. WebScribd es red social de lectura y publicación más importante del mundo. De hecho, los orígenes de la lógica se remontan a países como China, India y Grecia en la Edad Antigua, hace miles de años. You can download the paper by clicking the button above. Trivial de filosofía: ¿cuánto sabes de cuestiones metafísicas? Marcar por contenido inapropiado. (co... For Later. WebPruebas de lógica matemática by francisco9vic-726360. Si quieres continuar insertando actividades en Microsoft Teams, contrata ahora un plan. Es el estudio de los principios y métodos utilizados para distinguir el razonamiento correcto del incorrecto. Los axiomas son como las reglas de un juego pues permiten las jugadas, es decir, el desarrollo del juego, y además determinan cuáles son las jugadas válidas y cuáles no lo son; si las reglas se cambian ya no se juega el mismo juego. Fascículo 6: ASPECTOS METODOLÓGICOS EN EL APRENDIZAJE DE LA LÓGICA MATEMÁTICA EN SECUNDARIA, La aserción dialógica como unidad mínima de conocimiento. Abstracto Completo. Hoy en día, las organizaciones exigen entradas y salidas cuantificables para evaluar el rendimiento, y los resultados de la carrera no se basan en la información cualitativa o verbal. /Widths[1000 500 500 1000 1000 1000 777.8 1000 1000 611.1 611.1 1000 1000 1000 777.8 Uploaded by: Yani Contreras. Así que en Yasss te hemos preparado un test para que sepas cómo vas de lógica. Samantha Leal. �2���W[\�V�hh �� d7��i˜�Q�=@��Q�B�����~��?�i�����W��a��~�eqƾ���i�[�9�ʙv�v�����k���y��:�OP��BY�ύ�^7�"؂���s h+�ħ�7v�0!AG�_��Qy�|�(k��=v�q�'�u^_�Ǐ���2Hl�;�cvY��ƺ5�gU�=��S� �E(�`G�'���ȓ�xZ��^��w�f���-�4+V|T�H�{�|�Xq/��wvv�t�_[�U��Dl�z�r[D&���W��t��g���"�7�����0��n�a.�x��� ݰXF���;��ZR��Z�. El descubrimiento de la falsedad de este. La falta de habilidades de razonamiento matemático puede reflejarse no sólo en el rendimiento en matemáticas, sino también en Física, Química o Economía. Hilbert, matemático alemán de la primera mitad del siglo XX, propuso otros dos requisitos para los sistemas axiomáticos: completud e independencia. Implica reconocer y comprender el papel de las matemáticas en el mundo y tener las disposiciones y capacidades necesarias para utilizar los conocimientos y las habilidades matemáticas con un propósito. Close suggestions Search Search. (con sus soluciones), 89% found this document useful (133 votes), 89% found this document useful, Mark this document as useful, 11% found this document not useful, Mark this document as not useful, Save Test de Razonamiento y de Inteligencia Logica. Pablo García Castillo y Carlos Rodríguez Gordo (eds): "La Actualidad de la Filosofía. %PDF-1.2 LÓGICA MATEMÁTICA e-mail: antonio@farfara.org f LÓGICA MATEMÁTICA Lenguaje proposicional Es un conjunto L en el que están definidas dos aplicaciones: f1 : L L y f2 : L L L Denominaremos proposiciones a los elementos de L y representaremos: f1 a por a y f 2 a, b por a b Sublenguaje proposicional Es un subconjunto … La lógica está considerada una ciencia formal que forma parte tanto de la filosofía como de las matemáticas. Por ejemplo; simplemente aprender las fórmulas de las derivadas y usarlas en la resolución de problemas relativos no es suficiente en absoluto, para mejorar las habilidades matemáticas en el Cálculo Diferencial debes conocer su interpretación geométrica antes del enfoque numérico, lo que puede hacer que te des cuenta de cómo la derivada calcula la tasa de cambio instantánea de cualquier cantidad física. 611.1 798.5 656.8 526.5 771.4 527.8 718.7 594.9 844.5 544.5 677.8 762 689.7 1200.9 Comenzado el sábado, 31 de julio de 2021, 12:24 Estado Finalizado Finalizado en sábado, 31 de julio de 2021, 12:59 Tiempo 34 minutos 58 segundos empleado Calificación 13,50 de 15,00 (90%) Pregunta 1 Correcta. Haz clic en el botón de descarga para explorarlos. ¡No vale buscar la solución en Google! Nuestro reto consiste en consigas responder correctamente al 100% del trivial. WebLa propiedad de ser mujer. Usamos la razón a diario para casi todas las tareas que hacemos. Todavía no hay resultados para esta actividad. Los retos mentales como acertijos, crucigramas, sudokus o problemas de lógica permiten que ejercitemos nuestro cerebro para mantenerlo en activo mientras nos divertimos. El juego de los principios. Razonamiento logico matematico santillana.pdf. Sorry, preview is currently unavailable. /ProcSet[/PDF/Text/ImageC] Las actividades se describen en términos de intenciones de aprendizaje específicas de la asignatura y descriptores de contenido. Academia.edu uses cookies to personalize content, tailor ads and improve the user experience. 1. Enter the email address you signed up with and we'll email you a reset link. Para ser utilizado en un LMS (Moodle, Blackboard...), La descarga de actividades es una característica exclusiva para usuarios. /F1 8 0 R /Filter[/FlateDecode] Educ. Contenido de la páginaLa competencia numérica es el conocimiento, las habilidades, los comportamientos y las disposiciones que los estudiantes necesitan para utilizar las matemáticas en una amplia gama de situaciones. The answer to both these questions, perhaps surprisingly, will turn out to be “yes.”. /F2 9 0 R - Tengo 3 hijas, y el producto de sus edades es 36 y la suma es igual al número de ventanas de ese edificio. >> - El profesor de matemáticas lo pensó un momento y dijo: “Me hace falta un dato” - Es cierto – dijo el profesor de música - La mayor de ellas toca el piano. Si tienes menos de 14 años, pide a tu padre, madre o tutor que lea este mensaje antes de continuar. Compacidad en la lógica de primer orden y su relación con el teorema de la completud, Divulgaciones Matemáticas. Métodos y materiales de enseñanza; Matemática; Test Siette OCR. Webprueba de lógica matemática con la finalidad de medir el potencial de aprendizaje en lo que a programación de software se refiere. Reimpresiones y permisosSobre este artículoCite este artículoBronkhorst, H., Roorda, G., Suhre, C. et al. 14 0 obj ¡Sé el primero en aparecer en el ranking! Puntúa 1,50 sobre 1,50 PRUEBA TU RAZONAMIENTO LÓGICO MATEMÁTICO. x�M�1O�0�w~ō����g;^Cq�"��j&�`AZE Bustamante Arias Alfonso Logica Y Argumentacion, Un primer curso de Lógica Para estudiantes de Filosofía, . Can. A partir de un número pequeño de axiomas puede derivarse un amplio cuerpo teórico por medio de deducciones lógicas que asumen, explícita o implícitamente, la idea de que estos axiomas producen consecuencias. WebDownload Free PDF. In particular it is meant to clarify the notion that two theories are talking about the same thing, even though superficially they may appear to be very different. Incluimos preguntas con algo de lógica, ya que esto es clave a la hora de desarrollar preguntas de matemáticas eficientes. Websus conocimientos de lógica al estudio del Álgebra, del Cálculo, de la Ma- temática Discreta, de la Electrónica Digital, de la Teoría de Autómatas y LenguajesFormales,delaProgramación,delasBasesdeDatos,etc. WebDownload Free PDF. Puedes obtener más información y volver a configurar tus preferencias en cualquier momento en la Política de cookies. Actas de las Primeras Jornadas Suspiria de Estudiantes de Filosofía". endobj WebRazonamiento Lógico Matemático Ejercicios Resueltos. Nuestro reto consiste en consigas responder correctamente al 100% del trivial. >> Sign In. >> (��n\[Ө��)�t��(��8� {X�A�fөa�j:_F��f{�݋t�4`mIf~V��>�E:��"��h������F{�E�?�� �L�{�R�u���wXv��Q���qAV&l`A�`nio��A�n}gt�ճ��頸��qeɅ��ss7��H7��8��yVF�ͷw7w���K�,���3�p?�{Ӫ��¯Z��4�NlS޺>>b%�#-�8�h٭����7p�]0w��|���>9(���$�0�]�;��}y�"��|������U�+ .�8E#� ��cc0 777.8 777.8 1000 500 500 777.8 777.8 777.8 777.8 777.8 777.8 777.8 777.8 777.8 777.8 6 0 obj Tu coeficiente intelectual a prueba en una pregunta: solo el 5% de la gente es tan lista como cree, Test dificilillo de coeficiente intelectual: solo un 3% de la gente lo aprueba. ¿Quieres aparecer en el Top 10 de esta actividad? /F3 10 0 R 275 1000 666.7 666.7 888.9 888.9 0 0 555.6 555.6 666.7 500 722.2 722.2 777.8 777.8 NOCIONES ELEMENTALES DE LÓGICA MATEMÁTICA Y TEORÍA DE CONJUNTOS, Lógica formal e informal: falacias y falsos argumentos (unidad didáctica), Mirada Superficial al Algebra y Pre Calculo, Carlos Augusto Morales Santacruz LOS MÉTODOS DE DEMOSTRACIÓN EN MATEMÁTICA, INSTITUCION EDUCATIVA DISTRITAL RODRIGO DE BASTIDAS, Introducción al pensamiento matemático Unidad 1. (El número, la medida y la geometría, la estadística y la probabilidad son aspectos comunes de la experiencia matemática de la mayoría de las personas en situaciones cotidianas personales, de estudio y de trabajo. 0 calificaciones 0% encontró ... Acercamiento a redes neuronales artificiales Madaline y Base Radial aplicándolas a un decodificador binario de 9 bits.pdf. Escriba su nombre … Unidad I: Lógica Matemática Juan Miguel Olalla UNIDAD I: LÓGICA MATEMÁTICA 1.1. October 2019. una introducción al método axiomático (Buenos Aires: A-Z Editora, 2013) (Texto completo en PDF). Academia.edu no longer supports Internet Explorer. Si quieres continuar insertando actividades en Microsoft Teams, contrata ahora un plan, Esta prueba te permite hacer un diagnóstico de los conocimientos básicos y de la capacidad de razonar ante situaciones con solución matemática. El propósito de las matemáticas no es sólo obtener calificaciones. >> /FirstChar 33 1.3 Preguntas y respuestas – Cómo aprobar la prueba de aptitud. Educaplay utiliza cookies propias y de terceros para fines analíticos anónimos, guardar las preferencias que selecciones, personalizar la publicidad que ves a partir de tus hábitos de navegación y para el funcionamiento general de la página. You can download the paper by clicking the button above. 1-2. pp. /Font 14 0 R Módulo 4, LOGICA MATEMATICA UNIDAD 2: PASO 4 -MÉTODOS PARA PROBAR LA VALIDEZ DE ARGUMENTOS ACTIVIDAD INDIVIDUAL INTEGRANTES, GUÍA DE ESTUDIO LÓGICA UNIVERSIDAD NACIONAL AUTÓNOMA DE MÉXICO, FACULTAD DE ZOOCTENIA ESCUELA PROFESIONAL DE ZOOCTENIA MATEMÁTICA I, LÓGICA MATEMÁTICA UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA -UNAD - ESCUELA DE CIENCIAS BÁSICAS, TECNOLOGÍA E INGENIERÍA UNIDAD DE CIENCIAS BÁSICAS Bogotá D. C, 2008, Matemática II Una introducción a la Lógica v.2019, Capítulo 4: LÓGICA DE PROPOSICIONES 4.1 Introducción, Lógica Simbólica y Teoría de Conjuntos Parte I, El Pensamiento y el Lenguaje en la Matematica, ESCUELA DE CIENCIAS BASICAS, TECNOLOGIA E INGENIERIA MODULO DE LOGICA MATEMÁTICA UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA ESCUELA DE CIENCIAS BÁSICAS, TECNOLOGÍA E INGENIERÍA CIENCIAS BÁSICAS LÓGICA MATEMÁTICA, La aserción dialógica como unidad mínima de conocimiento / Dialogical Assertion as a Minimum Unit of Knowledge, Matemática Serie 2 para docentes de Secundaria Didáctica de la Matemática endobj Webhumana. By using our site, you agree to our collection of information through the use of cookies. En otras palabras, un sistema es completo si, para cada postulado, es posible encontrar una prueba; en términos generales, si existen suficientes axiomas para probar la verdad o la falsedad de cualquier postulado concebible en el sistema. Aunque nos ocuparemos más adelante de este concepto de axiomatización, basta por ahora adelantar que un sistema de axiomas es un conjunto de leyes o de supuestos iniciales a partir de los cuales se deriva un amplio cuerpo de teoremas. If you are author or own the copyright of this book, please report to us by using this DMCA report form. F.- ^grg khealkkfhegr lstl tlst dfsphedrç dl 72 ofeuths0, Do not sell or share my personal information. ¡No vale buscar la solución en Google! Obtén ahora tu licencia Premium y comienza a integrar las actividades de Educaplay en tu LMS, web o blog. PDF | On Apr 22, 2019, Gamal Cerda Etchepare and others published Test de Inteligencia Lógica Elemental TILE | Find, read and cite all the research you need … ¡Vamos a comenzar! Este test de lógica de autoevaluación consiste en 10 ejercicios o problemas presentados en imágenes, cuya resolución encontrarás al pie. Es ideal para niños de todas las edades y también para adultos, que quieran mantener su cerebro en buena forma. Tómate el tiempo que necesites para resolverlos. Web1 Clase 1 – Lógica proposicional. Repositorio Institucional de la Universidad Central de Venezuela. EN WWW.PUBLIMAKE.COM LO ENCONTRARAS TODO. Dadas la fórmula proposicional ϕ = ( p → q) ∧ ((¬ p → r ) → q) y una valoración v tal que v( p) = v(q) = 0, para que ] v = 1, ¿cuánto debe valer v(r )? endobj en Change Language. 444.4 611.1 777.8 777.8 777.8 777.8 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 Saltar directamente a la resolución de problemas puede llevar a la frustración y a la confusión. Y aunque a veces creamos que la respuesta a algo es muy obvia, nos la pueden colar en cualquier momento si no sabemos usar la mente bien. Webla respuesta sugerida es cero, pero en realidad la respuesta es $ 2.000. ya que si compro a 7.000 y vendo a 8.000 gano 1.000 y luego compro a 9.000 y vendo a 1.000 gano 1.000 … WebExamen de Reclutamiento – Matemática y Lógica Tiempo total: 60 minutos Por favor lea de manera cuidadosa estas instrucciones antes de comenzar la prueba. Webmera vez permitieran analizar la lógica de las inferencias matemáticas. Por último mostramos cómo corresponden las fórmulas que representan los tipos en el cálculo lambda con tipos con las fórmulas del calculo de deducción natural intuicionista para proposiciones, mostrando ciertas limitaciones de este resultado. Aportes a la Lógica Modal Proposicional (Contributions to Propositional Modal Logic), Colección de las cosas en clases naturales, El conocimiento colectivo desde un punto de vista lógico, Reasoning About an Ordering of Mathematical Theories, Lógica formal e informal: falacias y falsos argumentos (unidad didáctica), The Logic of Acceptance: Grounding Institutions on Agents' Attitudes, Obfuscation-based analysis of SQL injection attacks, Tema 1 Lógica de proposiciones y predicados de primer orden, Especificación y Análisis de Sistemas de Tiempo Real en Teoría de Tipos‡ Specification and Analysis of Real Time Systems in Type Theory, Importing Logics: Soundness and Completeness Preservation, Carlos Augusto Morales Santacruz LOS MÉTODOS DE DEMOSTRACIÓN EN MATEMÁTICA, Geoestadística en regiones heterogéneas con distancia basada en el coste, Anchoring institutions in agents' attitudes: towards a logical framework for autonomous multi-agent systems, CMDM: Un Modelo Conceptual para la Especificación de Bases Multidimensionales, Relación entre demostraciones lógicas y programas: Isomorfismo Curry-Howard, On the Minimum Many-Valued Modal Logic over a Finite Residuated Lattice, LIBRO LÓGICA Y RAZONAMIENTO EN INGENIERÍA LIBRO DEFINITIVO - copia (13).docx, MODELADO MATEMÁTICO de los Sistemas Mecánicos, Electricos y Electromecánicos. Si la utilidad de la aplicación de las formas matemáticas a la ciencia de la lógica fuese únicamente una cuestión de notación, me contentaría con hacer reposar la defensa de este intento sobre un principio establecido por un hábil escritor vivo: “Siempre que la naturaleza del tema permita que el proceso de razonamiento no corra el 9 19 29 39 49 59 69 79 89 90 91 92 93 94 95 96 97 98 99 109 = 21. la pregunta 4 de las 110 casas es en realidad 12 nueves... por que los nueves que hay hasta 110 son no mas 12, alguien me podría explicar el de las 110 casas, BIen, sobre el vendedor y comprador: al inicio compro a 7 y vendió a 8, se supone que gano 1, sin embargo eso el total es decir los 7 + 1 y encima tuvo que poner 1 más para poder llegar a 9, entonces cuando vendió a 10, el uno de ganancia suplió el 1 adicional que tuvo que poner para llegar a 9; por tanto, no gano nada, Alguien podría explicarme el del comerciante por favor D: (Un comerciante compró un artículo por $7.000 , lo vendió por $8.000, lo volvió a comprar por $9.000 y lo vendió finalmente por $10.000 ?Cuánto beneficio sacó?). Saber UCV. Escriba su nombre … To browse Academia.edu and the wider internet faster and more securely, please take a few seconds to upgrade your browser. Ejercicio Razonamiento Abstracto. Lee bien el enunciado y presta toda la atención necesaria para no equivocarte, no va a ser fácil. To browse Academia.edu and the wider internet faster and more securely, please take a few seconds to upgrade your browser. Guifei Jiang, Laurent Perrussel, Heng Zhang. Con respecto al tercer requisito, un sistema de axiomas es independiente si ningún axioma puede ser deducido de los demás. Puedes memorizar fórmulas y reglas para desentrañar muchos problemas matemáticos, pero esto no significa que simplemente hayas entendido o captado los conceptos centrales que hay detrás de lo que estás haciendo. Se puede definir la lógica como la ciencia que estudia la forma del pensamiento y sus procesos (demostración, … Fragmentos decidibles e indecidibles en la Lógica de primer orden, Tesis Doctoral Estudio de la paradoja del mentiroso y afines, Un primer curso de Lógica Para estudiantes de Filosofía, %5BRoberto Torretti%5D El Paraíso de Cantor La Tradi%28BookFi.org%29 %281%29 %281%, Dos Tópicos de Lógica Matemática y sus Fundamentos, El Teorema de Completitud de Gödel, el Teorema del Colapso Transitivo de Mostowski y el Principio de Reflexión, Algunos tópicos de Lógica matemática y los Fundamentos de la matemática, UNIVERSIDAD AUTONOMA METROPOLITANA UNIDAD IZTAPALAPA TEOR´IA DE ECUACIONES DIFERENCIALES ORDINARIAS. >> /LastChar 196 Hecho esto, presentamos el cálculo lambda de en dos versiones, sin tipos y con tipos simples. Debes recordar que para resolver problemas de razonamiento lógico matemático no requieres muchos conocimientos de matemática, la mayor parte de los problemas se resuelven utilizando matemática elemental, pero eso sí, debes utilizar mucho raciocinio; estos problemas son comunes en los exámenes de admisión a institutos, universidades, etc. /Differences[0/x0/x1/x2/x3/x4/x5/x6/x7/x8/x9/xa/xb/xc/xd/xe/xf/x10/x11/x12/x13/x14/x15/x16/x17/x18/x19/x1a/x1b/x1c/x1d/x1e/x1f/x20/x21/x22/x23/x24/x25/x26/x27/x28/x29/x2a/x2b/x2c/x2d/x2e/x2f/x30/x31/x32/x33/x34/x35/x36/x37/x38/x39/x3a/x3b/x3c/x3d/x3e/x3f/x40/x41/x42/x43/x44/x45/x46/x47/x48/x49/x4a/x4b/x4c/x4d/x4e/x4f/x50/x51/x52/x53/x54/x55/x56/x57/x58/x59/x5a/x5b/x5c/x5d/x5e/x5f/x60/x61/x62/x63/x64/x65/x66/x67/x68/x69/x6a/x6b/x6c/x6d/x6e/x6f/x70/x71/x72/x73/x74/x75/x76/x77/x78/x79/x7a/x7b/x7c/x7d/x7e/x7f/x80/x81/x82/x83/x84/x85/x86/x87/x88/x89/x8a/x8b/x8c/x8d/x8e/x8f/x90/x91/x92/x93/x94/x95/x96/x97/x98/x99/x9a/x9b/x9c/x9d/x9e/x9f/xa0/xa1/xa2/xa3/xa4/xa5/xa6/xa7/xa8/xa9/xaa/xab/xac/xad/xae/xaf/xb0/xb1/xb2/xb3/xb4/xb5/xb6/xb7/xb8/xb9/xba/xbb/xbc/xbd/xbe/xbf/xc0/xc1/xc2/xc3/xc4/xc5/xc6/xc7/xc8/xc9/xca/xcb/xcc/xcd/xce/xcf/xd0/xd1/xd2/xd3/xd4/xd5/xd6/xd7/xd8/xd9/xda/xdb/xdc/xdd/xde/xdf/xe0/xe1/xe2/xe3/xe4/xe5/xe6/xe7/xe8/xe9/xea/xeb/xec/xed/xee/xef/xf0/xf1/xf2/xf3/xf4/xf5/xf6/xf7/xf8/xf9/xfa/xfb/xfc/xfd/xfe/xff] Esta prueba no requiere conocimientos previos en el campo de las Tecnologías de la Información (TI). El objetivo del presente trabajo es mostrar la correspondencia entre el cálculo de deducción natural intuicionista y el cálculo lambda con tipos, conocida como isomorfismo Curry-Howard. TODO. Lógica proposicional Universidad Abierta y a Distancia de México, Fundamentos de matematicas Espol capitulo 1, Análisis didáctico de un proceso de estudio de lógica en la UNE, LIBRO LÓGICA Y RAZONAMIENTO EN INGENIERÍA LIBRO DEFINITIVO - copia (13).docx, FUNDAMENTOS DE LA LÓGICA MATEMÁTICA LILIANA PATRICIA OSPINA MARULANDA SERGIO AUGUSTO CARDONA TORRES DARÍO ÁLVAREZ MEJÍA, UNIVERSIDAD PERUANA DE INVESTIGACIÓN Y NEGOCIOS Lógica Proposicional, Edison Diaz aporte individual fase dos (1), UNIVERSIDAD CENTRAL DEL ECUADOR CURSO DE NIVELACIÓN DE CARRERA MATEMÁTICA BÁSICA, Un primer curso de Lógica Para estudiantes de Filosofía, UNIVERSIDAD CENTRAL DEL ECUADOR CURSO DE NIVELACIÓN DE CARRERA CONSULTA N°1 APELLIDOS Y NOMBRES: TACO BATSON DIANA ISABEL, Cálculo proposicional Principios y métodos de análisis lógico. De no ser así, nos enorgullece ser los primeros en presentar esta clase de tests para ti. Los sistemas de axiomas deben satisfacer varias condiciones; la primera es la consistencia: es consistente todo sistema axiomático que no se contradice a sí mismo. y también en algunos concursos para postular a un puesto de trabajo (entrevistas laborales). 1.2 INTRODUCCIÓN a la LÓGICA DE LA PROPOSICIÓN. Escriba su nombre … And if so, is there a simple deductive framework to reason about it? 1. Tal vez desde Tales (siglo VI aC), la prueba o demostración ha desempeñado un papel fundamental en las matemáticas. Miguel Angel Beltran Rojas. Esto te da la oportunidad de absorber lo que estás aprendiendo y ayuda a aumentar el pensamiento lógico y el análisis matemático. 500 500 611.1 500 277.8 833.3 750 833.3 416.7 666.7 666.7 777.8 777.8 444.4 444.4 El juego de los principios. ��-�f=���@�2nCg�D�Kdp��a,هUNR+��̸�#�A.�?��w4f�E��;ջ+�ڑl���O��΁��e. Saber UCV. AVERIGUA cada término geométrico por su ANAGRAMA ...... AVERIGUA el cociente de cada DIVISIÓN...... Educaplay es una aportación de ADR Formación a la comunidad educativa, R̨̖̳͕o̭͔̠̺b̛̤̫̱̲̹̖e̹͇r͠t͇͜o͎̺͉͞ ̹͝g̷̖̦̬̗o̫̲͕ń̰͍̮͍z̮a̩͓̻̩̫̮͞l̶͍̱̼̜͎̬e͖̻̲z͖͔̪͎̣. Crea tu propia actividad gratis desde nuestro creador de actividades, Compite contra tus amigos para ver quien consigue la mejor puntuación en esta actividad. Lee bien el enunciado y presta toda la atención necesaria para no equivocarte, no va a ser fácil. Puedes obtener más información y volver a configurar tus preferencias en cualquier momento en la Política de cookies. Test de Razonamiento y de Inteligencia Logica. Se trata de estudiar principios de demostración e deducción válida. El resultado podría ser extendido a una semántica intensional donde los procesos de deducción son entendidos como el uso de patrones inferenciales específicos. 20 0 obj Enter the email address you signed up with and we'll email you a reset link. Esto hace que sea más difícil resolver problemas con éxito, y también hace que sea bastante imposible absorber fácilmente la nueva información. Igualmente importantes son los papeles esenciales que desempeñan el álgebra, las funciones y las relaciones, la lógica, la estructura matemática y el trabajo matemático en la comprensión del mundo natural y humano, y la interacción entre ambos. En las secciones siguientes, trataremos de entender qué es el razonamiento matemático y cuáles son los términos básicos utilizados en el razonamiento matemático. Open navigation menu. Es muy difícil probar la completud de un sistema de axiomas ya que para ello sería necesario tomar en cuenta todas las pruebas posibles, pero existen métodos para probar la independencia y, en menor medida, la consistencia. /Filter[/FlateDecode] To browse Academia.edu and the wider internet faster and more securely, please take a few seconds to upgrade your browser. it. /Type/Font f38 Lógica Matemática para Informáticos (a) Elige una signatura 6hum adecuada y define una 6hum -estructura A que represente el universo de los seres humanos junto con los tres predicados citados. J. Sci. Tópicos de Lógica Matemática Prof. Enrique Li Lógica Es el estudio de los principios y métodos utilizados para distinguir el razonamiento correcto del incorrecto. Lógica proposicional Universidad Abierta y a Distancia de México, Análisis didáctico de un proceso de estudio de lógica en la UNE, Logica y argumentacion Alfonso Bustamante Arias FREELIBROS.ORG, Lógica y argumentación- De los argumentos inductivos a las álgebras de Boole, Bustamante Arias Alfonso - Logica Y Argumentacion[1], . Bookmark. Esta idea es por lo menos paradójica puesto que, si la habilidad de razonar se ha destacado siempre como lo que distingue al ser humano de las demás especies vivas, entonces lo que la lógica pretende es mecanizar el rasgo más humano. This document was uploaded by user and they confirmed that they have the permission to share it. Introducción Desde sus inicios, la lógica ha sido un intento de mecanizar o de sistematizar los procesos de razonamiento. cada Tomo tiene 200 paginas, pero son 100 hojas. A pesar de ello, el desarrollo de los procesos de sistematización del pensamiento ha sido una constante, sobre todo desde la segunda mitad del siglo XIX, aunque sus orígenes, como los de casi todo, están en la antigua Grecia; los griegos ya sabían que el razonamiento es un proceso basado en esquemas o patrones y que, al menos parcialmente, está gobernado por leyes. �=� �H�Nɧ۽R��_��U�����*�������:5G���ؑ��]")P��uI���k�h8��+��σz; �7g�33�0�Ҷ�i��j-�Z��� �ԔwA}ʻ5�F*�Hz����U���~��8���I�y�a{�F*�:���b u��� )#RPD���[�"� ���1z\ֵ�iM�dKޮ�@�{%�5jGd1R����Jj�:D��``,C2>�Q�Z�ZC5#��@�������-ۋ��ɚ����A;)����8SJ���[� ��� stream << ¿Este contenido es inapropiado? Test de Razonamiento y de Inteligencia Logica. (Con Sus Soluciones) 1.- TEST DE RAZONAMIENTO Y DE INTELIGENCIA LOGICA. Los test que componen este tipo de ejercicios suelen ser series de números y de letras. completar la misma. operaciones matemáticas simples. 1, 2, 3, 4, 5, ……. Report DMCA, Razonamiento Lógico Matemático Ejercicios Resueltos Hola, bienvenido a mi blog, en ésta entrada encontraras problemas resueltos y propuestos de razonamiento lógico matemático, la mayoría de los problemas estan resueltos en video. �FM�Vu�^.a�J�e�DF�?Id9����AAD� Los test que componen este tipo de ejercicios suelen ser series de números y de letras. Entre 1830 y 1850 había sur- WebExamen de Reclutamiento – Matemática y Lógica Tiempo total: 60 minutos Por favor lea de manera cuidadosa estas instrucciones antes de comenzar la prueba. En términos generales, las matemáticas se aplican en todos los ámbitos de la vida. Cargado por Alejandra Pinto. Repositorio Institucional de la Universidad Central de Venezuela. Los test que componen este tipo de ejercicios … Los vínculos directos con el plan de estudios de Victoria: Matemáticas destacan las conexiones entre la actividad y las habilidades y conocimientos matemáticos previamente desarrollados por los alumnos. Academia.edu no longer supports Internet Explorer. The central questions I address here are: Can the interpretability relation be made precise? En el siglo pasado, nuevos aportes dieron lugar a un desarrollo intensivo de la lógica, que sufrió una transformación completa y adoptó un carácter semejante al de una disciplina matemática. Puedes aceptar todas las cookies pulsando el botón "Aceptar" o configurarlas o rechazar su uso pulsando el botón "Configurar". 53-76, Introduccion a la teoria de automatas lenguajes y computacion, CUADERNILLO DE APUNTES DE MATEMÁTICAS DISCRETAS (PRIMER SEMESTRE) INGENIERÍA EN SISTEMAS COMPUTACIONALES, Mirada Superficial al Algebra y Pre Calculo, El cálculo de proposiciones y de predicados, Relación entre demostraciones lógicas y programas: Isomorfismo Curry-Howard, La prueba, la demostración y el juego de la lógica, Logica y argumentacion Alfonso Bustamante Arias FREELIBROS.ORG, Lógica y argumentación- De los argumentos inductivos a las álgebras de Boole. Esta primera etapa del álgebra de la lógica fue significativamente diferente de una se-gunda etapa, asociada con los nombres de Frege, Cantor, Dedekind, Peano y Russell, y con el objetivo de formular una “ lógica de las matemáticas ”. << (con sus soluciones) Kuder C (cuadernillo) aquimí. ¿Quieres aparecer en el Top 10 de esta actividad? WebRazonamiento logico matematico santillana.pdf. xڭXKs�6��W�H�XߢzsR�I��d�d� ���D� ����/H�%�����X�~�o�Y'�l3����ۻ7�Y�ƫrv�8+�,N��"O�z9���>2��w�f7w��β$�*�̋�X�U�2R���*�n�+&{ˊU�)����E^Q�yVE��L�X�jnu? WebDinos, ¿Has hecho un test de matemáticas antes? Quedamos entonces con un sistema que podría interpretarse como la definición formal de una semántica para el cálculo de decucción natural intuicionista donde la noción de construcción queda interpretada como cómputo expresable via cálculo lambda. Fotograma de la película 'Descifrando Enigma' ('The imitation game), Copyright © Conecta 5 Telecinco, S. A. Si quieres continuar insertando actividades en Google Classroom, contrata ahora un plan. NOCIONES ELEMENTALES DE LÓGICA MATEMÁTICA Y TEORÍA DE CONJUNTOS, Matemáticas Discretas Capitulo I Introducción -Lógica proposicional y de predicados INTRODUCCION Qué es Matemáticas Discretas ? Introducción La Lógica Matemática es la rama de las Matemáticas que nos permite comprender sobre la validez o no de razonamientos y demostraciones que se realizan. Church como un formalismo para definir funciones computables, siendo un planteamiento más abstracto de la noción de computabilidad que el de las máquinas de Turing. 7 0 obj WebEl objetivo del presente trabajo es mostrar la correspondencia entre el cálculo de deducción natural intuicionista y el cálculo lambda con tipos, conocida como isomorfismo Curry … 12 0 obj Si tienes menos de 14 años, pide a tu padre, madre o tutor que lea este mensaje antes de continuar. La información permite afirmar correctamente que: Un niño o niña de 1 año debe pesar aproximadamente 3 … Así que en Yasss te hemos preparado un test para que sepas cómo vas de lógica. Student Development in Logical Reasoning: Resultados de una intervención que guía a los estudiantes a través de diferentes modos de representación visual y formal. 21 0 obj Irving M. Copi – Carl Cohen 1 f Enunciado Será llamado enunciado a toda frase u oración que se usa en el lenguaje común. >> Se destacan y explican los contenidos y las habilidades numéricas, con especial atención a cómo los vínculos numéricos mejoran los conceptos específicos del área de aprendizaje. You can download the paper by clicking the button above. /Length 221 << Academia.edu no longer supports Internet Explorer. You can download the paper by clicking the button above. /Name/F5 Test de Razonamiento y de Inteligencia Logica. 21, 378-399 (2021). https://doi.org/10.1007/s42330-021-00148-4Download citationShare this articleAnyone you share the following link with will be able to read this content:Get shareable linkSorry, a shareable link is not currently available for this article.Copy to clipboard. 100% (1) ... PDF, TXT o lea en línea desde Scribd. WebOtros exámenes de interés : 1eso pitagoras 1.0 Examen Razonamiento Lógico Preparatoria Razonamiento Lógico Matemático DSU Examen creado con That Quiz — el sitio para crear … If you are author or own the copyright of this book, please report to us by using this DMCA Para ser utilizado en un LMS (Moodle, Blackboard...), La descarga de actividades es una característica exclusiva para usuarios. Habrás oído hablar de ella como parte de la filosofía y también, de la lógica matemática. Sin embargo, existe además, una definición quizás más próxima a la cotidianeidad. En tal sentido, la lógica es una forma de razonar que se considera coherente o de sentido común. /BaseFont/HRTPEN+CMSY10 0 0 0 0 0 0 0 0 0 0 777.8 277.8 777.8 500 777.8 500 777.8 777.8 777.8 777.8 0 0 777.8 Educaplay utiliza cookies propias y de terceros para fines analíticos anónimos, guardar las preferencias que selecciones, personalizar la publicidad que ves a partir de tus hábitos de navegación y para el funcionamiento general de la página. La relación ternaria que se da entre una persona y sus dos progenitores. endstream Sorry, preview is currently unavailable. close … << PDF | On Apr 22, 2019, Gamal Cerda Etchepare and others published Test de Inteligencia Lógica Superior TILS | Find, read and cite all the research you need … 21, No. Hoja de Respuestas Kuder Vocacional. Todavía no hay resultados para esta actividad. To learn more, view our Privacy Policy. << )]��g�A��F�y��gQ$��^Ñ���e�Z��xYN��U�Q�_�"=�"kȴ��� �7^����6n���XF��d=�]����B�i���:h��� �.���)S��$�Y��N����c��¬ꒆ������@{,� A través del examen de lógica matemática se busca obtener datos objetivos sobre Chs tlst qul khophele lstl tfph dl l`lrkfkfhs sulcle slr slrfls dl eðolrhs y dl cltrgs. Para dar una idea inicial de acerca de qué cosa es una prueba, tomemos una idea que estuvo vigente hasta los tiempos de Platón: que cualquier longitud o cualquier área puede expresarse por un número racional. Si lo deseas, puedes descargar una actividad de prueba aquí y probar su integración: Has superado el número máximo de actividades que pueden compartirse en Google Classroom para tu tipo de cuenta. Orientación:  Una orientación crítica para interpretar los resultados matemáticos y hacer juicios basados en la evidenciaLos recursos destacan lo que es la aritmética con respecto a cada área de aprendizaje, y esbozan por qué es importante desarrollar las capacidades numéricas de los estudiantes dentro del área de aprendizaje. WebAbs 1. Crea tu propia actividad gratis desde nuestro creador de actividades, Compite contra tus amigos para ver quien consigue la mejor puntuación en esta actividad. Puedes aceptar todas las cookies pulsando el botón "Aceptar" o configurarlas o rechazar su uso pulsando el botón "Configurar". Los matemáticos siempre han utilizado la prueba para determinar cuáles postulados son verdaderos y cuáles no. Aunque te parezca una chorrada, se trata de una especie de ‘sexto sentido’ que unos tienen más desarrollado que otros. La teoria de conjuntos y los fundamentos - Lewin, Renato(Author), Algunas Aplicaciones de la Teoría de Conjuntos a la Topologíá, %5BRoberto Torretti%5D El Paraíso de Cantor La Tradi%28BookFi.org%29 %281%29 %281%, Dos Tópicos de Lógica Matemática y sus Fundamentos, Álgebras booleanas, órdenes parciales y axioma de elección, El Método de Forcing: Algunas aplicaciones y una aproximación a sus fundamentos metamatemáticos, El Teorema de Completitud de Gödel, el Teorema del Colapso Transitivo de Mostowski y el Principio de Reflexión, Algunos tópicos de Lógica matemática y los Fundamentos de la matemática, Muñoz Q, José M. - Teoría de Conjuntos (1), Matemáticas discretas Schaum Lipschutz & Lipson 3ed, (Serie de Compendios Schaum) Seymour Lipschutz Marc Lipson Matemáticas discretas McGraw Hill (2009), Publicaciones Electrónicas Sociedad Matemática Mexicana Teoría Cantoriana de los Conjuntos, Teoría de la Computación Apuntes y Ejercicios, Introduccion a la teoria de conjuntos - Lia Oubiña, ESCUELA DE CIENCIAS BASICAS, TECNOLOGIA E INGENIERIA MODULO DE LOGICA MATEMÁTICA UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA ESCUELA DE CIENCIAS BÁSICAS, TECNOLOGÍA E INGENIERÍA CIENCIAS BÁSICAS LÓGICA MATEMÁTICA. endobj report form. WebLa lógica es la ciencia que estudia los métodos y principios usados para distinguir el razonamiento correcto del incorrecto. WebMATEMÁTICAS DISCRETAS,[TI-02-02] - C1[37356] - P / Actividades contacto con el docente / TEST_2. PDF. /Subtype/Type1 To browse Academia.edu and the wider internet faster and more securely, please take a few seconds to upgrade your browser. WebExamen de Reclutamiento – Matemática y Lógica Tiempo total: 60 minutos Por favor lea de manera cuidadosa estas instrucciones antes de comenzar la prueba. 777.8 777.8 1000 1000 777.8 777.8 1000 777.8] Sorry, preview is currently unavailable. Has superado el número máximo de actividades que pueden compartirse en Microsoft Teams para tu tipo de cuenta. Si lo deseas, puedes descargar una actividad de prueba aquí y probar su integración: Has superado el número máximo de actividades que pueden compartirse en Google Classroom para tu tipo de cuenta. - Alfaomega Grupo Editor 2013, LÓGICA Y TEORÍA DE CONJUNTOS NOCIONES DE LÓGICA CONJUNTOS Y SUS APLICACIONES . Aristóteles, por ejemplo, descubrió las leyes de los silogismos y Euclides las de la geometría; pero tuvieron que transcurrir muchos siglos para que ocurrieran otros progresos en la axiomatización del razonamiento. Sobre esto presentamos los cálculos lógicos de Gerhard Gentzen: el cálculo de deducción natural y el cálculo de secuentes, tanto para lógica clásica y la lógica intuicionista. WebRazonamiento logico matematico santillana.pdf. Se expone cómo se constituye un sistema lógico, cuáles son las propiedades que debe satisfacer y en qué marco teórico se realiza el estudio de estas propiedades. /Type/Encoding Web1.- TEST DE RAZONAMIENTO Y DE INTELIGENCIA LOGICA. TODO. Si quieres continuar insertando actividades en Google Classroom, contrata ahora un plan. Sign In. LÓGICA PROPOSICIONAL 00 00 11 11 0 0 1 1 00 00 11 11 0 0 1 1 00 11 00 11 00 00 11 11 0 1 00 11 00 00 11 11 00 00 11 11 0 1 00 00 11 11 0 0 0 1 1 1 000 000 111 111 00 00 11 11 00 00 11 11 0 0 1 1 0 1 0 0 1 1 00 11 00 11 00 00 11 11 00 11 0 0 1 1 0 1 0 0 1 1 00 11 00 11 0 0 1 1 0 1 00 11 00 11 00 11 0 1 0 1 0 1 0 1 00 11 0 1 0 0 1 1 0 0 1 1 0 1 0 1 00 00 11 11 0 1 0 1 00 11 0 1 0 1 0 1 00 00 11 11 0 1 00 11 00 11 00 11 0 1 00 11 00 00 11 11 0 0 1 1 0 1 00 11 0 0 1 1 000 000 111 111 0 1 0 0 1 1 0 1 00 00 11 11 00 1100 00 11 11 1.11. WebComo hemos visto, en lógica de Lewis, puede aceptarse axiomáticamente la necesidad de que ‘si es posible que se den dos cosas entonces es posible que se dé cada una de ellas’; pero … Math. Universidad de Salamanca, Salamanca, This thesis concerns interpretability, a concept in logic describing how mathematical theories relate to one another. WebNuestra colección de libros de lógica en formato PDF facilita su estudio. yo no entiendo el de las paginas, alguien podria explicarmelo? Los estudiantes que desean aspirar a lo más alto en la vida necesitan averiguar su propósito. Razonamiento Abstracto Libro - Copia. MOISÉS LÁZARO CARRIÓN % Sólo fines educativos, Capítulo 4: LÓGICA DE PROPOSICIONES 4.1 Introducción, Logica y argumentacion - Alfonso Bustamante Arias. Enter the email address you signed up with and we'll email you a reset link. 666.7 666.7 666.7 666.7 611.1 611.1 444.4 444.4 444.4 444.4 500 500 388.9 388.9 277.8 Web- test de razonamiento matematico - test de lógica y razonamiento - test razonamiento verbal - test razonamiento numerico - pruebas de razonamiento verbal - pruebas de … ¡Sé el primero en aparecer en el ranking! Obtén ahora tu licencia Premium y comienza a integrar las actividades de Educaplay en tu LMS, web o blog. /Length 1763 Puedes aplicar estos consejos a cualquier concepto matemático que estés aprendiendo. El razonamiento matemático, por su parte, ayuda a los individuos a construir un pensamiento crítico matemático y un razonamiento lógico. encuentra las palabras que contengan las características de la cronica... Educaplay es una aportación de ADR Formación a la comunidad educativa. FJ���q��t�{�!\�� �q�W� ��xo�+�Z4�ÛxJ�y8���d���o|'b8&&��{|��5(�l��ÎAZF�f�_^�c8�@�%;t��Eoy(��L���\�)'Ʋ����{�Jl����WX��ns����U���������5�ϥy;1�y�J^��3�vgT��D.��5��x��L También deberías trabajar en los problemas de práctica que te asignen tus profesores antes de realizar cualquier tarea. - Test de Razonamiento Lógico 01, Razonamiento Lógico Matemático Ejercicios Resueltos, Razonamiento Abstracto-ejercicios Resueltos, Razonamiento-inductivo Ejercicios Resueltos, Razonamiento Verbal De Todo (ejercicios Resueltos).docx, Ejercicios Resueltos De Razonamiento Matematico Preuniversitario (nxpowerlite), 46 Ejercicios Resueltos De Razonamiento Abstracto U, 100 Ejercicios Resueltos De Razonamiento Numerico, Infile - Decreto Del Congreso 49-96 Entidades Descentralizadas.pdf. El problema de las paginas ya lo entendi. Aquí tienes un PDF descargable. Academia.edu no longer supports Internet Explorer. El propósito de las matemáticas no es sólo obtener calificaciones. Intenta estudiar la teoría de tu libro de texto y obtener más ejemplos matemáticos y concéntrate en las clases. 2023 Todos los derechos reservados, Hace crecer los rumores de una relación con Aitana. Matemáticas Discretas incluye, Tercera edición, julio de 1992 Segunda edición, febrero de 1992, CUADERNILLO DE APUNTES DE MATEMÁTICAS DISCRETAS (PRIMER SEMESTRE) INGENIERÍA EN SISTEMAS COMPUTACIONALES, 01 MATEMÁTICAS LÓGICA PROPOSICIONAL- Compendio N° 01, 13052014Logica y Argumentacion 1ed Bustamante, Introducción al pensamiento matemático Unidad 1. Razonamiento logico matematico santillana.pdf. 1. 820.5 796.1 695.6 816.7 847.5 605.6 544.6 625.8 612.8 987.8 713.3 668.3 724.7 666.7 una introducción al método axiomático (Buenos Aires: A-Z Editora, 2013) (Texto completo en PDF). La VCAA dispone de información detallada sobre las exigencias numéricas del plan de estudios victoriano en la página web, Tutorial de Algoritmos y Estructuras de Datos, INTRODUCCIÓN a la LÓGICA DE LA PROPOSICIÓN, Preguntas y respuestas – Cómo aprobar la prueba de aptitud, Razonamiento logico matematico ejercicios resueltos, Ejercicios de razonamiento lógico matemático para primaria…, Ejercicios de razonamiento matematico pdf, Ejercicios de continuidad de funciones resueltos pdf, Ejercicios de maduración para primer grado, Ejercicios para tercero de primaria de todas las materias, Ejercicios de combinaciones para niños de cuarto grado, Ejercicios de permutaciones resueltos pdf. Techn. Para ver si un sistema es completo se requiere de la prueba o de la demostración; por ejemplo, para saber si P es un postulado del sistema, la prueba consiste en una secuencia de postulados donde cada uno de ellos o es un axioma o es una consecuencia lógica de los precedentes; el último postulado de la secuencia sería P, que es el que se quiere probar. stream Después de descargarlo, podrás leer ‘Razonamiento matemático’ sin conexión a internet cuando te convenga y tantas veces como quieras. /FontDescriptor 19 0 R Formulario de Fundamentos de ... Aplicaciones de matemática y cálculo a situaciones reales. WebDownload Free PDF. Pruebas de lógica matemática. Enter the email address you signed up with and we'll email you a reset link. Has superado el número máximo de actividades que pueden compartirse en Microsoft Teams para tu tipo de cuenta. Cada serie sigue una regla de composición lógica que usted deberá … << Sorry, preview is currently unavailable. 1.1 Tutorial de Algoritmos y Estructuras de Datos. Este cálculo fue presentado y usado por A. Daniel Manrique Gamo y María del Carmen Suárez de Figueroa Baonza La lógica matemática para niños es una herramienta necesaria para que los pequeños de la casa vayan aprendiendo y asimilando conceptos matemáticos que son de gran utilidad en la vida diaria de las personas. WebGuardar Guardar Test Lógica 4 para más tarde. Celebrado en Salamanca, España, los días 3-11 de mayo de 2004. Garcia Zarate Oscar A Introducción a la Lógica LitArt.PDF, FUNDAMENTOS DE LA LÓGICA MATEMÁTICA LILIANA PATRICIA OSPINA MARULANDA SERGIO AUGUSTO CARDONA TORRES DARÍO ÁLVAREZ MEJÍA, UNIVERSIDAD PERUANA DE INVESTIGACIÓN Y NEGOCIOS Lógica Proposicional, REPÚBLICA BOLIVARIANA DE VENEZUELA UNIVERSIDAD DE CARABOBO FACULTAD DE CIENCIAS ECONÓMICAS Y SOCIALES CAMPUS LA MORITA, Bustamante Arias Alfonso Logica Y Argumentacion, CÁLCULO CICLO VI LUIS FERNANDO LÓPEZ MUÑOZ, UNIVERSIDAD CENTRAL DEL ECUADOR CURSO DE NIVELACIÓN DE CARRERA MATEMÁTICA BÁSICA, Un primer curso de Lógica Para estudiantes de Filosofía, UNIVERSIDAD POLITECNICA ESTATAL DEL CARCHI SISTEMA NACIONAL DE NIVELACIÓN Y ADMISION ADMINISTRACIÓN PÚBLICA PORTAFILIO VIRTUAL HOMBRES, GUÍA DE LÓGICA TEMA 1: NOCIONES FUNDAMENTALES DE LÓGICA HISTORIA DE LA LÓGICA, Unidad 1 Cálculo proposicional y Cálculo de predicados, ELEMENTOS DE L ´ OGICA Y TEOR´IA DE CONJUNTOS, LÓGICA MATEMÁTICA UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA -UNAD - ESCUELA DE CIENCIAS BÁSICAS, TECNOLOGÍA E INGENIERÍA UNIDAD DE CIENCIAS BÁSICAS Bogotá D. C, 2008, Lógica y teoría de conjuntos Moisés Lázaro FREELIBROS.ORG, FORMALIZACIÓN Y VALORACIÓN DE PROPOSICIONES, Fundamentos matemáticos para ingeniería y ciencias - V.V.A.A. Hipaso mostró que éste era un supuesto erróneo y que la diagonal de un cuadrado no podía ser comparada con las longitudes de sus lados; dicho en términos más actuales, que la diagonal de un cuadrado cuyos lados son racionales no tiene una longitud racional.