Açık önerme
 | Bu madde hiçbir kaynak içermemektedir. (Şubat 2024) (Bu şablonun nasıl ve ne zaman kaldırılması gerektiğini öğrenin) |
Açık önerme, doğruluk değeri değişkenlere bağlı olarak değişen önermelerdir.
Örnek olarak:
P(x) ≡ x < 3 (Önerme tek değişkenli bir açık önermedir, x in tanım kümesi Doğal Sayılar olması durumunda;
x = 0, x = 1 ve x = 2 değerleri icin P(0) ın, P(1) in ve P(2) nin değeri doğru diğer x değerleri için yanlıştır)
Q(x, y) ≡ x + 2 = y (İki değişkenli açık önerme, y lerin x ten farkı iki oldugu her x, y değeri için Q(x, y) doğru önermedir)
 | Matematik ile ilgili bu madde taslak seviyesindedir. Madde içeriğini genişleterek Vikipedi'ye katkı sağlayabilirsiniz. |