Önermeler arasındaki ilişkilere bakmak için basit önermeler üzerinde inceleme yapmak gereklidir. Basit önermeler, bir özne ve yüklemden oluşur. Mantıkta özne “S” harfi ile (Subject) ve yüklem “P” harfi ile (Predicate) gösterilir. Önermelerin niteliklerine ve niceliklerine göre sınıflandırma yapılarak arasındaki ilişkileri belirtebiliriz. Nicelik için öznenin kapsamına, nitelik içinse yüklemin durumuna bakmak gerekmektedir. Bütün S’ler P’dir.
Önermeler arası ilişkileri incelemek için karşı olma karesine bakılır. Buna göre önermeler arası ilişkiler, karşı olma ve döndürme olarak iki grupta incelenir.
