Substitusi (logika)

Substitusi adalah transformasi sintaksis pada ekspresi formal. Menerapkan substitusi pada suatu ekspresi berarti mengganti simbol variabel atau penggantinya dengan ekspresi lain secara konsisten.

Ekspresi yang dihasilkan disebut contoh substitusi, atau singkatnya contoh, dari ekspresi asli.

 Lihat pula 

 Integrasi dengan substitusi
 Kalkulus lambda § Substitusi
 Interpolasi string
 Sifat substitusi Kesetaraan
 Substitusi trigonometri
 Instansiasi universal
 Bentuk persamaan utama

 Referensi 

 Crabbé, M. (2004). On the Notion of Substitution.  Logic Journal of the IGPL, 12, 111–124.
 Curry, H. B.  (1952) On the definition of substitution, replacement and allied notions in an abstract formal system. Revue philosophique de Louvain 50, 251–269.
 Kleene, S. C. (1967). Mathematical Logic. Reprinted 2002, Dover. 
 Robinson, Alan J. A.; Voronkov, Andrei (2001-06-22). Handbook of Automated Reasoning. Elsevier. 

 Pranala luar 



Kategori:Konsep logika