Öneriler şu şekilde bölünmüştür: orijinal önermeler, ters önermeler, olumsuz önermeler ve ters olumsuz önermeler Bu bölümün ana test noktaları aşağıdakilerle ilgilidir: dört tür önermeler arasındaki karşılıklılaşma, önermelerin doğru mu yanlış mı olduğuna dair yargı vb. Bir önermenin doğru mu yanlış mı olduğuna karar vermek için, dört tür önerme arasındaki ilişkiyi, özellikle de orijinal önerme ile olumsuz öneri arasındaki eşdeğerlik ilişkisini bilmek gerekir.
(1) Dört tür önerme arasındaki etkileşim: Orijinal önermenin "eğer p ise, sonra q" şeklinde olduğunu varsayalım, o zaman
(1) Negatif önerme: "p değilse, q değil"
(2) Ters önerme: "Eğer q ise p"
(3) Ters önerme: "Eğer q değilse, o zaman p değildir"
(2) Önerinin doğru mu yanlış mı olduğuna ilişkin hüküm: Bir önermenin doğru mu yanlış mı olduğuna karar vermek, öğrenilmiş matematik bilgisinin kullanılmasını gerektirir, ancak bir dizi ilişkili önermede, doğru ile yanlış arasında da belirli bir ilişki vardır.
(1) Dört tür önerme doğruluğu ve yanlış ilişki: orijinal önerme ve ters önerme aynı gerçek ve yanlışlığa sahiptir ve aynı şekilde ters önerme ve olumsuz önerme karşılıklı olarak ters önermelerdir, dolayısıyla gerçek ve yanlış da aynıdır. Orijinal önermenin doğru ya da yanlış olup olmadığına bakılmaksızın, orijinal önerme ve ters önerme ilişkili değildir
(2) p veya q, p ve q'nun doğruluk tablosu: