Soru: "y > 8" ifadesini açık önerme yapan nedir? Bu ifadenin doğruluk kümesini bulunuz.
Çözüm: Bu ifadeyi açık önerme yapan, içinde y değişkeninin bulunmasıdır. Doğruluk kümesi: y'nin 8'den büyük olduğu tüm gerçek sayılardır. Yani {9, 10, 11, ...} ve ayrıca 8 ile 9 arasındaki sayılar da (8.1, 8.5 gibi) bu kümeye dahildir.
