Logica Simbolica Matematica