La lógica proposicional va a servir al estudiante para exponerse no sólo una primera manera de formalizar razonamiento, sino también a los problemas NP-completos, que son arquetípicos en inteligencia artificial