instantiation of an open proposition

açık önermenin özellemesi

1. • matematik
   A_x gibi bir açık önermede, ‘x’ değişkeni yerine bu değişkenin evrenine ait ‘e’ gibi bir nesnenin adını koymakla elde edilen A_e önermesi.
   İngilizce instantiation of an open proposition