Como pronto veremos, este trabajo mostrará que la lógica clásica carece de la precisión necesaria, lo que nos obliga a mejorarla con otros tipos de lenguajes lógicos