Soru: 'Bir sayı çift ise, 2'ye tam bölünür.' önermesini koşul eklemi ile ifade ediniz ve doğruluğunu kontrol ediniz.
Çözüm: Bu önerme: Sayı çift ⇒ Sayı 2'ye tam bölünür şeklinde yazılır. Çift sayı tanımı gereği, bir sayı çift ise mutlaka 2'ye tam bölünür. Örneğin: 4 çift sayıdır ve 4/2 = 2 (tam bölünür). 6 çift sayıdır ve 6/2 = 3 (tam bölünür). Bu nedenle bu koşul ifadesi doğrudur ve matematikte temel bir kuraldır.