Wyjaśnij różnicę między logiką zdań a logiką predykatów. Zilustruj przykłady twierdzeń, które można wyrazić w logice predykatów, ale nie w logice zdań. Omów znaczenie twierdzenia Gödla o niezupełności w kontekście logiki matematycznej. Zaprezentuj dowód twierdzenia o dedukcji dla rachunku zdań.