Logika (2)

F. Implikasi Logika

Implikasi adalah operasi logika “ jika … maka…”, symbol : => , Suatu pernyataan majemuk yang dihubungkan dengan “jika..maka…” akan bernilai salah , jika pernyataan pertama bernilai benar dan pernyataan kedua bernilai salah. Sedang lainnya bernilai benar.

Misalnya, Elzan berjanji pada Gusrayani, “Jika Sore nanti tidak hujan, maka saya akan mengajakmu nonton”. Janji Elzan ini hanyalah berlaku untuk kondisi sore nanti tidak hujan. Akibatnya, jika sore nanti hujan, tidak ada keharusan bagi Elzan untuk mengajak Gusrayani nonton.

Misalkan sore ini tidak hujan dan Elzan mengajak Gusrayani nonton, Gusrayani tidak akan kecewa karena Elzan memenuhi janjinya. Akan tetapi, jika sore ini hujan dan Elzan tetap mengajak Gusrayani menonton, Gusrayani tentu merasa senang sekali. Jika sore ini hujan dan Elzan tidak mengajak Gusrayani menonton, tentunya Gusrayani akan memakluminya. Bagaimana jika sore ini tidak hujan dan Elzan tidak mengajak Gusrayani menonton? Itu akan lain lagi ceritanya. Tentu saja Gusrayani akan kecewa dan menganggap Elzan sebagai pembohong yang tidak menepati janjinya.

Misalkan,   p : Sore tidak hujan.

q : Elzan mengajak Gusrayani menonton.

Pernyataan “jika sore nanti tidak hujan, maka Elzan akan mengajak Gusrayani nonton”. Dapat dinyatakan sebagai “jika p maka q” atau dilambangkan dengan “p  q”. Suatu pernyataan majemuk dengan bentuk “jika p maka q” disebutimplikasi.

Misalkan p dan q adalah pernyataan. Suatu implikasi (pernyataan bersyarat) adalah suatu pernyataan majemuk dengan bentuk “jika p maka q”, dilambangkan dengan  p   q. Pernyataan p disebut hipotesis (ada juga yang menamakan anteseden) dari implikasi. Adapun pernyataan q disebut konklusi (atau kesimpulan, dan ada juga yang menamakan konsekuen). Implikasi bernilai salah hanya jika hipotesis p bernilai benar dan konklusi q bernilai salah; untuk kasus lainnya adalah benar. Perhatikan tabel berikut ini.

Tabel nilai kebenaran operasi implikasi

Terdapat perbedaan antara implikasi dalam keseharian dan implikasi dalam logika matematika. Dalam keseharian, pernyataan hipotesis/anteseden p haruslah memiliki hubungan dengan  pernyataan konklusi/konsekuen q. Misalnya, pada contoh implikasi sebelumnya, “Jika sore nanti tidak hujan maka saya akan mengajakmu nonton”. Terdapat hubungan sebab-akibat. Dalam logika matematika, pernyataan hipotesis/anteseden p tidak harus memiliki hubungan dengan konklusi/konsekuen q. Untuk lebih jelasnya, perhatikan Contoh dibawah ini.

Contoh:

Tentukanlah nilai kebenaran dari implikasi berikut !

a. Jika 4 + 7 = 10 maka besi adalah benda padat.

b. Jika 6 + 9 = 15 maka besi adalah benda cair.

c. Jika cos 30° = 0,5 maka 25 adalah bilangan ganjil.

Jawab :

a.   Jika 4 + 7 = 10 maka besi adalah benda padat.

Alasan salah, kesimpulan benar. Jadi, implikasi bernilai benar.

b.   Jika 6 + 9 = 15 maka besi adalah benda cair.

Alasan benar, kesimpulan salah. Jadi implikasi bernilai salah.

c.     Jika cos 30°= 0,5 maka 25 adalah bilangan ganjil.

Alasan salah, kesimpulan salah. Jadi, implikasi bernilai benar.

