El tipo de lógica que comienza con las premisas y después saca una conclusión lógicamente necesaria
» Glosario para Lecciones 1-4