Bir gündelik dil önermesindeki her bir farklı basit önermeyi farklı bir önerme değişkeni ile eşleştiren bir listeye ne isim verilir?
Sembolleştirme anahtarı.
