Birli yüklem olan F gibi bir değişmez ile x gibi bir değişkenden oluşan Fx biçimindeki birli açık önerme.