Açık önerme: Revizyonlar arasındaki fark
[kontrol edilmemiş revizyon] | [kontrol edilmemiş revizyon] |
İçerik silindi İçerik eklendi
k baglantisiz |
タチコマ robot (mesaj | katkılar) k Unicodifying & general fixes |
||
1. satır:
{{bağlantısız|Ekim 2006}}
Doğruluk değeri değişkenlere bağlı olarak değişen [[Önerme]]lerdir. Ö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)
[[Kategori:Matematik]]
|