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

2026-08-24T22:58:36Z

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

← Revisi sebelumnya		Revisi per 24 Agustus 2026 22.58
Baris 3:		Baris 3:
	≡</big></big></big></big></big>		≡</big></big></big></big></big>
	Logical symbols<br/>representing ''iff''		Logical symbols<br/>representing ''iff''


	'''Jika dan hanya jika''' (''if and only if''; disingkat '''iff'''), dalam [[logika]] dan bidang-bidang terkait seperti [[matematika]] dan [[filsafat]], adalah suatu [[koneksi logika]] [[bikondisional]] di antara pernyataan-pernyataan.		'''Jika dan hanya jika''' (''if and only if''; disingkat '''iff'''), dalam [[logika]] dan bidang-bidang terkait seperti [[matematika]] dan [[filsafat]], adalah suatu [[koneksi logika]] [[bikondisional]] di antara pernyataan-pernyataan.
Baris 10:		Baris 9:

	== Definisi ==		== Definisi ==
	[[Tabel kebenaran]] ''p ↔ q'' adalah sebagai berikut:		[[Tabel kebenaran]] ''p ↔ q'' adalah sebagai berikut:<ref>[http://www.wolframalpha.com/input/?i=p+%3C%3D%3E+q p q]. Wolfram\|Alpha</ref>
			{\| class = "wikitable"
			\|+ '''Iff'''
			\|-
			! style="width: 30%" \| p
			! style="width: 30%" \| q
			\| style="width: 30%" \| '''p''' ↔ '''q'''
			\|-
			\| T \|\| T \|\| T
			\|-
			\| T \|\| F \|\| F
			\|-
			\| F \|\| T \|\| F
			\|-
			\| F \|\| F \|\| T
			\|}
	di mana: T: ''true'' atau "benar"; F: ''false'' atau "salah"		di mana: T: ''true'' atau "benar"; F: ''false'' atau "salah"

Baris 17:		Baris 30:

	== Penggunaan ==		== Penggunaan ==

	=== Notasi ===		=== Notasi ===
	Simbol logika yang bersangkutan adalah "↔", "⇔" dan "[[Triple bar\|≡]]", serta kadang-kadang "iff". Semua ini biasanya diperlakukan ekuivalen. Namun, sejumlah teks [[logika matematika]] (khususnya pada [[logika order pertama]], daripada [[logika proposisional]]) membedakan tanda-tanda itu, di mana tanda ↔ digunakan sebagai simbol dalam rumus logika, sedangkan tanda ⇔ digunakan dalam menyampaikan alasan mengenai rumus-rumus logika itu (yaitu dalam [[metalogika]]). Dalam notasi [[:en:Jan Łukasiewicz\|Łukasiewicz]], digunakan simbol prefiks 'E'.		Simbol logika yang bersangkutan adalah "↔", "⇔" dan "[[Triple bar\|≡]]", serta kadang-kadang "iff". Semua ini biasanya diperlakukan ekuivalen. Namun, sejumlah teks [[logika matematika]] (khususnya pada [[logika order pertama]], daripada [[logika proposisional]]) membedakan tanda-tanda itu, di mana tanda ↔ digunakan sebagai simbol dalam rumus logika, sedangkan tanda ⇔ digunakan dalam menyampaikan alasan mengenai rumus-rumus logika itu (yaitu dalam [[metalogika]]). Dalam notasi [[:en:Jan Łukasiewicz\|Łukasiewicz]], digunakan simbol prefiks 'E'.
Baris 24:		Baris 36:

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

	* [[Covariance]]		* [[Covariance]]
	* [[Logical biconditional]]		* [[Logical biconditional]]
Baris 30:		Baris 41:
	* [[Necessary and sufficient condition]]		* [[Necessary and sufficient condition]]
	* [[Polysyllogism]]		* [[Polysyllogism]]

	~~== Referensi ==~~


	== Pranala luar ==		== Pranala luar ==
Baris 38:		Baris 46:
	* [http://hesperusphosphorus.wordpress.com/2009/12/08/just-in-case Southern California Philosophy for philosophy graduate students: "Just in Case"]		* [http://hesperusphosphorus.wordpress.com/2009/12/08/just-in-case Southern California Philosophy for philosophy graduate students: "Just in Case"]

			== Referensi ==
			<references />

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

	Konten artikel ini diadaptasi dari [https://id.wikipedia.org/w/index.php?title=Jika+dan+hanya+jika&oldid=22226870 Wikipedia bahasa Indonesia], revisi 22226870 (2022-12-03T11:00:01Z), 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=Jika+dan+hanya+jika&oldid=22226870 Wikipedia bahasa Indonesia], revisi 22226870 (2022-12-03T11:00:01Z), 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 22226870; atribusi sumber disertakan.

2026-08-24T22:22:19Z

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

Halaman baru

<big><big><big><big><big>↔
⇔
≡</big></big></big></big></big>
Logical symbols<br/>representing ''iff''

'''Jika dan hanya jika''' (''if and only if''; disingkat '''iff'''), dalam [[logika]] dan bidang-bidang terkait seperti [[matematika]] dan [[filsafat]], adalah suatu [[koneksi logika]] [[bikondisional]] di antara pernyataan-pernyataan.

Karena merupakan "bikondisional", koneksi itu dapat diserupakan dengan [[kondisional material]] baku ("hanya jika", sama dengan "jika ... maka") dikombinasi dengan kebalikannya ("if"); sehingga dinamakan demikian. Hasilnya adalah bahwa kebenaran dari satu pernyataan terkait membutuhkan kebenaran pernyataan yang lain, yaitu keduanya benar, atau keduanya salah.

== Definisi ==
[[Tabel kebenaran]] ''p ↔ q'' adalah sebagai berikut:

di mana: T: ''true'' atau "benar"; F: ''false'' atau "salah"

Perhatikan bahwa hasil itu sama dengan yang dihasilkan oleh [[XNOR gate]], dan berlawanan dengan yang dihasilkan oleh [[XOR gate]].

== Penggunaan ==

=== Notasi ===
Simbol logika yang bersangkutan adalah "↔", "⇔" dan "[[Triple bar|≡]]", serta kadang-kadang "iff". Semua ini biasanya diperlakukan ekuivalen. Namun, sejumlah teks [[logika matematika]] (khususnya pada [[logika order pertama]], daripada [[logika proposisional]]) membedakan tanda-tanda itu, di mana tanda ↔ digunakan sebagai simbol dalam rumus logika, sedangkan tanda ⇔ digunakan dalam menyampaikan alasan mengenai rumus-rumus logika itu (yaitu dalam [[metalogika]]). Dalam notasi [[:en:Jan Łukasiewicz|Łukasiewicz]], digunakan simbol prefiks 'E'.

Istilah lain untuk [[:en:logical connective|''logical connective'']] ini adalah ''[[:en:exclusive nor|exclusive nor]]''.

== Lihat pula ==

* [[Covariance]]
* [[Logical biconditional]]
* [[Logical equality]]
* [[Necessary and sufficient condition]]
* [[Polysyllogism]]

== Referensi ==

== Pranala luar ==
* [http://itre.cis.upenn.edu/~myl/languagelog/archives/003470.html Language Log: "Just in Case"]
* [http://hesperusphosphorus.wordpress.com/2009/12/08/just-in-case Southern California Philosophy for philosophy graduate students: "Just in Case"]

== Sumber dan atribusi ==

Konten artikel ini diadaptasi dari [https://id.wikipedia.org/w/index.php?title=Jika+dan+hanya+jika&oldid=22226870 Wikipedia bahasa Indonesia], revisi 22226870 (2022-12-03T11:00:01Z), yang tersedia berdasarkan lisensi Creative Commons Atribusi-BerbagiSerupa (CC BY-SA). Mohon gunakan konten ini secara bijak serta sesuai dengan ketentuan lisensi yang berlaku.

Jika dan hanya jika - Riwayat revisi

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

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