Title: Sistema de la lógica Demostrativa e Inductiva