LOGIKA MATEMATIKA

Logika matematika memberikan landasan tentang bagaimana cara kita mengambil kesimpulan. Hal-hal pada logika matematika yang akan kita pelajari kali ini antara lain mengenai pernyataan, ingkaran, hubungan antara dua kalimat atau lebih serta bagaimana menarik kesimpulan dari kalimat-kalimat yang diberikan.

pernyataan adalah kalimat yang bisa benar atau bisa salah. Sementara kalimat terbuka adalah jenis kalimat “yang belum diketahui kebenarannya”. Sehingga, untuk menentukan benar atau salahnya, kita perlu pengamatan lebih lanjut.

Kalau kamu masih bingung seperti apa itu contoh pernyataan, berikut adalah salah satu contohnya:

• Indonesia Raya adalah lagu kebangsaan Indonesia. (pernyataan benar)
• Bika ambon berasal dari Ambon. (pernyataan salah)

Di sisi lain, contoh dari kalimat terbuka adalah sebagai berikut:

• 12x + 6 = 91 (pernyataan ini dinamakan kalimat terbuka karena masih harus dibuktikan kebenarannya. Apakah benar 12x jika dijumlahkan dengan 6 akan menghasilkan 91?).

• Maaf ya, aku semalem ketiduran. Hehehe. (Pernyataan ini dinamakan kalimat terbuka karena masih harus dibuktikan kebenarannya. Apakah benar dia semalem nggak bales karena ketiduran? Atau emang males aja chat sama kamu?).

Ingkaran/Negasi (~)

Ingkaran didefinisikan sebagai sebuah pernyataan yang memiliki nilai kebenaran yang berlawanan dengan pernyataan semula. Berikut adalah tabel kebenaran ingkaran.

p	~p
B	S
S	B

Artinya, jika suatu pertanyaan (p) bernilai benar (B), maka ingkaran (q) akan bernilai salah (S). Begitu pula sebaliknya.

Contoh:

p : Semua murid lulus ujian

~p : Ada murid yang tidak lulus ujian

Pernyataan Majemuk

Pernyataan majemuk merupakan pernyataan gabungan dari beberapa pernyataan tunggal yang dihubungkan dengan kata hubung. Pernyataan majemuk di dalam logika matematika terdiri dari disjungsi , konjungsi , implikasi , dan biimplikasi.

• Konjungsi (∧)

Suatu pernyataan p dan q dapat digabungkan dengan menggunakan kata hubung ‘dan’ sehingga membentuk pernyataan majemuk ‘p dan q’ yang disebut konjungsi yang dilambangkan dengan “p∧q”. Berikut adalah tabel kebenaran konjungsi.

p	q	p∧q
B	B	B
B	S	S
S	B	S
S	S	S

Dari tabel diatas dapat disimpulkan bahwa dalam konsep konjungsi akan bernilai benar jika dan hanya jika kedua pernyataan (p dan q) benar

Contoh:

Budi sudah makan belajar dan makan

Misalkan, untuk dapat diizinkan bermain oleh Ibu, Budi harus memenuhi kondisi di atas. Jika satu saja atau bahkan kedua pernyataan tersebut dilanggar, maka Budi tidak diizinkan untuk bermain.

• Disjungsi

Suatu pernyataan p dan q dapat digabungkan dengan menggunakan kata hubung ‘atau’ sehingga membentuk pernyataan majemuk ‘p atau q’ yang disebut disjungsi yang dilambangkan dengan “p ∨ q”. Berikut adalah tabel kebenaran disjungsi.

p	q	p∨q
B	B	B
B	S	B
S	B	B
S	S	S

Dari tabel diatas dapat disimpulkan bahwa dalam konsep disjungsi hanya akan bernilai salah jika kedua pernyataan (p dan q) salah.

Contoh:

Bandung atau Palembang adalah kota yang terletak di Pulau Jawa

