hilbertowski system dowodzenia gość: dowieść, używając twierdzenia o dedukcji, że ¬p→(p→q). Chodzi o hilbertowski system dowodzenia Nie wiem jak się za to zabrać, próbuję ale mi nie wychodzi