Lógica y conjuntos

Las estructuras del razonamiento deductivo e inductivo, los principios de inferencia lógica, las relaciones y operaciones entre conjuntos.

27 descriptores

Inicia sesión o crea un perfil para guardar los descriptores que necesita tu programa.

• ICLC1 Representa proposiciones simples y compuestas utilizando lenguaje simbólico.
• ICLC2 Describe y justifica la estructura de un enunciado mediante conectores lógicos.
• ICLC3 Determina la contraria, recíproca y contrarrecíproca de una proposición condicional.
• ICLC4 Construye tablas para determinar valores de verdad de proposiciones compuestas.
• ICLC5 Determina tautologías, contradicciones y contingencias a partir de tablas de verdad.
• ICLC6 Establece equivalencias entre enunciados utilizando leyes y propiedades.
• ICLC7 Aplica leyes de equivalencia para simplificar expresiones proposicionales.
• ICLC8 Interpreta expresiones simbólicas en diferentes contextos.
• ICLC9 Identifica premisas y conclusiones en enunciados del lenguaje natural y simbólico.
• ICLC10 Explica cuando una proposición se deduce lógicamente de un conjunto de premisas.
• ICLC11 Determina la validez de un argumento utilizando tablas de verdad.
• ICLC12 Aplica reglas de inferencia en procesos de deducción proposicional.
• ICLC13 Identifica falacias en razonamientos inductivos y deductivos en diferentes contextos.
• ICLC14 Representa expresiones mediante fórmulas proposicionales.
• ICLC15 Interpreta y representa enunciados que involucren cuantificadores universales y existenciales.
• ICLC16 Utiliza diagramas para representar juicios universales y particulares y sus negaciones.
• ICLC17 Aplica reglas de la deducción cuantificacional para determinar conclusiones y determinar la validez de un argumento.
• ICLC18 Aplica inducción matemática en procesos de demostración.
• ICLC19 Aplica el método apropiado en procesos de demostración directa e indirecta de teoremas sencillos
• ICLC20 Formaliza conjuntos mediante extensión, comprensión y representación simbólica.
• ICLC21 Describe relaciones de pertenencia, inclusión e igualdad entre conjuntos.
• ICLC22 Aplica operaciones entre conjuntos: unión, intersección, diferencia y complemento.
• ICLC23 Representa relaciones y operaciones entre conjuntos mediante diagramas de Venn.
• ICLC24 Analiza propiedades algebraicas de las operaciones entre conjuntos.
• ICLC25 Utiliza leyes distributivas, asociativas, conmutativas y de complemento en la solución de problemas del álgebra de conjuntos.
• ICLC26 Aplica leyes de De Morgan en la transformación de expresiones que expresan relaciones entre conjuntos.
• ICLC27 Resuelve problemas utilizando reglas y operaciones entre conjuntos.