G. Fungsi Proposisi dan Himpunan Kebenaran

Misalkan P(x) merupakan sebuah pernyataan yang mengandung variabel x dan D adalah sebuah himpunan (sembarang kumpulan obyek). Kita menyebut P sebuah fungsi proposisi (dalam D) jika untuk setiap x di D, P(x) adalah proposisi.

Contoh :

1.      Misalkan P(n) adalah pernyataan, n adalah bilangan ganjil dan D adalah himpunan bilangan bulat positif. Maka P adalah fungsi proposisi dengan daerah asal pembicaraan D karena untuk setiap n di D, P(n) adalah proposisi (yakni, untuk setiap n di D, P(n) bisa bernilai benar atau salah tetapi tidak keduanya). Jika n=1, dapat diperoleh proposisi. 1 adalah bilangan ganjil bernilai benar. Jika n=2, diperoleh proposisi 2 adalah bilangan ganjil bernilai salah.

2.      Fungsi proposisi “x+2>7” yang didefinisikan pada N, yakni himpunan bilangan asli. Maka {x | x Î N, x+2>7} = {6,7,8,…}adalah himpunan kebenarannya.

HH. Pengukur Jumlah Universal dan Eksistensial

- Universal

Contoh:

p : Semua perempuan menyukai makanan manis

ingkaran dari p adalah ~p : Tidak benar bahwa semua perempuan menyukai makanan manis, atau

~p : Ada perempuan yang tidak menyukai makanan manis

Berdasarkan contoh diatas tampak bahwa ingkaran dari pernyataan berkuantor universal adalah sebuah pernyataan berkuantor eksistensial. Secara umum, ingkaran dari pernyataan berkuantor universal dapat ditentukan sebagai berikut.

~[ x, p(x)]   x, ~p(x)

dibaca: ingkaran dari “untuk setiap x berlakulah p(x)” ekuivalen dengan “ada x yang bukan p(x)”

- Eksistensial

Contoh: 

p : Ada anak kecil yang menyukai cokelat

ingkaran dari p adalah ~p : Tidak ada anak kecil yang menyukai cokelat, atau

~p : Semua anak kecil tidak menyukai cokelat

Berdasarkan contoh diatas tampak bahwa ingkaran dari pernyataan berkuantor eksistensial adalah sebuah pernyataan berkuantor universal. Secara umum, ingkaran dari pernyataan berkuantor eksistensial dapat ditentukan sebagai berikut.

~[ x, p(x)]    x, ~p(x)

dibaca: ingkaran dari “ada x berlakulah p(x)” ekuivalen dengan “untuk semua x bukan p(x)”

I. Negasi Ingkaran dan Contoh Ingkaran

Kalimat ingkaran ( Negasi ) adalah suatu pernyataan yang diperoleh dari suatu pernyataan sebelumnya dan mempunyai nilai kebenaran yang berlawanan dengan pernyataan sebelumnya.

Beberapa negasi suatu pernyataan dapat dilihat pada table berikut.

Tabel nilai kebenaran Negasi :

Contoh :

Tentukan ingkaran dari pernyataan berikut, kemudian tentukanlah nilai kebenarannya.

( 1 ) p : Ibukota Jawa Barat adalah Surabaya.

( 2 ) s : 2 + 2 = 5

( 3 ) t :  Pinguin adalah Burung

Jawab :

( 1 ) p : Ibukota Jawa Barat adalah Surabaya.

~p : Ibukota Jawa Barat Bukan Surabaya.

p bernilai S ( salah ) dan ~p bernilai B ( benar )

( 2 ) s : 2 + 2 = 5

~s : 2 + 2 ≠ 5

s bernilai S ( salah ) dan ~s bernilai B ( benar )

( 3 ) t :  Pinguin adalah burung.

~t : Pinguin bukan burung.

t bernilai B ( benar ) dan ~t bernilai S ( salah )