la taula de veritat prova que
és una conseqüència lògica del conjunt, ), de fórmules
ja que tota interpretació que fa veritable al conjunt ) fa també veritable a la fórmula