La relació entre el concepte de conseqüència lògica i el de deduïbilitat fa falta de la manera següent :
o bé , suposant