Jika dan hanya jika: Perbedaan antara revisi

In ''[[formula (mathematical logic)|logic formulae]]'', logical symbols are used instead of these phrases; see the discussion of notation.

-->

[[Tabel kebenaran]] ''p ↔ q'' adalah sebagai berikut:<ref>[http://www.wolframalpha.com/input/?i=p+%3C%3D%3E+q p <=> q].&#32;[[Wolfram Alpha|Wolfram&#124;Alpha]]</ref>

{| class = "wikitable"

== Penggunaan ==

 

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'.

 

The elements of ''X'' are ''all and only'' the elements of ''Y'' is used to mean: "for any ''z'' in the [[domain of discourse]], ''z'' is in ''X'' if and only if ''z'' is in ''Y''."

-->

{{Portal|Thinking}}

 

{{reflist}}

 

* [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"]