Este es un proyecto para un trabajo universitario describiendo los diferentes tipos de principios lógicos.