Ciencias Básicas en Acción

La lógica es una ciencia formal, además de una rama de la filosofía que estudia los principios de la demostración. La Lógica estudia la validez de los argumentos en términos de su estructura (estructura lógica) independientemente del discurso y de la lengua utilizada en su expresión. Con el uso de la Lógica Matemática como lenguaje, se establecen criterios de verdad, se emplean métodos de análisis y razonamiento; y, se usan implicaciones y equivalencias lógicas para conocer cómo se realiza una demostración. Considerando que los conjuntos constituyen uno de los conceptos básicos de las matemáticas, se puede obtener una descripción detallada de los fundamentos de la Teoría de Conjuntos. Ambos conceptos se enlazan de manera lógica para plantear el tema de funciones sobre conjuntos finitos, tema de trascendental importancia en el conocimiento matemática. (Fuente: Fundamentos de Matemática, EPN y Fundamentos de Matemática, ESPOL). Tipos de proposiciones Proposición simple (atómica).- Toda