Capacidades previas sobre lógica adquiridas en la asignatura Fundamentos Matemáticos (FM): - Conocimiento de los conceptos básicos de lógica proposicional y de predicados - Conocimientos sobre Inferencia lógica.