Este es el primero de una serie de cursos de geometría en matemáticas para estudios generales. Explica más sobre los conceptos geométricos, la geometría euclidiana y los triángulos congruentes. El material comienza con una introducción a la lógica simbólica. Las declaraciones lógicas se pueden analizar mediante símbolos. Cuando tratamos de sacar conclusiones de las afirmaciones, descubrimos que sus significados y relaciones con otras declaraciones no siempre son claros. Al representar estas afirmaciones utilizando una lógica simbólica, podemos llegar más fácilmente a conclusiones válidas. Las declaraciones condicionales aparecen en todas partes. En nuestra vida cotidiana, los eventos se pueden representar fácilmente con la expresión «Si P, entonces Q». Las declaraciones condicionales son realmente importantes y aprenderás sobre las diferencias entre ellas y las declaraciones bicondicionales. Una tabla de verdad tiene columnas que son afirmaciones y filas que representan posibles escenarios. Contiene todos los escenarios posibles y los valores de verdad que se producirían. Este curso describe la importancia de las tablas de verdad, las tautologías y las relaciones de equivalencia. Las demostraciones formales consisten en una secuencia de afirmaciones que se utilizan para demostrar la necesidad lógica de una conclusión dada. Aprenderás cómo probar la validez de un argumento

continuación, se le introduce en el estudio del pensamiento crítico, que nos permite demostrar que las afirmaciones son ciertas. En lugar de hacer una tabla de veracidad para cada argumento, es posible que podamos reconocer ciertas formas comunes de argumentos que son válidos o inválidos. Si podemos determinar que un argumento se ajusta a una de las formas comunes, podemos afirmar inmediatamente si es válido o inválido. Estas leyes de inferencia nos permiten demostrar que las afirmaciones matemáticas son verdaderas. En la lógica proposicional y el álgebra booleana, las leyes de De Morgan son un par de reglas de transformación que son reglas de inferencia válidas. Las reglas permiten la expresión de conjunciones y disyunciones únicamente en términos mutuos mediante la negación. Aprenderá sobre la aplicación de esta ley y las diferentes formas en que se define. Las expresiones cuantificadoras son marcas de generalidad. En inglés se clasifican en diversas categorías, pero los determinantes (como todos, cada uno, algunos, muchos, la mayoría y pocos) proporcionan algunos de los ejemplos más comunes de

A continuación, este curso presenta la geometría euclidiana, un sistema matemático atribuido al matemático griego Euclides. Aprenderás sobre las relaciones entre figuras tanto en planos bidimensionales como en espacios tridimensionales. Aunque hay muchos tipos de geometrías que se basan en diferentes superficies, la superficie plana es la que mejor se aproxima a las pequeñas superficies con las que trabajamos a diario. Para crear un sistema geométrico, es necesario establecer un sistema de postulados. Euclides creó un conjunto de suposiciones o postulados a partir de los cuales sacó conclusiones: estas son las reglas que usaremos al estudiar la geometría euclidiana. A continuación, estudias triángulos congruentes. En geometría, dos figuras u objetos son congruentes si tienen la misma forma y tamaño, o si uno tiene la misma forma y tamaño que la imagen reflejada del otro. Aprenderás sobre los métodos para demostrar la congruencia de los triángulos y las desigualdades de un triángulo. ¿Por qué no te registras en este curso ahora y comienzas a mejorar tus habilidades de pensamiento lógico y geometría