Yüklemde bildirilen özelliğin, sınıfın bütün fertlerinde olduğunu gösteren önermelere tümel önerme denir. Buna göre aşağıdakilerden hangisi tümel önermedir?
Bütün insanlar ölümlüdür.
Bazı insanlar ölümlüdür.
Bazı insanlar ölümlü değildir.
Mehmet ölümlü değildir.