Pengertian

Logika
Logika
merupakan
sebuah hasil
pertimbanga
n dari akal
pikiran yang
diutarakan
melalui kata
serta
Logika dinyatakan
Matematika dalam
atau Logika bahasa
Simbol ialah
logika yang
menggunaka
n bahasa
Matematika,
yaitu dengan
menggunaka
n lambang-
lambang
 Pengertian Logika
Ada beberapa hal yang bisa kita dapatkan ketika
mempelajari logika, beberapa diantaranya yakni:
 Memberikan pemikiran yang abstrak, cermat
dan objektif.
 Bisa menambah kecerdasan serta secara
otomatis dapat meningkatkan kemampuan
berfikir yang tajam dan mandiri.
 Membekali serta melatih diri untuk bisa berpikir
secara rasional, kritis, lurus, tertib, metodis
dan koheren.
 Bisa meningkatkan kemampuan analisis
terhadap suatu kejadian yang ada.
 Bisa meningkatkan rasa cinta terhadap
kebenaran.
 Membuat Pernyataan

Pernyataan adalah kalimat yang mempunyai nilai

benar atau salah, tetapi tidak sekaligus benar dan
salah (pernyataan disebut juga preposisi, kalimat
deklaratif).

Perhatikan beberapa contoh berikut!

 Al-Quran adalah sumber hukum pertama umat
Islam (Benar)
 4 + 3 = 8 (Salah)
 Rapikan tempat tidurmu! (tidak benar atau salah)
alimat Terbuka
Adalah kalimat yang belum tentu bernilai
benar atau salah. Kalimat terbuka biasanya
ditandai dengan adanya variabel (peubah).
Jika variabelnya diganti dengan konstanta
dalam semesta yang sesuai maka kalimat itu
akan menjadi sebuah pernyataan.

Variabel (Peubah)

Adalah lambang yang menunjukkan anggota

yang belum tentu dalam semesta pembicaraan,
sedangkan konstanta adalah lambang yang
menunjukkan anggota tertentu dalam semesta
pembicaraan.
 Operasi Dalam Logika dan Tabel
Kebenaran

Operasi dalam matematika yaitu

menggabungkan peryataan-pernyatan
tunggal yang menghasilkan
pernyataan majemuk. Operasi-operasi
yang dapatakan kita temui berupa
kata sambung logika (connective
logic)
 Ingkaran atau
Negasi

Ingkaran/Negasi dari suatu pernyataan adalah pernyataan lain

yang diperoleh dengan menambahkan kata ”tidak” atau
menyisipkan kata ”bukan” pada pernyataan semula.
Ingkaran dari suatu pernyataan p disajikan dengan lambang atau –p
atau ~p, dan dibaca: ”tidak p”. Bila peryataan p bernilai benar,
maka ingkarannya bernilai salah dan sebaliknya. Jika p adalah
pernyataan tunggal, maka ~p adalah pernyataan majemuk.
Definisi: Suatu pernyataan dan negasinya mempunyai nilai
kebenaran yang berlawanan.

Contoh:
• p : Jakarta ibukota negara Republik Indonesia
• ~p : Jakarta bukan ibukota negara Republik Indonesia
 Konjungsi (p ˄

Suatu pernyataan majemuk yang dibentuk dengan

cara menggabungkan dua pernyataan tunggal
dengan memakai kata perangkai “dan”
disebut konjungsi. Adapun kata perangkai yang
lain yaitu kata tetapi, maupun, dll .Operasi
konjungsi dilambangkan dengan “  “

Definisi: Sebuah konjungsi bernilai benar jika

komponen-komponennya
diatas dapat ditulis dalambernilai benar, dan sbb:
tabel kebenaran
bernilai salah jika salah satu dari komponennya
bernilai salah p q p˄q
B B B
B S S
S B S
S S S
 Disjungsi (p ˅ q)

Suatu pernyataan majemuk yang dibentuk dengan

cara menggabungkan dua pernyataan tunggal
dengan memakai kata perangkai atau disebut
disjungsi. Operasi disjungsi dilambangkan dengan
“  “.

Definisi: Sebuah disjungsi inklusif bernilai benar

jika paling sedikit salah satu komponennya bernilai
benar,
diatas sedangkan
dapat ditulis disjungsi eksklusif
dalam tabel bernilai benar
kebenaran sbb:
jika
jungsi paling sedikit komponennya bernilai
Inklusif: benarEksklusif:
Disjungsi
tetapi tidak
p q kedua-duanya.
p˅q p q p˅q
B B B B B S
B S B B S B
S B B S B B
S S S S S S
 Disjungsi (p ˅ q)

Suatu pernyataan majemuk yang dibentuk dengan

cara menggabungkan dua pernyataan tunggal
dengan memakai kata perangkai atau disebut
disjungsi. Operasi disjungsi dilambangkan dengan
“  “.

Definisi: Sebuah disjungsi inklusif bernilai benar

jika paling sedikit salah satu komponennya bernilai
benar, sedangkan disjungsi eksklusif bernilai benar
diatas dapat ditulis dalam tabel kebenaran sbb:
jika paling sedikit komponennya bernilai benar
jungsi Inklusif: Disjungsi Eksklusif:
tetapi tidak kedua-duanya.
p q p˅q p q p˅q
B B B B B S
B S B B S B
S B B S B B
S S S S S S