Açık önerme

Açık önerme, doğruluk değeri değişkenlere bağlı olarak değişen önermelerdir.

Örnek olarak:

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)

This article is issued from Vikipedi - version of the 5/29/2015. The text is available under the Creative Commons Attribution/Share Alike but additional terms may apply for the media files.