p ~p q ~q p˄q ~(p ˄ q) ~p ˅ ~q
B S B S B S S
B S S B S B B
S B B S S B B
S B S B S B B
2. Disjungsi
Tabel kebenaran disjungsi:
P ~p q ~q p˅q ~(p ˅ q) ~p ˄ ~q
B S B S B S S
B S S B B S S
S B B S B S S
S B S B S B B
3. Implikasi
Tabel kebenaran Implikasi:
p q ~q pq ~( pq) p˄~q
B B S B S S
B S B S B B
S B S B S S
S S B B S S
b. p : 5>3 (B)
q : 5 adalah bilangan genap (S)
~q : 5 bukan bilangan genap (B)
pq : jika 5>3, maka 5 adalah bilangan genap (S)
~( pq): tidak benar bahwa jika 5>3, maka 5 adalah bilangan genap (B)
p˄~q : 5>3 dan 5 bukan bilangan genap (B)
c. p : 3×5=8 (S)
q : 8 adalah bilangan ganjil (S)
~q : 8 bukan bilangan ganjil (B)
pq : jika 3×5=8, maka 8 adalah bilangan ganjil (B)
~( pq): tidak benar bahwa jika 3×5=8, maka 8 adalah bilangan ganjil (S)
p˄~q : 3×5=8 dan 8 bukan bilangan ganjil (B)
4. Biimplikasi
Tabel kebenaran Biimplikasi:
p q ~p ~q p<=>q ~(p<=>q) p ˄~q q ˄~p (p ˄~q)˅(q ˄~p)
B B S S B S S S S
B S S B S B B S B
S B B S S B S B B
S S B B B S S S S
c. p : x2 + x = 3x (S)
q : x2 = x + x (S)
~p : x2 + x ≠ 3x (B)
~q : x2 ≠ x + x (B)
p<=>q : x2 + x = 3x jika dan hanya jika x2 = x + x. (B)
~(p<=>q): tidak benar bahwa x2 + x = 3x jika dan hanya jika x2 = x + x (S)
p ˄~q : x2 + x = 3x dan x2 ≠ x + x. (S)
q ˄~p : x2 = x + x dan x2 + x ≠ 3x. (S)
(p ˄~q)˅(q ˄~p) : x2 + x = 3x dan x2 ≠ x + x atau x2 = x + x dan x2 + x ≠ 3x (S)
Artikel kelas XI ini membahas tentang logika matematika. Mulai dari pengertian kalimat
terbuka, pernyataan dan negasi, serta pernyataan majemuk (konjungsi, disjungsi,
implikasi, dan biimplikasi)
--
Squad, apa yang kamu bayangkan ketika mendengar kata “logika matematika”? Kalau
kamu murid laki-laki, mungkin akan bingung dan bertanya, “Kok matematika pakai
logika segala?”. Sementara sebagian perempuan akan berpikir, “Logika itu mah urusan
laki-laki! Perempuan tuh pakenya perasaan…”Hmmm.
Di dalam ilmu matematika, kamu juga dapat mempelajari logika. Buat apa? Tentu aja,
supaya mengasah otak kita dalam penarikan kesimpulan-kesimpulan. Jadi, ke
depannya kita tidak asal menduga sesuatu. Tidak ada lagi deh kalimat ‘Kamu bilangnya
mau jemput jam 10. Kok telat? Pasti JALAN SAMA MANTAN YA?!’
Hayo, dari gambar di atas, tahu nggak bedanya pernyataan dan kalimat terbuka?
Yak, 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:
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?).
Setelah mengetahui apa itu pernyataan dan kalimat terbuka, sekarang kita lanjut
pembahasan mengenai ingkaran/negasi/penyangkalan.
Ingkaran/negasi/penyangkalan (~)
Artinya, jika suatu pertanyaan (p) benar, maka ingkaran (q) akan bernilai salah. Begitu
pula sebaliknya. Berikut adalah contoh dalam matematika:
Contoh lain:
p: Semua unggas adalah burung.
~p: Ada unggas yang bukan burung.
Oke, kembali fokus, Squad. Sudah mengerti tentang ingkaran atau negasi, kan?
Selanjutnya, kita akan memelajari pernyataan majemuk. Apa itu pernyataan majemuk?
Konjungsi (^)
Konjungsi adalah pernyataan majemuk dengan kata hubung “dan”. Sehingga, notasi
“p^q” dibaca “p dan q”.
Dari tabel di atas, kita dapat melihat bahwa konjungsi hanya akan benar jika kedua
pernyataan (p dan q) benar.
Contoh:
Disjungsi adalah pernyataan majemuk dengan kata hubung “atau”. Sehingga notasi
“pVq” dibaca “p atau q”.
Jika kita lihat pada tabel kebenaran, disjungsi hanya salah jika kedua pernyataan (p
dan q) salah.
Contoh:
Implikasi (->)
Implikasi adalah pernyataan majemuk dengan kata hubung “jika… maka…” Sehingga
notasi dari “p->q” dibaca “Jika p, maka q”. Adapun tabel nilai kebenaran dari implikasi:
Dari tabel terlihat bahwa implikasi hanya bernilai salah jika anteseden (p) benar,
dan konsekuen (q) salah.
Contoh:
Biimplikasi (<->)
Biimplikasi adalah pernyataan majemuk dengan kata hubung “… jika dan hanya jika”.
Sehingga, notasi dari “p<-> q” akan dibaca “p jika dan hanya jika q”.
Dari tabel kebenaran tersebut, dapat kita amati bahwa biimplikasi akan bernilai benar
jika sebab dan akibatnya (pernyataan p dan q) bernilai sama. Baik itu sama-sama
benar, atau sama-sama salah.
Contoh:
Nah, itulah tadi pemahaman dari logika matematika baik dalam penggunaan
pernyataan dan kalimat terbuka, ingkaran, serta 4 macam kalimat majemuk
(konjungsi, disjungsi, implikasi, dan biimplikasi). Kalau kamu ingin memahami
materi seperti ini sambil menonton video penjelasan beranimasi lengkap dengan
rangkuman infografis dan latihan soal, langsung aja daftar