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

• Aplicar sustituciones textuales de variables por fórmulas

• Utilizar la regla de Leibniz para demostar formalmente la equivalencia entre dos fórmulas.

• Determinar si un argumento lógico es correcto mediante:

  • Funciones de Interpretación

  • Deducción por Reglas de Inferencia

  • Tablas semánticas (tableaux)