Lógica Calculativa-LCAL