Zdefiniuj teoretyczne podstawy kwantyfikatorów ogólnych i egzystencjalnych w rachunku predykatów. Wyjaśnij ich semantykę w kontekście dziedziny dyskursu oraz omów zależności między nimi, w tym zasady De Morgana dla kwantyfikatorów. Zilustruj różnicę w mocy wyrazu między rachunkiem zdan a rachunkiem predykatów.