Aquí se aprenden los aspectos básicos que son fundamentales para posteriormente no cometer errores de "base" en los ejercicios de lógica.
Acercamiento a la semántica formal aplicada a los sistemas de lógica proposicional y a la lógica de predicados.
Clase e-learning para aprender a formalizar frases y argumentos del lenguaje natural.