Al concluir las actividades de la semana, podrás:

• Formalizar proposiciones compuestas que contengan implicaciones y bicondicionales.

• Determinar si un texto en español es un argumento lógico o no lo es.

• Identificar las premisas y la conclusión de un argumento lógico escrito en español.

• Formalizar argumentos lógicos escritos en español.

• Determinar si una fórmula es tautología, contradicción o contingencia.

• Usar funciones de interpretación para determinar el valor de verdad de una fórmula.

• Demostrar formalmente si dos fórmulas dadas son lógicamente equivalentes o no.

• Determinar si un conjunto de fórmulas dado es satisfacible.

• Determinar si una fórmula es consecuencia lógica de un conjunto de fórmulas dado.

• Utilizar el concepto de consecuencia lógica para determinar si un argumento lógico es correcto.

• Utilizar el método de refutación para probar que una fórmula es consecuencia lógica de un conjunto de fórmulas dado.