Açık önerme
Vikipedi, özgür ansiklopedi
Lütfen bağlantı tanıtmak için benzer sayfalara bakıp yardımcı olunuz.
Bu şablon Ekim 2006 tarihinden beri duruyor, bağlantı ekledikten sonra kaldırılabilir.
Doğruluk değeri değişkenlere bağlı olarak değişen Önermelerdir. Örneğin:
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 = 1 ve x = 2 değerleri icin 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)
