Açık Önermeler:İçerisinde en az bir değişken bulunan ve bu değişkenlere verilebilen değerlerle doğru ya da yanlışlığı kesinlikle tespit edilebilen ifadelere açık önerme denir.Bir açık önerme, bir önerme değildir; Ancak açık önermenin içindeki değişkenler değer aldığı zaman önerme olur.
Açık önerme, 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)
Yorumlar (18)
Yorumları göster/gizle
Yorum yaz
| < Önceki | Sonraki > |
|---|
