Resumen: Presentamos una lógica proposicional con semántica probabilística fundamental, en la que cada fórmula recibe una medida real en el intervalo $ [0,1] $ que representa su grado de verdad. Esta semántica reemplaza la binaridad de la lógica clásica, al tiempo que preserva su estructura deductiva. Demostramos el teorema de la solidez, estableciendo que el sistema propuesto es sólido y adecuado para razonar bajo incertidumbre. Discutimos aplicaciones y vías potenciales para futuras extensiones de la teoría. Aplicamos la lógica probabilística a un problema aún refractario en las redes bayesianas.
Publicado Originalme en rss.arxiv.org El 21 de mayo de 2025.
Ver Fuente Original
