• Ejercicio de reglas de inferencia 

      Figueroa-Flores, Nuria (2017)
      Se realiza una demostración de una conclusión a partir de algunas premisas utilizando inferencias lógicas.
    • Ejercicio de reglas de inferencia 

      Figueroa-Flores, Nuria (2017)
      Se realiza una demostración de una conclusión a partir de algunas premisas utilizando inferencias lógicas.
    • Tabla de verdad 

      Figueroa-Flores, Nuria (2017)
      Se verifica si una proposición es tautología, falacia o contingencia utilizando una tabla de verdad.