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.
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.