Açık önerme: Revizyonlar arasındaki fark
[kontrol edilmemiş revizyon] | [kontrol edilmemiş revizyon] |
İçerik silindi İçerik eklendi
Eldarion adlı kullanıcıya ait olan 2008-04-21 13:54:28 tarihli ve 3228644 sayılı sürüm, Gezinti Pencereleri kullanılarak geri getirildi |
Değişiklik özeti yok |
||
3. satır:
Örneğin:
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)
|