Dari sebuah pernyataan tunggal (atau majemuk), kita bisa membuat sebuah pernyataan baru berupa “ingkaran” dari pernyataan itu. “ingkaran” disebut juga “negasi” atau “penyangkalan”. Ingkaran menggunakan operasi uner (monar) “” atau “”.
Jika suatu pernyataan p benar, maka negasinya p salah, dan jika sebaliknya pernyataan p salah, maka negasinya p benar.
Perhatikan cara membuat ingkaran dari sebuah pernyataan serta menentukan nilai kebenarannya!
1. p : kayu memuai bila dipanaskan (S)
~ p : kayu tidak memuai bila dipanaskan (B)
2. r : 3 bilangan positif (B)
~ r : (cara mengingkar seperti ini salah)
3 bilangan negative
(Seharusnya) 3 bukan bilangan positif (S)
Nilai kebenaran
Jika p suatu pernyataan benilai benar, maka ~p bernilai salah dan sebaliknya jika p bernilai salah maka ~p bernilai benar.
Tabel kebenaran:
Implikasi
Untuk memahami implikasi, pelajarilah uraian berikut. 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.
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.
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.
TAUTOLOGI
Tautologi adalah pernyataan majemuk yang selalu benar untuk semua kemungkinan nilai kebenaran dari pernyataan-pernyataan komponennya. Sebuah Tautologi yang memuat pernyataan Implikasi disebut Implikasi Logis. Untuk membuktikan apakah suatu pernyataan Tautologi, maka ada dua cara yang digunakan. Cara pertama dengan menggunakan tabel kebenaran, yaitu jika semua pilihan bernilai B (benar) maka disebut Tautologi, dan cara kedua yaitu dengan melakukan penjabaran atau penurunan dengan menerapkan sebagian dari 12 hukum-hukum Ekuivalensi Logika.
Contoh:
Lihat pada argumen berikut:
Jika Tono pergi kuliah, maka Tini juga pergi kuliah. Jika Siska tidur, maka Tini pergi kuliah. Dengan demikian, jika Tono pergi kuliah atau Siska tidur, maka Tini pergi kulah.
Diubah ke variabel proposional:
A
B
C Siska tidur
Diubah lagi menjadi ekspresi logika yang terdiri dari premis-premis dan kesimpilan. Ekspresi logika 1 dan 2 adalah premis-premis, sedangkan ekspresi logika 3 adalah kesimpulan.
(1) A → B (Premis)
(2) C → B (premis)
Maka sekarang dapat ditulis: ((A → B) ʌ (C → B)) → ((A V C) → B
A
|
B
|
C
|
A → B
|
C → B
|
(A → B) ʌ (C → B)
|
A V C
|
(A V C) → B
| |
B
B
B
B
S
S
S
S
|
B
B
S
S
B
B
S
S
|
B
S
B
S
B
S
B
S
|
B
B
S
S
B
B
B
B
|
B
B
S
B
B
B
S
B
|
B
B
S
S
B
B
S
B
|
B
B
B
B
B
S
B
S
|
B
B
S
S
B
B
S
B
|
B
B
B
B
B
B
BB
|
Dari tabel kebenaran diatas menunjukkan bahwa pernyataan majemuk :
((A → B) ʌ (C → B)) → ((A V C) → B adalah semua benar (Tautologi).
Contoh tautologi dengan menggunakan tabel kebenaran:
1. (p ʌ ~q)
Pembahasan:
p
|
q
|
~q
|
(p ʌ ~q)
|
(p ʌ ~q)
|
B
B
S
S
|
B
S
B
S
|
S
B
S
B
|
S
B
S
S
|
B
B
B
B
|
Ini adalah tabel kebenaran yang menunjukkan Tautologi dengan alasan yaitu semua pernyataannya bersifat benar atau True (T). maka dengan perkataan lain pernyataan majemuk (p ʌ ~q)
2. [(p
Pembahasan:
p
|
q
|
(p
|
(p
|
[(p
|
B
B
S
S
|
B
S
B
S
|
B
S
B
B
|
B
S
S
S
|
B
B
B
B
|
(1) (2) (3) (4) (5)
Berdasrkan tabel diatas pada kolom 5, nilai kebenaran pernyataan majemuk itu adalah BBBB. Dengan perkataan lain, pernyataan majemuk [(p
Pembuktian dengan cara kedua yaitu dengan penjabaran atau penurunan dengan menerapkan sebagian dari 12 hukum-hukum ekuivalensi logika.
Contoh:
a. (p ʌ q)
Penyelesaian:
(p ʌ q)
Dari pembuktian diatas telah nampaklah bahwa pernyataan majemuk dari (p ʌ q)
Pembuktian dengan menggunakan tabel kebenaran dari pernyataan majemuk (p ʌ q)
P
|
q
|
(p ʌ q)
|
(p ʌ q)
|
B
B
S
S
|
B
S
B
S
|
B
S
S
S
|
B
B
B
T
|
Pada tabel diatas nampaklah bahwa kalimat majemuk (p ʌ q)
b. q
penyelesaian:
q
KONTRADIKSI
Kontradiksi adalah kebalikan dari tautologi yaitu suatu bentuk pernyataan yang hanya mempunyai contoh substansi yang salah, atau sebuah pernyataan majemuk yang salah dalam segala hal tanpa memandang nilai kebenaran dari komponen-komponennya. Untuk membuktikan apakah suatu pernyataan tersebut kontradiksi, maka ada dua cara yang digunakan. Cara pertama dengan menggunakan tabel kebenaran, yaitu jika semua pilihan bernilai F atau salah maka disebut kontradiksi, dan cara kedua yaitu dengan melakukan penjabaran atau penurunan dengan menerapkan sebagian dari 12 hukum-hukum Ekuivalensi Logika.
Contoh dari Kontradiksi:
1. (A ʌ ~A)
Pembahasan:
A
|
~A
|
(A ʌ ~A)
|
B
S
|
S
B
|
S
S
|
Dari tabel kebenaran diatas dapatlah disimpulkan bahwa pernyataan majemuk (A ʌ ~A) selalu salah.
2. P ʌ (~p ʌ q)
Pembahasan:
p
|
q
|
~p
|
(~p ʌ q)
|
P ʌ (~p ʌ q)
|
B
B
S
S
|
B
S
B
S
|
S
S
B
B
|
S
S
B
S
|
S
S
S
S
|
Ini adalah tabel kebenaran yang menunjukkan kontradiksi dengan alasan yaitu semua pernyataan bernilai salah (F).
Sumber : http://aimprof08.wordpress.com/2012/04/24/tautologi-kontradiksi-dan-kontingensi/
http://dedekyohana93.blogspot.com/2012/11/tautologi-kontradiksi-dan-ekuivalensi_4667.html
Tidak ada komentar:
Posting Komentar