Konunun en kritik bilgileri — hızlı tekrar için.
Önerme, doğru ya da yanlış olma niteliği taşıyan yargı bildiren cümledir. Soru, emir ve ünlem cümleleri önerme sayılmaz.
Klasik mantıkta bir önerme özne, yüklem ve bağdan oluşur. Özne hakkında hüküm verilen, yüklem verilen hüküm, bağ ise ikisini bağlayan ögedir.
Önermeler niteliğine göre olumlu ya da olumsuz olur. Yüklem özneye ait bir şeyi onaylıyorsa olumlu, reddediyorsa olumsuzdur.
Önermeler niceliğine göre tümel, tikel ya da tekil olur. Bütün, hiçbir gibi sözcükler tümeli; bazı, kimi gibi sözcükler tikeli belirtir.
Klasik mantıkta tümel olumlu, tümel olumsuz, tikel olumlu ve tikel olumsuz olmak üzere dört temel önerme türü vardır.
Tek bir yargı bildiren önerme basittir. Birden çok yargı taşıyan ya da bağlaçla kurulan önerme bileşiktir; örneğin ve, ya da ile kurulanlar.
Dört önerme türü arasındaki doğruluk ilişkilerini gösteren şemaya karşı olum karesi denir. Karşıtlık, altık ve çelişki ilişkilerini içerir.
Hem niceliği hem niteliği farklı olan önermeler çelişiktir. Biri doğruysa diğeri kesinlikle yanlıştır; ikisi aynı anda doğru olamaz.
Her iki tümel önerme birbirinin karşıtıdır. Karşıt önermeler birlikte doğru olamaz ama birlikte yanlış olabilirler.
Önermeler kipliğine göre zorunlu, olumsal ve olanaklı olarak ayrılır. Bu ayrım yüklemin özneye bağlanma biçimindeki kesinlik derecesini gösterir.
Bütün niceleyicisi tümellik, dört kenarlıdır yüklemi olumluluk bildirir.
Tümel olumsuz önerme klasik mantıkta E harfiyle simgelenir. A tümel olumlu, I tikel olumlu, O tikel olumsuz önermeyi gösterir.
Altık ilişkisi aynı nitelikteki tümel ile tikel önerme arasında kurulur: tümel olumlu A ile tikel olumlu I, tümel olumsuz E ile tikel olumsuz O.
Altık ilişkisinde tümel doğruysa tikel doğrudur; ancak tümel yanlışsa tikelin değeri belirlenemez.
Tekil önerme öznesi tek bir bireyi gösteren önermedir. Sokrates bir filozoftur önermesinin öznesi belirli bir kişidir.
Bazı sözcüğü tikellik, yoktur ifadesi olumsuzluk bildirir. Tikel ve olumsuz olan önerme O tipi, yani tikel olumsuz önermedir.
Soru, dilek, ünlem ve emir cümleleri doğruluk değeri taşımaz.
Tümel olumlu A ile tümel olumsuz E önermeleri arasındaki ilişki karşıt ilişkisidir.
Yalnızca tikel olumlu I önermesinde hiçbir terim dağıtılmaz. Bazı öğrenciler sporcudur önermesinde ne konu ne yüklem kaplamının tümüyle ele alınır; bu yüzden hiçbir terim dağıtılmamıştır.
Altkarşıtı olan bazı romanlar tarihsel değildir yanlışsa, bazı romanlar tarihseldir önermesi kesin olarak doğru olur.
Tikel olumsuz O önermesinde yalnız yüklem terim dağıtılır. A önermesinde yalnız konu, E önermesinde her iki terim, I önermesinde hiçbir terim dağıtılır.
Hem-hem bağlacı matematiği seviyorum ve fiziği seviyorum yargılarını birleştirir. Birden çok yargının bir eklemle bağlanması bu cümleyi bileşik önerme yapar.
Bileşik önerme birden çok yargıyı bir bağlaçla birleştirir. Hem yorgunum hem de uykusuzum cümlesi iki ayrı yargıyı hem-hem bağlacıyla birleştirir.
Bu ilişki tikel olumlu I ile tikel olumsuz O önermeleri arasında kurulur.
Bazı niceleyicisi tikellik, eş anlamlıdır yüklemi olumluluk bildirir. Tikel ve olumlu olan önerme I tipidir, yani tikel olumlu önermedir.
Klasik mantık (önermeler) çalışırken ana odak kavram, kuram ve örnek ayrımı kurmaktır; önce kavramı, sonra tipik soru dilini ayır.