Uma Lógica para Probabilidades Incertas | Synapse