Zbiór wszystkich konsekwencji zbioru formuł zdaniowych

Zbiór wszystkich konsekwencji zbioru formuł zdaniowych X (Cn(X)) definiujemy jako:

$A \in Cn(X)$ wtedy i tylko wtedy, gdy istnieje przynajmniej jedna derywacja A w oparciu o X.