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

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. ISBN 0-486-42533-9
Robinson, Alan J. A.; Voronkov, Andrei (2001-06-22). Handbook of Automated Reasoning. Elsevier. ISBN 978-0-08-053279-0

Pranala luar

Substitusi di nLab

l b s Logika matematika
Umum	Bahasa formal Aturan formasi Sistem formal Sistem deduktif Pembuktian formal Formal semantik Formula bentukan Himpunan Elemen Kelas Logika klasik Aksioma Deduksi alami Aturan inferensi Relasi Teorema Konsekuensi logis Sistem aksiomatis Teori tipe Simbol Sintaks Teori
Logika tradisional	Proposisi Inferensi Argumen Validitas Meyakinkan Silogisme Sisi berlawanan Diagram Venn
Kalkulus proposisional Logika boolean	Fungsi Boolean Kalkulus proposisional Formula proposisional Hubungan logis Tabel kebenaran
Logika predikat	Orde-pertama Pembilang Predikat Orde-dua Kalkulus predikat Monadic
Teori himpunan	Himpunan Himpunan kosong Enumerasi Ekstensionalitas Himpunan terbatas Fungsi Subhimpunan Himpinan perpangkatan Himpunan terhitung Himpunan rekursif Domain Rentang Pasangan berurut Himputan tak terhitung
Teori model	Model Interpretasi Model nonstandar Teori model terbatas Nilai kebenaran Validitas
Teori pembuktian	Pembuktian formal Sistem deduktif Sistem formal Teorema Konsekuensi logis Aturan inferensi Sintaks
Teori komputabilitas	Rekursi Himpunan rekursif Himpunan rekursif terhitung Permasalahan keputusan Tesis Church–Turing Fungsi terhitung Fungsi rekursif primitif
Kategori