Elementos básicos de la lógica.
Lenguaje formal y lenguaje natural.
Tablas de verdad.
Conectores lógicos.
Cuantificadores: universal y existencial.
Leyes y reglas de inferencia en la lógica.