Duruma göre, doğru ya da yanlış olabilen önerme.

Örnek: 2x + 3 = 11 önermesi,

x = 4 olduğunda doğru iken, x = 5 durumunda yanlıştır. Buna göre; bu önerme bir açık önermedir.

Açık önermeler, genel olarak,

p(x), q(x), r(x), ... : Tek bilinmeyenli açık önermeler

p(x,y), q(x,y), r(x,y), ... : İki bilinmeyenli açık önermeler

p(x,y,z), q(x,y,z), r(x,y,z), ... : Üç bilinmeyenli açık önermeler şeklinde gösterilir.

Örnek: p(x): "x, bir pozitif tamsayıdır."

q(x): "x, bir rasyonel sayıdır." önermeleri, bir bilinmeyenli birer açık önermedir.

İLGİLİ KONULAR

Önerme