Jabarkan Logika dari Parameter

Dalam logika, parameter yang diteruskan ke (atau dioperasikan oleh) predikat terbuka disebut parameter oleh beberapa penulis (misalnya, Prawitz, "Pengurangan Alami"; Paulson, "Merancang pembuktian teorema"). Parameter yang didefinisikan secara lokal dalam predikat disebut variabel. Perbedaan ekstra ini terbayar ketika mendefinisikan substitusi (tanpa perbedaan ini ketentuan khusus harus dibuat untuk menghindari penangkapan variabel). Lainnya (mungkin sebagian besar) hanya memanggil parameter yang diteruskan ke (atau dioperasikan oleh) variabel predikat terbuka, dan ketika mendefinisikan substitusi harus membedakan antara variabel bebas dan variabel terikat.