4. Kondisional

Perakit kondisional menghubungkan proposisi-proposisi tunggal sehingga menjadi proposisi majemuk kondisional. Dalam bahasa perakit kondisional itu biasanya dinyatakan dengan. kata-kata: “Kalau/jika …. maka …..”, kalau p maka q.
Dalam proposisi kondisional itu anggotanya yang menyatakan kondisi disebut anteseden (antecedent, sering juga implicans, tidak begitu sering: protasis), sedang anggota yang tergantung kepada anteseden disebut konsekuens (consequent, sering juga implicate, tidak begitu sering: apodosis). Dalam pembicaraan tentang penalaran,kita sudah mengetahui, bahwa premis juga disebut anteseden dan konklusi,konsekuens. Ini menunjukkan bahwa fungsi antara konsekuens dan anteseden dalaift proposisi kondisional itu sama dengan fungsi antara premis dan konklusi dalam penalaran (baik langsung maupun silogisme).Setiap silogisme dapat ditulis sebagai proposi kondisional.
(Sukadijo, 1983, p70), misalnya silogisme berikut :
Penurunan oksigen terlarut dalam air sungai membuat ikan tidak bisa bernafas.
Membuang limbah di sungai menurunkan oksigen terlarut dalam air sungai itu.
Jadi : Membuang limbah di sungai membuat ikan tidak bisa bernafas.

Dapat dijadikan proposisi kondisional sebagai berikut :

Kalau penurunan oksigen terlarut dalam air sungai membuat ikan tidak bisa bernafas dan membuang limbah di sungai menurunkan oksigen terlarut dalam air sungai itu, maka membuang limbah di sungai membuat ikan tidak bisa bernafas.

Tabel kebenaran kondisional

\phi \psi \phi\supset\psi
  B   B      B
  S   B      B
  B   S      S
  S   S      B

Menurut W.v.O Quine perakit definisi disyungsi adalah sebagai berikut :

D4. \ulcorner(\phi\supset\psi)\urcorner\quad untuk \quad\ulcorner(\sim\phi\vee\psi)\urcorner

Ambillah \phi : membuang limbah ke sungai ; dan \psi :  ikan sulit bernafas. Jadi definisi D3.menjadi ” Jika membuang limbah ke sungai maka ikan sulit bernafas , untuk TIDAK membuang limbah ke sungai atau ikan sulit bernafas” .

 

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

%d blogger menyukai ini: