Teori model - Riwayat revisi

Maintenance script: Presentation V4: sitasi, referensi, Math, Wikimedia Commons, dan atribusi

2026-08-24T23:08:09Z

Presentation V4: sitasi, referensi, Math, Wikimedia Commons, dan atribusi

← Revisi sebelumnya		Revisi per 24 Agustus 2026 23.08
Baris 1:		Baris 1:
	Dalam [[matematika]], '''teori model''' adalah studi tentang hubungan antara [[teori (logika matematika)\|teori formal]] (kumpulan [[Kalimat (logika matematika)\|kalimat]] dalam [[bahasa formal]] mengungkapkan pernyataan tentang [[Struktur (logika matematika)\|struktur matematika]]), dan modelnya, diambil sebagai [[Interpretasi (teori model)\|interpretasi]] yang memenuhi kalimat teori tersebut.		Dalam [[matematika]], '''teori model''' adalah studi tentang hubungan antara [[teori (logika matematika)\|teori formal]] (kumpulan [[Kalimat (logika matematika)\|kalimat]] dalam [[bahasa formal]] mengungkapkan pernyataan tentang [[Struktur (logika matematika)\|struktur matematika]]), dan modelnya, diambil sebagai [[Interpretasi (teori model)\|interpretasi]] yang memenuhi kalimat teori tersebut.<ref>Chang and Keisler, [https://books.google.com/books?id=uiHq0EmaFp0C&pg=PA1 p. 1]</ref>

	== Deskripsi informal ==		== Deskripsi informal ==
	Teori model mengakui dan sangat berkaitan dengan dualitas: Elemen [[semantik]] (makna) dengan menggunakan elemen [[sintaks]] (rumus dan bukti) dari bahasa yang sesuai. Dalam definisi ringkasan, ditemukan pada tahun 1973:		Teori model mengakui dan sangat berkaitan dengan dualitas: Elemen [[semantik]] (makna) dengan menggunakan elemen [[sintaks]] (rumus dan bukti) dari bahasa yang sesuai. Dalam definisi ringkasan, ditemukan pada tahun 1973:

	:'''teori model''' = [[aljabar universal]] + [[logika]].		:'''teori model''' = [[aljabar universal]] + [[logika]].<ref>Chang and Keisler, [https://books.google.com/books?id=uiHq0EmaFp0C&pg=PA1 p. 1]</ref>

	Teori model berkembang pesat selama tahun 1990-an, dan definisi yang lebih modern ditemukan oleh [[Wilfrid Hodges]] (1997):		Teori model berkembang pesat selama tahun 1990-an, dan definisi yang lebih modern ditemukan oleh [[Wilfrid Hodges]] (1997):
Baris 20:		Baris 20:

	== Teori model hingga ==		== Teori model hingga ==

	Teori model hingga (TMH) adalah subarea teori model (TM) dari pembatas pada interpretasi struktur berhingga, yang memiliki semesta berhingga.		Teori model hingga (TMH) adalah subarea teori model (TM) dari pembatas pada interpretasi struktur berhingga, yang memiliki semesta berhingga.

Baris 28:		Baris 27:

	== Logika urutan pertama ==		== Logika urutan pertama ==


	Sedangkan [[aljabar universal]] menyediakan [[semantik]] untuk [[tanda tangan (logika)\|tanda tangan]], [[logika matematika\|logika]] menyediakan [[sintaks]]. Dengan istilah, identitas, dan [[indentitas semu\|indentitas-semu]], bahkan aljabar universal memiliki beberapa alat sintaksis yang terbatas; Logika urutan pertama adalah hasil dari membuat kuantifikasi eksplisit dan menambahkan negasi ke dalam gambar.		Sedangkan [[aljabar universal]] menyediakan [[semantik]] untuk [[tanda tangan (logika)\|tanda tangan]], [[logika matematika\|logika]] menyediakan [[sintaks]]. Dengan istilah, identitas, dan [[indentitas semu\|indentitas-semu]], bahkan aljabar universal memiliki beberapa alat sintaksis yang terbatas; Logika urutan pertama adalah hasil dari membuat kuantifikasi eksplisit dan menambahkan negasi ke dalam gambar.

Baris 52:		Baris 49:

	Jika suatu teori tidak memiliki eliminasi pembilang, seseorang dapat menambahkan simbol tambahan ke tanda tangannya sehingga teori tersebut melakukannya. Teori model awal menghabiskan banyak upaya untuk membuktikan aksiomatizabilitas dan hasil eliminasi pembilang untuk teori tertentu, terutama dalam aljabar. Namun, eliminasi pembilang, properti yang lebih lemah sudah cukup:		Jika suatu teori tidak memiliki eliminasi pembilang, seseorang dapat menambahkan simbol tambahan ke tanda tangannya sehingga teori tersebut melakukannya. Teori model awal menghabiskan banyak upaya untuk membuktikan aksiomatizabilitas dan hasil eliminasi pembilang untuk teori tertentu, terutama dalam aljabar. Namun, eliminasi pembilang, properti yang lebih lemah sudah cukup:


	== Kategori ==		== Kategori ==
Baris 63:		Baris 59:

	== Lihat pula ==		== Lihat pula ==


	* [[Teori aljabar]]		* [[Teori aljabar]]
	* [[Kelas aksiomatisabel]]		* [[Kelas aksiomatisabel]]
Baris 81:		Baris 75:
	* [[Bentuk norma Skolem]]		* [[Bentuk norma Skolem]]
	* [[Bahasa Ontologi Web#Kaitannya dengan logika deskripsi\|Sambungan Bahasa Ontologi Web (OWL) ke logika deskripsi]]		* [[Bahasa Ontologi Web#Kaitannya dengan logika deskripsi\|Sambungan Bahasa Ontologi Web (OWL) ke logika deskripsi]]


	== Catatan ==		== Catatan ==


	~~== Referensi ==~~
	~~=== Buku teks kanonik ===~~
	*
	*
	*
	*

	~~=== Buku teks lainnya ===~~
	*
	*
	*
	*
	*
	*
	*
	*
	*
	*

	~~=== Teks online gratis ===~~
	*
	*
	*
	* [[Wilfrid Hodges\|Hodges, Wilfrid]], ''[http://plato.stanford.edu/entries/model-theory/ Model theory]''. The Stanford Encyclopedia Of Philosophy, E. Zalta (ed.).
	* [[Wilfrid Hodges\|Hodges, Wilfrid]], ''[http://plato.stanford.edu/entries/modeltheory-fo/ First-order Model theory]''. The Stanford Encyclopedia Of Philosophy, E. Zalta (ed.).
	* Simmons, Harold (2004), ''[https://web.archive.org/web/20110522083749/http://www.cs.man.ac.uk/~hsimmons/BOOKS/ModelTheory.pdf An introduction to Good old fashioned model theory]''. Notes of an introductory course for postgraduates (with exercises).
	* [[Jon Barwise\|J. Barwise]] and [[Solomon Feferman\|S. Feferman]] (editors), [http://projecteuclid.org/euclid.pl/1235417263 Model-Theoretic Logics], Perspectives in Mathematical Logic, Volume 8, New York: Springer-Verlag, 1985.

	== Pranala luar ==		== Pranala luar ==
	* [http://forkinganddividing.com/ Map of the Universe] - Database kecil teori dan propertinya.		* [http://forkinganddividing.com/ Map of the Universe] - Database kecil teori dan propertinya.

			== Referensi ==
			<references />

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

	Konten artikel ini diadaptasi dari [https://id.wikipedia.org/w/index.php?title=Teori+model&oldid=28471676 Wikipedia bahasa Indonesia], revisi 28471676 (2025-11-14T02:53:05Z), 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=Teori+model&oldid=28471676 Wikipedia bahasa Indonesia], revisi 28471676 (2025-11-14T02:53:05Z), 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 -->

Maintenance script: Impor teks terkontrol dari Wikipedia bahasa Indonesia; revisi 28471676; atribusi sumber disertakan.

2026-08-24T22:43:12Z

Impor teks terkontrol dari Wikipedia bahasa Indonesia; revisi 28471676; atribusi sumber disertakan.

Halaman baru

Dalam [[matematika]], '''teori model''' adalah studi tentang hubungan antara [[teori (logika matematika)|teori formal]] (kumpulan [[Kalimat (logika matematika)|kalimat]] dalam [[bahasa formal]] mengungkapkan pernyataan tentang [[Struktur (logika matematika)|struktur matematika]]), dan modelnya, diambil sebagai [[Interpretasi (teori model)|interpretasi]] yang memenuhi kalimat teori tersebut.

== Deskripsi informal ==
Teori model mengakui dan sangat berkaitan dengan dualitas: Elemen [[semantik]] (makna) dengan menggunakan elemen [[sintaks]] (rumus dan bukti) dari bahasa yang sesuai. Dalam definisi ringkasan, ditemukan pada tahun 1973:

:'''teori model''' = [[aljabar universal]] + [[logika]].

Teori model berkembang pesat selama tahun 1990-an, dan definisi yang lebih modern ditemukan oleh [[Wilfrid Hodges]] (1997):

:'''teori model''' = [[geometri aljabar]] - [[bidang (matematika)|bidang]].

Slogan dari banyak kesamaan: jadi, misalnya, [[varietas aljabar]] dapat secara informal digambarkan sebagai lokus titik di mana grup polinomial berada. Demikian pula, model dapat digambarkan sebagai lokus interpretasi di mana kumpulan kalimat benar. Ada analogi lebih lanjut yang meluas ke berbagai kedalaman.

Slogan lain yang sering berulang menyatakan bahwamenunjukkan bahwa kedua topik ini memiliki arti ganda satu sama lain. Sama seperti [[teori bukti]], teori model terletak di area [[interdisipliner]] antara [[matematika]], [[filsafat]], dan [[ilmu komputer]]. Teori model digunakan dalam berbagai pengaturan, baik akademis maupun industri. Ini termasuk:
* Membuktikan hasil pada [[sistem aksioma]]. Misalnya, bukti bahwa [[hipotesis kontinum]] tidak bergantung pada aksioma lain [[teori himpunan Zermelo–Fraenkel]] (ZFC) dilakukan dengan membangun di dalam ZFC model ZFC di mana kontinum, dan model lain yang salah (lihat ).
* Memberikan dasar bagi pemecah [[teori modulo satidf]], yang biasanya digunakan untuk [[verifikasi fungsional]] di [[otomatisasi desain elektronik]]. Pemecah untuk mencari kalimat, sehingga pernyataan yang setara dalam beberapa teori tertentu, seperti [[Teori bebas|teori persamaan]] atau teori [[aljabar linear]].
* Memberikan dasar untuk [[model relasional]], yang merupakan fragmen yang terdiri dari [[Struktur (logika matematika)|struktur]] yang [[Tanda tangan (logika)|tanda tangan]] seluruhnya terdiri dari [[relasi finiter|relasi]]. Hasil yang terkenal termasuk bahwa SQL dan noSQL adalah [[kategori ganda]].

Organisasi profesi yang paling menonjol di bidang teori model adalah [[Association for Symbolic Logic]].

== Teori model hingga ==

Teori model hingga (TMH) adalah subarea teori model (TM) dari pembatas pada interpretasi struktur berhingga, yang memiliki semesta berhingga.

Karena banyak teorema sentral teori model tidak berlaku ketika terbatas pada struktur berhingga, TMH sangat berbeda dari TM dalam metode pembuktiannya. Hasil utama dari teori model klasik yang gagal untuk struktur berhingga di bawah FMT termasuk [[teorema kompak]], [[Teorema kelengkapan Gödel]], dan metode [[ultraproduk]] untuk [[logika orde pertama]].

Area aplikasi utama FMT adalah [[teori kompleksitas deskriptif]], [[teori database]] dan [[teori bahasa formal]].

== Logika urutan pertama ==

Sedangkan [[aljabar universal]] menyediakan [[semantik]] untuk [[tanda tangan (logika)|tanda tangan]], [[logika matematika|logika]] menyediakan [[sintaks]]. Dengan istilah, identitas, dan [[indentitas semu|indentitas-semu]], bahkan aljabar universal memiliki beberapa alat sintaksis yang terbatas; Logika urutan pertama adalah hasil dari membuat kuantifikasi eksplisit dan menambahkan negasi ke dalam gambar.

'''Rumus''' urutan pertama dibuat dari [[rumus atom]] seperti ''R''(''f''(''x'',''y''),''z'') or ''y'' = ''x'' + 1 melalui [[tabel simbol logika|konektor Boolean]] <math>\neg,\land,\lor,\rightarrow</math> dan awalan bilangan <math>\forall v</math> atau <math>\exists v</math>. Kalimat adalah rumus di mana setiap kemunculan variabel berada dalam ruang lingkup pembilang yang sesuai. Contoh rumusnya adalah φ (atau φ (x) untuk menandai fakta bahwa paling banyak x adalah variabel tak terikat di φ) dan ψ didefinisikan sebagai berikut:

:<math>{\varphi \;=\; \forall u\forall v(\exists w (x\times w=u\times v)\rightarrow(\exists w(x\times w=u)\lor\exists w(x\times w=v)))\land x\ne 0\land x\ne1,}</math>
:<math>\psi \;=\; \forall u\forall v((u\times v=x)\rightarrow (u=x)\lor(v=x))\land x\ne 0\land x\ne1.</math>

(Perhatikan bahwa simbol kesetaraan memiliki makna ganda.) Jelas secara intuitif bagaimana menerjemahkan rumus tersebut ke dalam makna matematika. Dalam struktur-σsmr <math>\mathcal N</math> dari [[bilangan asli]], misalnya, elemen '' n '' menggunakan rumus φ jika dan hanya jika '' n '' adalah bilangan prima. Rumus ψ juga mendefinisikan irredusibilitas. Tarski memberikan definisi yang ketat, kadang-kadang disebut [[Skema-T|"Definisi Tarski"]], untuk relasi <math>\models</math>, sehingga dengan mudah membuktikan:

:<math>\mathcal N\models\varphi(n) \iff n</math> adalah bilangan prima.
:<math>\mathcal N\models\psi(n) \iff n</math> tidak direduksi.

Satu himpunan kalimat '' T '' disebut (urutan pertama) [[teori (logika matematika)|teori]]. Suatu teori memiliki '''model''' <math>\mathcal M\models T</math>, yaitu sebuah struktur (dari tanda tangan yang sesuai) yang memenuhi semua kalimat dalam himpunan '' T ''. [[Konsistensi]] dari suatu teori biasanya didefinisikan secara sintaksis, tetapi dalam logika orde pertama oleh [[Teorema kelengkapan Gödel|teorema kesempurnaan]] tidak perlu membedakan antara kepuasan. Oleh karena itu, ahli teori model sering menggunakan "konsisten" sebagai sinonim untuk "statifibel".

== Aksiomasibilitasi, eliminasi bilangan, dan kelengkapan model ==
Langkah pertama, trivial untuk menerapkan metode teori model ke kelas objek matematika seperti grup, atau pohon dalam pengertian teori grafik, adalah tanda tangan σ dan merepresentasikan objek sebagai struktur σ. Langkah selanjutnya adalah untuk menunjukkan bahwa kelas tersebut adalah [[kelas dasar]], yaitu dapat diaksiomati dalam logika orde pertama (yaitu ada teori '' T '' sehingga struktur σ ada di kelas jika dan hanya jika ''T''). Misalnya. langkah untuk pohon, karena keterhubungan tidak dapat diekspresikan dalam logika orde pertama. Aksiomatibilitasi memastikan bahwa teori model dapat berbicara tentang objek tepat. Penghapusan kuantifer dapat dilihat sebagai kondisi yang memastikan bahwa teori model tidak terlalu banyak tentang objek.

Sebuah teori '' T '' memiliki [[eliminasi pembilang]] jika setiap rumus orde pertama φ(''x''1, ..., ''x''''n'') di atas tanda tangannya adalah modulo '' T '' setara dengan rumus orde pertama ψ(''x''1, ..., ''x''''n'') tanpa bilangan, yaitu <math>\forall x_1\dots\forall x_n(\phi(x_1,\dots,x_n)\leftrightarrow \psi(x_1,\dots,x_n))</math> berlaku pada model '' T ''. Misalnya, teori bidang tertutup secara aljabar di tanda tangan σring = (×,+,−,0,1) memiliki eliminasi pembilang karena setiap rumus setara dengan kombinasi Boolean persamaan antar polinomial.

[[Substruktur (matematika)|Substruktur]] dari struktur σ adalah [[himpunan bagian]] dari domainnya, ditutup di bawah semua fungsi dalam tanda tangannya σ, yang dianggap sebagai struktur σ dengan membatasi semua fungsi dan relasi di σ ke subset. Sebuah [[embedding]] dari struktur σ dengan <math>\mathcal A</math> ke dalam struktur σ dengan <math>\mathcal B</math> adalah peta ''f'': ''A'' → ''B'' antara domain yang dapat ditulis sebagai [[isomorfisme]] dari <math>\mathcal A</math> dengan substruktur <math>\mathcal B</math>. Setiap embedding adalah homomorfisme [[injektif]], tetapi kebalikannya hanya berlaku jika tanda tangan tidak berisi simbol relasi.

Jika suatu teori tidak memiliki eliminasi pembilang, seseorang dapat menambahkan simbol tambahan ke tanda tangannya sehingga teori tersebut melakukannya. Teori model awal menghabiskan banyak upaya untuk membuktikan aksiomatizabilitas dan hasil eliminasi pembilang untuk teori tertentu, terutama dalam aljabar. Namun, eliminasi pembilang, properti yang lebih lemah sudah cukup:

== Kategori ==
Seperti yang diamati pada bagian [[#Logika urutan pertama|logika urutan pertama]], Teori orde pertama tidak dapat dikategorikan, yaitu tidak dapat menggambarkan model unik hingga isomorfisme, kecuali model itu terbatas. Namun, dua teorema teori model yang terkenal berurusan dengan gagasan yang lebih lemah tentang kategorisasi κ untuk sebuah [[bilangan kardinal|kardinal]] κ. Sebuah teori '' T '' disebut '''κ-kategorikal''' jika ada dua model '' T '' yang berkardinalitas κ isomorfik. Ternyata pertanyaan tentang kategorisasi κ sangat bergantung pada apakah κ lebih besar dari kardinalitas bahasa tersebut (yaitu <math>\aleph_0</math> + |σ|, di mana | σ | adalah kardinalitas dari tanda tangan). Untuk tanda tangan terbatas atau dapat dihitung, ini berarti ada perbedaan mendasar antara kardinal-<math>\aleph_0</math> dan κ-kardinal untuk κ tak terhitung.

== Sejarah ==
Teori model sebagai subjek telah ada sejak pertengahan abad ke-20. Namun beberapa penelitian sebelumnya, terutama dalam [[logika matematika]], sering dianggap sebagai model-teoretis alam dalam retrospeksi. Hasil penting pertama dalam apa yang sekarang menjadi teori model adalah kasus khusus dari [[teorema Löwenheim–Skolem]], yang diterbitkan oleh [[Leopold Löwenheim]] pada tahun 1915. [[Teorema kekompakan]] tersirat dalam karya [[Thoralf Skolem]], tapi pertama kali diterbitkan pada tahun 1930, sebagai lemma dalam [[Kurt Gödel]] bukti [[Teorema kelengkapan Gödel|teorema kelengkapan]]. Teorema Löwenheim–Skolem dan teorema kompak menerima bentuk umum masing-masing pada tahun 1936 dan 1941 dari [[Anatoly Maltsev]].

Perkembangan teori model dapat ditelusuri ke [[Alfred Tarski]], anggota [[sekolah Lwów–Warsawa]] selama [[Periode antar perang|interbellum]]. Karya Tarski termasuk [[konsekuensi logis]], [[sistem deduktif]], aljabar logika, teori definisi, dan [[teori kebenaran semantik|definisi semantik kebenaran]], di antara topik lainnya. Metode semantiknya memuncak dalam teori model dia dan sejumlah [[University of California, Berkeley|Berkeley]] siswa berkembang pada 1950-an dan 60-an. Konsep modern dari teori model ini memengaruhi [[program Hilbert]] dan matematika modern.

== Lihat pula ==

* [[Teori aljabar]]
* [[Kelas aksiomatisabel]]
* [[Teorema kompak]]
* [[Kompleksitas deskriptif]]
* [[Kesetaraan dasar]]

* [[Daftar teori urutan pertama|Teori urutan pertama]]
* [[Bilangan hiperriil]]
* [[Teori model institusional]]
* [[Semantik Kripke]]
* [[Teorema Löwenheim–Skolem]]

* [[Tata bahasa teori-model]]
* [[Teori bukti]]
* [[Bentuk norma Skolem]]
* [[Bahasa Ontologi Web#Kaitannya dengan logika deskripsi|Sambungan Bahasa Ontologi Web (OWL) ke logika deskripsi]]

== Catatan ==

== Referensi ==
=== Buku teks kanonik ===
*
*
*
*

=== Buku teks lainnya ===
*
*
*
*
*
*
*
*
*
*

=== Teks online gratis ===
*
*
*
* [[Wilfrid Hodges|Hodges, Wilfrid]], ''[http://plato.stanford.edu/entries/model-theory/ Model theory]''. The Stanford Encyclopedia Of Philosophy, E. Zalta (ed.).
* [[Wilfrid Hodges|Hodges, Wilfrid]], ''[http://plato.stanford.edu/entries/modeltheory-fo/ First-order Model theory]''. The Stanford Encyclopedia Of Philosophy, E. Zalta (ed.).
* Simmons, Harold (2004), ''[https://web.archive.org/web/20110522083749/http://www.cs.man.ac.uk/~hsimmons/BOOKS/ModelTheory.pdf An introduction to Good old fashioned model theory]''. Notes of an introductory course for postgraduates (with exercises).
* [[Jon Barwise|J. Barwise]] and [[Solomon Feferman|S. Feferman]] (editors), [http://projecteuclid.org/euclid.pl/1235417263 Model-Theoretic Logics], Perspectives in Mathematical Logic, Volume 8, New York: Springer-Verlag, 1985.

== Pranala luar ==
* [http://forkinganddividing.com/ Map of the Universe] - Database kecil teori dan propertinya.

== Sumber dan atribusi ==

Konten artikel ini diadaptasi dari [https://id.wikipedia.org/w/index.php?title=Teori+model&oldid=28471676 Wikipedia bahasa Indonesia], revisi 28471676 (2025-11-14T02:53:05Z), yang tersedia berdasarkan lisensi Creative Commons Atribusi-BerbagiSerupa (CC BY-SA). Mohon gunakan konten ini secara bijak serta sesuai dengan ketentuan lisensi yang berlaku.