La relació entre el concepte de conseqüència lògica i el de deduïbilitat es precisa de la manera següent :
A1, A2, ... An ╞ B, si, i solament si A1, A2, ... An ├ B
o bé , suposant A1, A2, ... An =
D, B = bD ╞ B si, i solament si D ├ B
Aquesta obra està sota una llicència de Creative Commons.