Un enunciat, B, és deduïble d'un conjunt d'enunciats (A₁, A₂,...A_n), si i només si B és demostrable a partir d'ells amb premisses», de manera que podem esciure:

(A₁, A₂,...A_n) ├  B.

En el cas que el conjunto sigui buit, Ø ├ B.

Aquesta obra està sota una llicència de Creative Commons.