Twierdzenia egzystencjalne „mieszane”, to twierdzenia zawierające oba kwantyfikatory – mały (egzystencjalny) i duży (ogólny). Na przykład „wszystkie miasta posiadają pewne budowle zwane domami”, „w każdym lesie istnieje warstwa zwana podszytem”, „w każdym atomie istnieje co najmniej jeden proton”, „dla każdej liczby naturalnej istnieje liczba od niej większa”.
Twierdzenia ogólne Twierdzenia ogólne zawierają co najmniej jeden kwantyfikator duży (ogólny), lecz są pozbawione kwantyfikatorów małych (egzystencjalnych). Dotyczą one jakiejś klasy przedmiotów w sensie dystrybutywnym (nie kolektywnym). Zbiór dystrybutywny jest to zbiór abstrakcyjny złożony z elementów. W tym sensie trójkąt jest zbiorem wszystkich figur o trzech bokach, natomiast lew jest zbiorem wszystkich zwierząt, którym przysługuje własność „bycia lwem”.
Twierdzenia ogólne dzielą się na ściśle ogólne oraz numerycznie ogólneK. Popper, Logika odkrycia naukowego, PWN, Warszawa 1977, s. 55–57..