Lógica matemática y demostraciones

Por dónde empezar

La unidad Lógica matemática y demostraciones forma parte de Matemáticas, dentro de Lógica, conjuntos y razonamiento. Para comenzar, puedes consultar los apuntes de introducción a la lógica matemática, que presentan las proposiciones y el uso de símbolos y conectores para expresar razonamientos con claridad.

Después, el mapa «Conectores Lógicos y Tablas de Verdad» reúne proposiciones simples y compuestas, conectivos y tablas de verdad. Úsalo para localizar los conceptos que quieras repasar antes de pasar a los ejercicios.

De las proposiciones a las tablas

El mapa «Logica y Cálculo Proposicional» organiza las proposiciones, los operadores lógicos y su clasificación. Puedes compararlo con «Conectores lógicos», que incluye la conjunción y la disyunción, sus símbolos, lecturas y ejemplos. Así tendrás distintas formas de ordenar el mismo tema.

El cuestionario «Lógica Matemática» incluye preguntas sobre proposiciones y tablas de verdad. Una forma de combinar los formatos es revisar primero un mapa, responder el cuestionario y volver al apartado correspondiente cuando una pregunta te haga dudar. Las fichas sobre lógica proposicional también ofrecen definiciones breves para repasar.

Cuantificadores y demostraciones

Cuando quieras ampliar el recorrido, encontrarás mapas sobre cuantificadores y presentaciones dedicadas al cuantificador existencial y al universal afirmativo. Puedes relacionarlos con los apuntes sobre la validez de razonamientos en el cálculo de predicados.

La página también incluye «Métodos de Demostración», un mapa sobre los principios de la inducción matemática y «Razonamiento Deductivo e Inductivo». Los apuntes sobre métodos para probar la validez de argumentos ofrecen otro punto de partida para revisar cómo se justifican los razonamientos.

Otros materiales para repasar

Además de mapas y cuestionarios, hay fichas sobre las aportaciones de Kurt Gödel, apuntes sobre tablas de verdad y recursos de lógica de conjuntos. La variedad permite elegir entre una visión organizada de los conceptos, definiciones breves y preguntas para practicar.

Los materiales son creaciones de usuarios de GoConqr. Puedes recorrer varios recursos sobre un mismo concepto y escoger la explicación que te resulte más clara. Para continuar, abre un mapa y compáralo con un cuestionario del mismo tema.