Ésta podría ser una edición anterior y no la más reciente o aprobada. Ir a la versión actual.
¿Qué es?
No se ha añadido ninguna twiki todavía.
Un enunciado, B, es deducible de un conjunto de enunciados (A1, A2,...An), si y sólo B es demostrable a partir de ellos como premisas», de modo que podemos escrbir: A1, A2,...An ú B.
En el caso de que el conjunto sea vacío, Ø ú B.