Tarih: 2022-10-10
Kategorisi: Felsefe Sözlüğü
İçinde en az bir değişken bulunduran ve bu değişkenin aldığı değerlere göre doğru ya da yanlış hüküm bildiren önermelere açık önerme denir. İçerisinde x gibi tek değişken bulunduran bir açık önerme p(x), q(x), … ile x ve y gibi iki değişken bulunduran bir açık önerme ise p(x, y), q(x, y), … biçiminde gösterilir.