PENGERTIAN

1. Logika matematika adalah Ilmu yang mempelajari tentang

cara berpikir yang logis/masuk akal

2. Logika matematika adalah ilmu yang digunakan untuk

menentukan nilai kebenaran dari suatu pernyataan atau
penarikan kesimpulan berdasarkan aturan-aturan dasar yang
berlaku.
PRASYARAT

Tentukan bernilai benar atau salahkah kalimat berikut ini.

1. Mangga adalah jenis buah-buahan.
2. Rasa gula adalah manis.
3. Bilangan prima terkecil adalah 2.
4. Semua orang di dunia suka makan daging.
A. Kalimat Deklaratif Majemuk

1. Kalimat Deklaratif
Kalimat deklaratif diartikan sebagai kalimat yang mempunyai nilai kebenaran.
Nilai kebenaran yang dimaksud adalah benar saja atau salah saja, bukan
sekaligus benar atau sekaligus salah.
Kalimat deklaratif disebut juga pernyataan atau proposisi.
Misal:
- Bilangan genap habis dibagi 2. (benar)
- Nilai x yang memenuhi persamaan 2x – 1 = 5 adalah 1. (salah)
2. Negasi
 Negasi suatu pernyataan adalah suatu pernyataan yang bernilai benar (B),
jika pernyataan semula bernilai salah (S) dan sebaliknya.
 Negasi disimbolkan dengan (~).
Kalimat p jika dinegasikan, menjadi ~p.
Misal:
 Surabaya terletak di Kalimantan. (salah)
Negasinya:
Surabaya tidak terletak di Kalimantan. (benar)
atau,
Tidak benar bahwa Surabaya terletak di Kalimantan. (benar)
• Untuk memudahkan, akan digunakan
simbol-simbol huruf, seperti p, q, r,
atau sejenisnya untuk suatu kalimat
deklaratif.
• Misalkan p adalah kalimat deklaratif.
Nilai kebenaran dari negasi p yang
mungkin adalah seperti gambar di
samping.
3. Kalimat Terbuka
Kalimat terbuka adalah kalimat yang memuat variabel dan baru diketahui
nilainya (benar atau salah) jika variabel itu diganti suatu konstanta (anggota
semestanya).
Contoh:
Jika p(x) : x + 4 = 7, untuk x bilangan real, tentukan nilai variabel x yang
mengakibatkan kalimat tersebut mempunyai nilai kebenaran ”Benar”.
Jawab:
Kalimat p(x) merupakan kalimat terbuka. Misalkan nilai x diganti 2, akan
bernilai salah.
Kalimat ini akan bernilai benar jika nilai x diganti 3.
4. Pernyataan Majemuk
 Kalimat deklaratif majemuk (KDM) adalah kalimat yang dibentuk oleh
dua atau lebih kalimat deklaratif.
 Digunakan kata hubung untuk membentuk KDM, seperti:
”dan” disebut konjungsi;
”atau” disebut disjungsi;
”Jika ... maka ...” disebut implikasi;
”…jika dan hanya jika…” disebut biimplikasi.

 Suatu KDM yang selalu bernilai benar dinamakan tautologi, sedangkan

yang nilainya selalu salah dinamakan kontradiksi.
Konjungsi
Kata hubung dalam konjungsi adalah ”dan”, ditulis ””.
Tabel kebenaran:

Contoh:
p : Mangga adalah nama buah (benar)
q : Mangga adalah buah berbentuk balok (salah)
p  q : Mangga adalah nama buah dan berbentuk balok (salah).
Disjungsi
Dua kalimat deklaratif yang dihubungkan dengan kata hubung ”” disebut
disjungsi.
Tabel kebenaran:

Contoh:
p : 4 + 9 = 13. (benar)
q : 6 adalah bilangan prima. (salah)
p  q : 4 + 9 = 13 atau 6 adalah bilangan prima. (benar)
Implikasi
Implikasi merupakan kalimat majemuk dengan tanda hubung ””.
Tabel kebenaran:

Contoh:
p : Pak Rudi adalah manusia. (benar)
q : Pak Rudi kelak akan mati. (benar)
p  q : Jika Pak Rudi adalah manusia, maka kelak akan mati. (benar)
Biimplikasi
Biimplikasi merupaka implikasi dua arah, dinotasikan “”.
Tabel kebenarannya adalah sebagai berikut.

Contoh:
p : 3 × 2 = 6 (benar)
q : 6 memiliki faktor {1, 2, 3, 4, 6} (salah)
p  q : 3 × 2 = 6 jika dan hanya jika 6 memiliki faktor {1, 2, 3, 4, 6}. (salah)
B. Negasi Konjungsi, Disjungsi, Implikasi, dan Biimplikasi
1. Negasi Konjungsi dan Disjungsi
Jika konjungsi p  q, negasinya adalah ~p  ~q.
Jika disjungsi p  q, negasinya adalah ~p  ~q.
Pembuktiannya:

Dari tabel di atas terlihat bahwa nilai kebenaran

~(p  q) sama dengan ~p  ~q dan
~(p  q) sama dengan ~p  ~q.
Contoh:
p : 3 adalah bilangan asli.
q : 3 adalah bilangan ganjil.
p  q : 3 adalah bilangan asli dan bilangan ganjil. (benar)
Negasi dari p  q adalah:
~p  ~q : 3 bukan bilangan asli atau bukan bilangan ganjil. (salah)
2. Negasi Implikasi dan Biimplikasi
Diketahui implikasi p q.
Negasinya adalah p  ~q.
~(p q) ≡ p  ~q.
Diketahui biimplikasi p q.
Negasinya adalah (~p  q) (p  ~q).
~(p q) ≡ (~p  q) (p  ~q)
Adapun pembuktiannya juga dapat dilakukan dengan menggunakan tabel
kebenaran.
Coba kalian tunjukkan dengan tabel kebenaran!
 Contoh:
p : 6 habis dibagi 2.
q : 6 bilangan genap.
 p q : Jika 6 habis dibagi 2, maka 6 bilangan genap. (benar)
 p ~q : 6 habis dibagi 2 dan bukan bilangan genap. (salah)
Konver, Invers, dan Kontraposisi
Dari implikasi dapat dibentuk implikasi baru:
• disebut konvers dari implikasi semula
• disebut invers dari implikasi semula
• disebut kontraposisi dari implikasi semula
Contoh:
•p : Tia penyanyi
•q : Tia seniman
•implikasi : Jika Tia penyanyi maka Tia seniman
•konvers : Jika Tia seniman maka Tia Penyanyi
•invers : Jika Tia bukan penyanyi maka Tia bukan seniman
•kontraposisi : Jika Tia bukan seniman maka Tia bukan penyanyi.
TERIMA KASIH