Lompat ke isi

Substitusi (logika): Perbedaan antara revisi

Ensiklopedia Pengetahuan Universitas Islam Sultan Agung

Maintenance script (bicara | kontrib)

37.956 suntingan
Maintenance script (bicara | kontrib)
37.956 suntingan
Impor teks terkontrol dari Wikipedia bahasa Indonesia; revisi 27146532; atribusi sumber disertakan.
 
Maintenance script (bicara | kontrib)
37.956 suntingan
Presentation V4: sitasi, referensi, Math, Wikimedia Commons, dan atribusi
 
Baris 4: Baris 4:


== Lihat pula ==
== Lihat pula ==
* [[Integrasi dengan substitusi]]
* [[Integrasi dengan substitusi]]
* [[Kalkulus lambda#Substitusi|Kalkulus lambda § Substitusi]]
* [[Kalkulus lambda#Substitusi|Kalkulus lambda § Substitusi]]
Baris 12: Baris 11:
* [[Instansiasi universal]]
* [[Instansiasi universal]]
* [[Bentuk persamaan utama]]
* [[Bentuk persamaan utama]]
== Referensi ==
* Crabbé, M. (2004). ''[https://web.archive.org/web/20180112160331/https://pdfs.semanticscholar.org/28db/f1c89f36976bc41b38ff757991ca09e95524.pdf On the Notion of Substitution]''.  Logic Journal of the IGPL, 12, 111–124.
* [[Haskell Curry|Curry, H. B.]]  (1952) ''[http://www.persee.fr/doc/phlou_0035-3841_1952_num_50_26_4394 On the definition of substitution, replacement and allied notions in an abstract formal system]''. Revue philosophique de Louvain 50, 251–269.
* [[Stephen Cole Kleene|Kleene, S. C.]] (1967). ''Mathematical Logic''. Reprinted 2002, Dover.
* Robinson, Alan J. A.; Voronkov, Andrei (2001-06-22). ''[https://books.google.com/books?id=HxaWA4lep_kC&pg=PR9#v=onepage&q&f=false Handbook of Automated Reasoning]''. Elsevier.


== Pranala luar ==
== Pranala luar ==
*
*


== Sumber dan atribusi ==
== Sumber dan atribusi ==


Konten artikel ini diadaptasi dari [https://id.wikipedia.org/w/index.php?title=Substitusi+%28logika%29&oldid=27146532 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.
Konten artikel ini diadaptasi dari [https://id.wikipedia.org/w/index.php?title=Substitusi+%28logika%29&oldid=27146532 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.
<!-- WIKI_UNISSULA_PRESENTATION_V4 -->

Revisi terkini sejak 25 Agustus 2026 18.03

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

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.


Diperoleh dari "https://wiki.unissula.ac.id/index.php?title=Substitusi_(logika)&oldid=11500"