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.