Kesahihan (logika) - Riwayat revisi

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

2026-08-24T23:11:17Z

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

← Revisi sebelumnya		Revisi per 24 Agustus 2026 23.11
Baris 1:		Baris 1:
	Dalam [[logika]] dan [[penalaran deduktif]], suatu [[Argumentasi\|argumen]] disebut '''sahih''' jika bentuknya [[Validitas (logika)\|valid]] dan tidak memiliki [[premis]] yang salah. Kesahihan dalam logika deduktif memiliki kaitan dengan [[logika matematika]], yang menyatakan bahwa suatu sistem logika formal adalah sahih [[jika dan hanya jika]] setiap formula dengan rumusan yang baik yang dapat dibuktikan dalam sistem tersebut adalah valid secara logis berkenaan dengan semantik logis dari sistem tersebut.		Dalam [[logika]] dan [[penalaran deduktif]], suatu [[Argumentasi\|argumen]] disebut '''sahih''' jika bentuknya [[Validitas (logika)\|valid]] dan tidak memiliki [[premis]] yang salah.<ref>Peter Smith. [http://www.logicmatters.net/resources/pdfs/ProofSystems.pdf Types of proof system]. 2010. hlm. 5.</ref> Kesahihan dalam logika deduktif memiliki kaitan dengan [[logika matematika]], yang menyatakan bahwa suatu sistem logika formal adalah sahih [[jika dan hanya jika]] setiap formula dengan rumusan yang baik yang dapat dibuktikan dalam sistem tersebut adalah valid secara logis berkenaan dengan semantik logis dari sistem tersebut.

	== Definisi ==		== Definisi ==
Baris 18:		Baris 18:
	: Oleh karena itu, penguin dapat terbang.		: Oleh karena itu, penguin dapat terbang.

	Argumen ini dianggap valid karena susunan premisnya ''mengharuskan'' kesimpulannya benar dengan asumsi semua premisnya benar. Namun, premis pertama salah. Tidak semua burung dapat terbang (misalnya burung unta). Agar suatu argumen dianggap sahih, argumen tersebut harus valid ''dan'' premisnya harus benar.		Argumen ini dianggap valid karena susunan premisnya ''mengharuskan'' kesimpulannya benar dengan asumsi semua premisnya benar. Namun, premis pertama salah. Tidak semua burung dapat terbang (misalnya burung unta). Agar suatu argumen dianggap sahih, argumen tersebut harus valid ''dan'' premisnya harus benar.<ref>Gensler, Harry J., 1945-. ''Introduction to logic''. January 6, 2017. ISBN 978-1-138-91058-4.</ref>

	Beberapa peneliti, seperti Lemmon, menggunakan istilah “sahih” sebagai sinonim dari “validitas”, sehingga dalam karya mereka, tidak ada kata khusus untuk apa yang sekarang disebut “sahih”. Namun saat ini, pembedaan antara "sahih" dan "valid" sudah digunakan secara luas.		Beberapa peneliti, seperti Lemmon, menggunakan istilah “sahih” sebagai sinonim dari “validitas”,<ref>Edward John Lemmon. ''Beginning logic''. Chapman & Hall/CRC. 1998. ISBN 978-0-412-38090-7.</ref> sehingga dalam karya mereka, tidak ada kata khusus untuk apa yang sekarang disebut “sahih”. Namun saat ini, pembedaan antara "sahih" dan "valid" sudah digunakan secara luas.

	== Penggunaan dalam logika matematika ==		== Penggunaan dalam logika matematika ==

	=== Sistem logika ===		=== Sistem logika ===
	Dalam [[logika matematika]], suatu sistem logika dianggap sahih bila setiap rumus yang dapat dibuktikan dalam sistem tersebut adalah valid secara logika, yang berkenaan dengan semantik sistem tersebut. Dalam kebanyakan kasus, hal ini disebabkan oleh aturan-aturan yang memiliki sifat ''menjaga [[kebenaran]]''. [[Konvers (logika)\|Kebalikan]] dari kesahihan dikenal sebagai kelengkapan.		Dalam [[logika matematika]], suatu sistem logika dianggap sahih bila setiap rumus yang dapat dibuktikan dalam sistem tersebut adalah valid secara logika, yang berkenaan dengan semantik sistem tersebut. Dalam kebanyakan kasus, hal ini disebabkan oleh aturan-aturan yang memiliki sifat ''menjaga [[kebenaran]]''.<ref>Patricia Mindus. [https://books.google.com/books?id=JJe_AW4jhKMC&dq=a+logical+system+has+the+soundness+property&pg=PA36 A Real Mind: The Life and Work of Axel Hägerström]. Springer Science & Business Media. 2009-09-18. ISBN 978-90-481-2895-2.</ref> [[Konvers (logika)\|Kebalikan]] dari kesahihan dikenal sebagai kelengkapan.

	Suatu sistem logika yang memiliki [[Konsekuensi logis\|implikasi sintaksis]] (<math>\vdash</math>) dan [[Konsekuensi logis\|implikasi semantik]] (<math>\models</math>) dianggap '''sahih''' jika untuk [[barisan]] apa pun <math>A_1, A_2, ..., A_n</math> dari kalimat dalam bahasanya, jika <math>A_1, A_2, ..., A_n\vdash C</math>, maka <math>A_1, A_2, ..., A_n\models C</math> . Dengan kata lain, suatu sistem dikatakan baik apabila semua [[teorema]] yang ada di dalamnya [[Validitas (logika)\|valid]].		Suatu sistem logika yang memiliki [[Konsekuensi logis\|implikasi sintaksis]] (<math>\vdash</math>) dan [[Konsekuensi logis\|implikasi semantik]] (<math>\models</math>) dianggap '''sahih''' jika untuk [[barisan]] apa pun <math>A_1, A_2, ..., A_n</math> dari kalimat dalam bahasanya, jika <math>A_1, A_2, ..., A_n\vdash C</math>, maka <math>A_1, A_2, ..., A_n\models C</math> . Dengan kata lain, suatu sistem dikatakan baik apabila semua [[teorema]] yang ada di dalamnya [[Validitas (logika)\|valid]].
Baris 47:		Baris 46:

	[[Teorema ketaklengkapan Gödel\|Teorema ketidaklengkapan pertama Gödel]] menunjukkan bahwa untuk bahasa formal yang cukup kuat untuk memuat sejumlah aritmetika, tidak mungkin ada sistem deduktif yang sekaligus konsisten, efektif, dan lengkap terhadap penafsiran yang dimaksudkan dari simbol-simbol dalam bahasa tersebut. Artinya, tidak semua sistem deduktif yang sahih juga lengkap dalam arti khusus ini—yaitu ketika himpunan model yang dipertimbangkan dibatasi hanya pada model yang sesuai dengan penafsiran yang dimaksudkan (seperti bilangan asli standar). Bukti kelengkapan asli hanya berlaku untuk semua model klasik, bukan untuk subhimpunan model khusus yang dianggap sebagai penafsiran "yang benar".		[[Teorema ketaklengkapan Gödel\|Teorema ketidaklengkapan pertama Gödel]] menunjukkan bahwa untuk bahasa formal yang cukup kuat untuk memuat sejumlah aritmetika, tidak mungkin ada sistem deduktif yang sekaligus konsisten, efektif, dan lengkap terhadap penafsiran yang dimaksudkan dari simbol-simbol dalam bahasa tersebut. Artinya, tidak semua sistem deduktif yang sahih juga lengkap dalam arti khusus ini—yaitu ketika himpunan model yang dipertimbangkan dibatasi hanya pada model yang sesuai dengan penafsiran yang dimaksudkan (seperti bilangan asli standar). Bukti kelengkapan asli hanya berlaku untuk semua model klasik, bukan untuk subhimpunan model khusus yang dianggap sebagai penafsiran "yang benar".


	~~== Referensi ==~~


	== Bibliografi ==		== Bibliografi ==
			*
	*		*
	*
	* Boolos, Burgess, Jeffrey. ''Computability and Logic'', 4th Ed, Cambridge, 2002.		* Boolos, Burgess, Jeffrey. ''Computability and Logic'', 4th Ed, Cambridge, 2002.

	== Pranala luar ==		== Pranala luar ==

	* [http://www.iep.utm.edu/val-snd/ Validitas dan Kesahihan] dalam ''[[Ensiklopedia Internet Filsafat\|Ensiklopedia Filsafat Internet]] .''		* [http://www.iep.utm.edu/val-snd/ Validitas dan Kesahihan] dalam ''[[Ensiklopedia Internet Filsafat\|Ensiklopedia Filsafat Internet]] .''

			== Referensi ==
			<references />

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

	Konten artikel ini diadaptasi dari [https://id.wikipedia.org/w/index.php?title=Kesahihan+%28logika%29&oldid=27731239 Wikipedia bahasa Indonesia], revisi 27731239 (2025-08-25T03:21:35Z), 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=Kesahihan+%28logika%29&oldid=27731239 Wikipedia bahasa Indonesia], revisi 27731239 (2025-08-25T03:21:35Z), 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 27731239; atribusi sumber disertakan.

2026-08-24T22:50:14Z

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

Halaman baru

Dalam [[logika]] dan [[penalaran deduktif]], suatu [[Argumentasi|argumen]] disebut '''sahih''' jika bentuknya [[Validitas (logika)|valid]] dan tidak memiliki [[premis]] yang salah. Kesahihan dalam logika deduktif memiliki kaitan dengan [[logika matematika]], yang menyatakan bahwa suatu sistem logika formal adalah sahih [[jika dan hanya jika]] setiap formula dengan rumusan yang baik yang dapat dibuktikan dalam sistem tersebut adalah valid secara logis berkenaan dengan semantik logis dari sistem tersebut.

== Definisi ==
Dalam [[penalaran deduktif]], argumen yang sahih adalah argumen yang [[Validitas (logika)|valid]] dan semua premisnya benar (dan sebagai konsekuensinya kesimpulannya juga benar). Suatu argumen valid jika, dengan asumsi premisnya benar, ''mengharuskan'' kesimpulan yang benar. Contoh argumen yang sahih adalah [[silogisme]] terkenal berikut ini:

: ''(premis)''
: Semua manusia itu fana.
: Socrates adalah seorang manusia.
: ''(kesimpulan)''
: Oleh karena itu, Socrates bisa mati.

Karena susunan premis tersebut mengharuskan kelogisan dari kesimpulan yang dihasilkan, maka argumen ini valid; dan karena argumen tersebut valid dan premisnya benar, maka argumen tersebut sahih.

Akan tetapi, suatu argumen bisa saja valid tanpa menjadi sahih. Misalnya:

: Semua burung bisa terbang.
: Penguin adalah burung.
: Oleh karena itu, penguin dapat terbang.

Argumen ini dianggap valid karena susunan premisnya ''mengharuskan'' kesimpulannya benar dengan asumsi semua premisnya benar. Namun, premis pertama salah. Tidak semua burung dapat terbang (misalnya burung unta). Agar suatu argumen dianggap sahih, argumen tersebut harus valid ''dan'' premisnya harus benar.

Beberapa peneliti, seperti Lemmon, menggunakan istilah “sahih” sebagai sinonim dari “validitas”, sehingga dalam karya mereka, tidak ada kata khusus untuk apa yang sekarang disebut “sahih”. Namun saat ini, pembedaan antara "sahih" dan "valid" sudah digunakan secara luas.

== Penggunaan dalam logika matematika ==

=== Sistem logika ===
Dalam [[logika matematika]], suatu sistem logika dianggap sahih bila setiap rumus yang dapat dibuktikan dalam sistem tersebut adalah valid secara logika, yang berkenaan dengan semantik sistem tersebut. Dalam kebanyakan kasus, hal ini disebabkan oleh aturan-aturan yang memiliki sifat ''menjaga [[kebenaran]]''. [[Konvers (logika)|Kebalikan]] dari kesahihan dikenal sebagai kelengkapan.

Suatu sistem logika yang memiliki [[Konsekuensi logis|implikasi sintaksis]] (<math>\vdash</math>) dan [[Konsekuensi logis|implikasi semantik]] (<math>\models</math>) dianggap '''sahih''' jika untuk [[barisan]] apa pun <math>A_1, A_2, ..., A_n</math> dari kalimat dalam bahasanya, jika <math>A_1, A_2, ..., A_n\vdash C</math>, maka <math>A_1, A_2, ..., A_n\models C</math> . Dengan kata lain, suatu sistem dikatakan baik apabila semua [[teorema]] yang ada di dalamnya [[Validitas (logika)|valid]].

Kesahihan merupakan salah satu properti paling mendasar dari logika matematika. Properti kesahihan memastikan suatu sistem logika bekerja secara baik, dengan memastikan bahwa setiap komponen dalam sistem logika adalah valid. Properti lain, yaitu <nowiki>kelengkapan</nowiki> memastikan bahwa tiap komponen yang ada dalam sistem logika ''dapat dibuktikan''. Gabungan antara properti ''kesahihan'' dan ''kelengkapan'' logika menyiratkan semua pernyataan yang valid bisa dibuktikan, dan tidak ada pernyataan yang bisa dibuktikan kecuali memang valid.

Sebagian besar bukti untuk menyatakan kesahihan bersifat trivial. Misalnya, dalam suatu [[sistem aksioma]]tik, bukti kesahihan berupa verifikasi validitas dari aksioma dan bahwa aturan inferensi pada aksioma tersebut mempertahankan validitas (atau kebenaran, pada properti yang lebih lemah). Jika sistem memungkinkan deduksi gaya Hilbert, maka ia hanya memerlukan verifikasi validitas aksioma dan satu aturan inferensi, yaitu [[modus ponens]] (dan terkadang substitusi).

Sifat sahih terbagi menjadi dua jenis utama: sahih lemah dan sahih kuat. Sahih lemah merupakan bentuk terbatas dari sifat sahih kuat.

==== Sahih lemah ====
Kesahihan lemah (''weak soundness'') dari suatu sistem deduktif adalah sifat bahwa setiap kalimat yang dapat dibuktikan dalam sistem tersebut juga benar dalam semua interpretasi atau struktur semantik dari bahasa yang digunakan. Artinya, jika suatu pernyataan dapat dibuktikan secara sintaksis dalam sistem deduktif , maka pernyataan tersebut juga berlaku secara semantik dalam semua model dari bahasa beserta teori semantiknya. Secara simbolis, jika ⊢ ''S'' ''P'', maka juga ⊨ ''L'' ''P,'' dengan ''S'' adalah sistem deduktif, ''L'' adalah bahasa dan semantiknya, dan ''P'' adalah kalimat.

==== Kesahihan kuat ====
Kesahihan kuat (''strong soundness'') dari suatu sistem deduktif adalah sifat bahwa setiap kalimat P dalam bahasa yang menjadi dasar sistem tersebut, yang dapat diturunkan dari suatu himpunan kalimat Γ, juga merupakan [[konsekuensi logis]] dari himpunan tersebut. Artinya, setiap model yang membuat semua anggota Γ bernilai benar juga akan membuat P bernilai benar. Secara simbolis, jika  ⊢ ''S'' ''P'', maka Γ ⊨ ''L'' ''P''. Perlu diperhatikan bahwa jika Γ adalah himpunan kosong, maka pernyataan kesahihan kuat ini menjadi sama dengan kesahihan lemah.

=== Hubungan dengan kelengkapan ===
Kebalikan dari sifat kesahihan adalah sifat ''kelengkapan semantik'' (''semantic completeness''). Suatu sistem deduktif dengan teori semantik disebut lengkap secara kuat (''strongly complete'') jika setiap kalimat yang merupakan [[Konsekuensi logis|konsekuensi semantik]] dari suatu himpunan kalimat , juga dapat diturunkan dalam sistem deduktif dari himpunan tersebut. Secara simbolis: jika , maka juga . Kelengkapan [[logika predikat tingkat pertama]] kali secara eksplisit dibuktikan oleh [[Kurt Gödel|Gödel]], meskipun beberapa hasil utamanya telah terkandung dalam karya Skolem sebelumnya.

Dengan lebih sederhana, dapat dikatakan bahwa teorema kesahihan untuk sistem deduktif menyatakan bahwa semua kalimat yang dapat dibuktikan bersifat benar. Kelengkapan menyatakan bahwa semua kalimat yang benar dapat dibuktikan.

[[Teorema ketaklengkapan Gödel|Teorema ketidaklengkapan pertama Gödel]] menunjukkan bahwa untuk bahasa formal yang cukup kuat untuk memuat sejumlah aritmetika, tidak mungkin ada sistem deduktif yang sekaligus konsisten, efektif, dan lengkap terhadap penafsiran yang dimaksudkan dari simbol-simbol dalam bahasa tersebut. Artinya, tidak semua sistem deduktif yang sahih juga lengkap dalam arti khusus ini—yaitu ketika himpunan model yang dipertimbangkan dibatasi hanya pada model yang sesuai dengan penafsiran yang dimaksudkan (seperti bilangan asli standar). Bukti kelengkapan asli hanya berlaku untuk semua model klasik, bukan untuk subhimpunan model khusus yang dianggap sebagai penafsiran "yang benar".

== Referensi ==

== Bibliografi ==

*
*
* Boolos, Burgess, Jeffrey. ''Computability and Logic'', 4th Ed, Cambridge, 2002.

== Pranala luar ==

* [http://www.iep.utm.edu/val-snd/ Validitas dan Kesahihan] dalam ''[[Ensiklopedia Internet Filsafat|Ensiklopedia Filsafat Internet]] .''

== Sumber dan atribusi ==

Konten artikel ini diadaptasi dari [https://id.wikipedia.org/w/index.php?title=Kesahihan+%28logika%29&oldid=27731239 Wikipedia bahasa Indonesia], revisi 27731239 (2025-08-25T03:21:35Z), yang tersedia berdasarkan lisensi Creative Commons Atribusi-BerbagiSerupa (CC BY-SA). Mohon gunakan konten ini secara bijak serta sesuai dengan ketentuan lisensi yang berlaku.