Zbiór wszystkich konsekwencji zbioru formuł zdaniowych