Zbiór wszystkich konsekwencji logicznych zbioru formuł zdaniowych