NeuPSL: Lógica Suave Probabilística Neural | Synapse