Pernyataan Bandung adalah kota yang terletak di Pulau Jawa adalah benar. Pernyataan Palembang adalah kota yang terletak di Pulau Jawa adalah salah. Sehingga pernyataan Bandung atau Palembang adalah kota yang terletak di Pulau Jawa bernilai benar.

• Implikasi (⟹)

Implikasi bisa dipandang sebagai hubungan antara dua pernyataan di mana pernyataan kedua merupakan konsekuensi logis dari pernyataan pertama. Implikasi ditandai dengan notasi ‘⟹’. Misalkan p, q adalah pernyataan, implikasi berikut 

p ⟹ q

dibaca ‘jika p maka q’. Berikut adalah tabel kebenaran disjungsi.

p	q	p⇒q
B	B	B
B	S	S
S	B	B
S	S	B

Dari tabel diatas dapat disimpulkan bahwa dalam konsep implikasi akan bernilai salah jika dan hanya jika sebab bernilai benar namun akibat bernilai salah. Selain itu implikasi bernilai benar.

Contoh:

Jika Budi sembuh maka Budi akan sekolah

Jika betul Budi sembuh lalu Budi masuk sekolah, Budi telah melakukan hal yang benar. Namun jika Budi sembuh namun dia tidak masuk sekolah, Budi telah berbuat salah karena mengingkari janjinya. Lalu, bagaimana jika Budi belum sembuh? Perhatikan bahwa Budi hanya berjanji masuk sekolah jika dia sembuh. Akibatnya jika dia masih belum sembuh, tidak masalah bagi Budi untuk masuk sekolah ataupun tidak karena dia tidak melanggar janjinya.

• Biimplikasi

Suatu pernyataan p dan q dapat digabungkan dengan menggunakan kata hubung ‘jika dan hanya jika’ sehingga membentuk pernyataan majemuk ‘p jika dan hanya jika q’ yang disebut biimplikasi yang dilambangkan dengan “p ⇔ q”. Berikut adalah tabel kebenaran biimplikasi:

p	q	p⇔q
B	B	B
B	S	S
S	B	S
S	S	B

Dari tabel diatas dapat disimpulkan bahwa dalam konsep biimplikasi akan bernilai benar jika sebab dan akibatnya (pernyataan p dan q) bernilai sama. Baik itu sama-sama benar, atau sama-sama salah.

Contoh:

Ayah mendapatkan gaji jika dan hanya jika ayah bekerja

Jika ayah mendapatkan gaji maka ayah bekerja dan jika ayah telah bekerja maka ayah akan mendapat gaji. Sebalinya, jika ayah tidak mendapatkan gaji maka ayah sedang tidak bekerja dan jika ayah tidak bekerja maka ayah tidak akan mendapat gaji. 

Contoh Soal :

Soal 1:
Premis 1 : Jika Andi rajin belajar, maka Andi juara kelas
Premis 2 : Andi rajin belajar
Kesimpulan dari kedua premis diatas adalah ….

Jawab:
Premis 1               : 
Premis 2               : p
Kesimpulan          : q (modus ponens)
Jadi kesimpulannya adalah Andi juara kelas.

Soal 2:
Premis 1 : Jika hari hujan, maka sekolah libur
Premis 2   : sekolah tidak libur
Kesimpulan dari kedua premis diatas adalah ….

Jawab:
Premis 1               : 
Premis 2               : 
Kesimpulan          : (modus tollens)
Jadi kesimpulannya adalah hari tidak hujan.

Soal logika matematika 3:
Premis 1 : Jika Ani nakal, maka Ibu marah
Premis 2   : Jika Ibu marah, maka Ani tidak dapat uang saku
Kesimpulan dari kedua premis diatas adalah …

Jawab:
Premis 1               : 
Premis 2               : 
Kesimpulan          : (silogisme)
Jadi kesimpulannya adalah Jika Ani nakal, maka Ani tidak dapat uang saku.