Demostrable

Probabilidad o demostrable (y refutabilidad o refutable ) puede referirse a:

• Lógica de demostrabilidad , una lógica modal
• Primo demostrable , un número entero que se ha calculado que es primo.
• Seguridad demostrable , seguridad del sistema informático que puede probarse.
• Demostrablemente correcto , corrección de un algoritmo que puede ser probado.
• Totalmente demostrable , función que puede demostrarse que es computable.

• Prueba (desambiguación)
• Teoría de la demostración , una rama de la lógica matemática.
• Conjunto recursivamente enumerable , también conocido como conjunto demostrable.