Derywacja formuły zdaniowej w oparciu o zbiór formuł zdaniowych