Jika dan hanya jika: Perbedaan antara revisi
Impor teks terkontrol dari Wikipedia bahasa Indonesia; revisi 22226870; atribusi sumber disertakan. |
Presentation V4: sitasi, referensi, Math, Wikimedia Commons, dan atribusi |
||
| 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]] | ||
== 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 --> | |||
Revisi terkini sejak 24 Agustus 2026 22.58
↔
⇔
≡
Logical symbols
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:[1]
| p | q | p ↔ q |
|---|---|---|
| T | T | T |
| T | F | F |
| F | T | F |
| F | F | T |
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 "≡", 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 Łukasiewicz, digunakan simbol prefiks 'E'.
Istilah lain untuk logical connective ini adalah exclusive nor.
Lihat pula
Pranala luar
- Language Log: "Just in Case"
- Southern California Philosophy for philosophy graduate students: "Just in Case"
Referensi
Sumber dan atribusi
Konten artikel ini diadaptasi dari 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.