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
Pranala luar
Sumber dan atribusi
Konten artikel ini diadaptasi dari Wikipedia bahasa Indonesia, revisi 27146532 (2025-04-15T01:26:10Z), yang tersedia berdasarkan lisensi Creative Commons Atribusi-BerbagiSerupa (CC BY-SA). Mohon gunakan konten ini secara bijak serta sesuai dengan ketentuan lisensi yang berlaku.