5. Bi-Kondisional

Perakit bi-kondisional : Dalam proposisi kondisional, proposisi \phi mengandung implikasi proposisi \psi dan ditulis \ulcorner(\phi\supset\psi)\urcorner\quad . Hubungan implikasi itu ada yang begitu rupa, sehingga tidak hanya \phi mengandung implikasi \psi, akan tetapi sebaliknya juga \psi mengandung implikasi \phi : \ulcorner(\psi\supset\phi)\urcorner\quad.  Jadi \ulcorner(\phi\supset\psi)\vee(\psi\supset\phi)\urcorner\quad . Hubungan implikasi timbalbalik semacam itu disebut bi-implikasi atau bi-kondisional, ditulis dengan lambang \ulcorner(\phi\equiv\psi)\urcorner\quad. Disini \phi dan \psi adalah senilai atau ekuivalen. Dalam bahasa hubungan bi-implikasi atau ekulvalensi biasanya tidak ditegaskan dan hanya nampak dalarn konteks. ( Sukadijo, 1983, p71) Tabel kebenaran bi-kondisional :

\phi \psi \phi\equiv\psi
  B   B     B
  S   B     S
  B   S     S
  S   S     B

Menurut W.v.O Quine perakit definisi bi-kondisonal adalah sebagai berikut :

D5. \ulcorner(\phi\equiv\psi)\urcorner\quad untuk \quad\ulcorner((\phi\supset\psi)\cdot(\psi\supset\phi))\urcorner

Ambillah \phi : Orang-orang tidak membuang limbah ke sungai ; dan \psi : ikan-ikan menari.

Jadi definisi D5 . menjadi ” Jika dan hanya jika orang-orang tidak membuang limbah ke sungai maka ikan-ikan menari , untuk jika  orang-orang tidak membuang limbah ke sungai maka ikan-ikan menari dan jika ikan-ikan menari maka orang-orang tidak membuang limbah ke sungai ” .

Bisa saja dengan definisi ini kita berkhayal hal hal yang lain , tidak ada batas dalam imajinasi.

Pos ini dipublikasikan di Logika Matematika. Tandai permalink.

Tinggalkan Balasan

Isikan data di bawah atau klik salah satu ikon untuk log in:

Logo WordPress.com

You are commenting using your WordPress.com account. Logout / Ubah )

Gambar Twitter

You are commenting using your Twitter account. Logout / Ubah )

Foto Facebook

You are commenting using your Facebook account. Logout / Ubah )

Foto Google+

You are commenting using your Google+ account. Logout / Ubah )

Connecting to %s