DIKTAT PERKULIAHAN LOGIKA INFORMATIKA

Disusun Oleh :
Zulfikar Moidady
202222023
DOSEN PENGAMPU : RAVIE KURNIA LADAY S.Kom, M.Kom

PRODI S1: TEKNIK INFORMATIKA

FAKULTAS TEKNOLOGI INFORMASI DAN
KOMUNIKASI VISUAL
INSTITUT SAINS & TEKNOLOGI AL-KAMAL
2024

i
 KATA PENGANTAR

Puji syukur penulis ucapkan ke hadapan Allah SWT karena berkat rahmat, hidayah, dan
karuniaNyalah penulis dapat menyelesaikan Diktat untuk Mata Kuliah Logika Informatika.
Tujuan penulisan diktat kuliah ini adalah untuk memberikan pemahaman, pengetahuan, serta
contoh-contoh yang praktis dan sederhana tentang Penilaian Pencapaian Hasil Belajar.

Ucapan terima kasih penulis sampaikan kepada semua pihak yang telah membantu
penulis dalam menyelesaikan penulisan diktat ini. Akhirnya sumbang saran sangat penulis
harapkan demi kesempurnaan diktat ini. Semoga diktat ini bermanfaat bagi seluruh pembaca,
khususnya mahasiswa

ii
DAFTAR ISI

BAB 1 ............................................................................................................................................. 1
Pendahuluan .................................................................................................................................... 1
Latar belakang ............................................................................................................................. 1
Tujuan ......................................................................................................................................... 1
Bab II .............................................................................................................................................. 2
Pembahasan..................................................................................................................................... 2
1.1 Logika matematika................................................................................................................ 2
Pernyataan dan Nilai Kebenarannya ........................................................................................... 2
1.2 Pernyataan Berkuantor .............................................................................................................. 2
1.3 Negasi Dari Suatu Pernyataan .................................................................................................. 3
1.4 Kalimat Terbuka ....................................................................................................................... 3
Pertemuan 2 .................................................................................................................................... 5
2.1 LOGIKA PROPOSISIONAL DAN PROPOSISI MAJEMUK ............................................ 5
2.2 APA ITU PROPOSISI? ........................................................................................................ 5
2.3 proposisi majemuk ................................................................................................................ 5
2.5 NOTASI ................................................................................................................................ 7
PERTEMUAN 3 ............................................................................................................................. 8
3.1 ATURAN SIKTAKTIK........................................................................................................ 8
KEUNTUNGAN ATURAN SINTAKTIK................................................................................. 8
3.2 INTERPRETASI................................................................................................................... 8
3.3 TABEL KEBENARAN ........................................................................................................ 9
PERTEMUAN 4 ........................................................................................................................... 11
KALIMAT BERKUANTOR ........................................................................................................ 11
4.1 KUANTOR ......................................................................................................................... 11
4.2 EKUIVALENSI LOGIKA PADAKUANTOR .................................................................. 12
PERTEMUAN 5 ........................................................................................................................... 15
ATURAN SEMANTIK ................................................................................................................ 15
5.1 ATURAN SEMANTK........................................................................................................ 15
5.2 ATURAN PROPOSISI ....................................................................................................... 15

iii
 5.3 ATURAN NEGASI ( NOT- ) ............................................................................................. 15
ATURAN KONJUNGSI ( - AND- )......................................................................................... 16
5.4 INTERPRETASI UNTUK KALIMAT .............................................................................. 17
Pertemuan 6 .................................................................................................................................. 18
TABEL KEBENARAN ................................................................................................................ 18
6.1 TABEL KEBENARAN ...................................................................................................... 18
PERTEMUAN 7 ........................................................................................................................... 20
EKIVALENSI LOGIS .................................................................................................................. 20
7.1 EKIVALENSI PREPOSISI ................................................................................................ 20
HUKUM EKIVALENSI........................................................................................................... 21
HUKUM EKIVALENSI........................................................................................................... 21
7.2 DEFINISI OPERATOR DENGAN EKIVALENSI ........................................................... 22
PERTEMUAN 8 ........................................................................................................................... 24
POHON SEMANTIK DAN SIFAT-SIFAT KALIMAT ............................................................. 24
8.1 POHON SEMANTIK ......................................................................................................... 24
8.2 EFISIENSI POHON SEMANTIK ...................................................................................... 25
8.3 SIFAT – SIFAT KALIMAT ............................................................................................... 26
SIFAT-SIFAT KALIMAT........................................................................................................ 26
8.4 TABEL KEBENARAN DAN SIFAT KALIMAT ............................................................. 27
REFERENSI ............................................................................................................................. 28
PERTEMUAN 9 ........................................................................................................................... 29
VALIDITAS KALIMAT .............................................................................................................. 29
9.1 VALIDITAS KALIMAT .................................................................................................... 29
9.2 LANGKAH PENENTUAN VALIDITAS KALIMAT ..................................................... 30
PERTEMUAN 11 ......................................................................................................................... 31
SUBSTITUSI KALIMAT ............................................................................................................ 31
10.1 SUBTITUSI KALIMAT ................................................................................................... 31
10.3 SUBTITUSI KALIMAT SEDERHANA.......................................................................... 31
10.4 KAIDAH SUBTITUSI KALIMAT .................................................................................. 32
10.5 KESALAHAN SUBTITUSI KALIMAT ......................................................................... 33
MATERI 12 .................................................................................................................................. 35

iv
BENTUK NORMAL .................................................................................................................... 35
11.1 BENTUK NORMAL ........................................................................................................ 35
MATERI 13 .................................................................................................................................. 37
DEDUKSI NATURAL / ALAMI ................................................................................................. 37
12.1 DEDUKSI NATURAL/DEDUKSI ALAMI .................................................................... 37
KONSEP DEDUKSI NATURAL/DEDUKSI ALAMI............................................................ 37
CONTOH DEDUKSI ALAMI DALAM KEHIDUPAN SEHARI-HARI ............................... 38
DEDUKSI ALAMI DALAM BIDANG INFORMATIKA ...................................................... 39
PERAN PENTING DEDUKSI ALAMI................................................................................... 39
PERTEMUAN 14 ......................................................................................................................... 41
LOGIKA PREDIKAT .................................................................................................................. 41
13.1 SINTAKS.......................................................................................................................... 41
13.2 SEMANTIK ..................................................................................................................... 42
PERTEMUAN 15 ......................................................................................................................... 46
INTERPRETASI YANG DIPERLUAS ....................................................................................... 46
Pengertian Interpretasi yang diperluas ...................................................................................... 46
Jenis-jenis Interpretasi yang diperluas ...................................................................................... 46
14.2 ATURAN-ATURAN INTERPRETASI YANG DIPERLUAS ....................................... 47
ATURAN-ATURAN VALIDITAS.......................................................................................... 48
Daftar pustaka ............................................................................................................................... 51

v
 BAB 1
Pendahuluan

Latar belakang
Latar Belakangini menjelaskan tentang logika informatika dan juga cara berpikir mengenai dari
sudut pandang lain. Semoga dengan tulisan penulis dapat membantu proses belajar pembaca
agar dapat lebih mudah untuk dipahami

Tujuan
Tujuan penulisan diktat ini adalah untuk memberikan pemahaman yang komprehensif tentang
konsep-konsep dasar dalam logika informatika, termasuk namun tidak terbatas pada logika
proposisional, logika predikat, dan penerapannya dalam dunia komputasi. Dengan demikian,
diharapkan pembaca dapat menguasai dasar-dasar logika informatika dan mampu
mengaplikasikannya dalam pemecahan masalah di bidang teknologi informasi.

1
 Bab II
Pembahasan
Pertemuan 1

1.1 Logika matematika

Pernyataan dan Nilai Kebenarannya

Pernyataan adalah kalimat yang mempunyai nilai benar atau salah, tetapi tidak dapat keduanya
sekaligus benar atau salah.

Contoh : 1. Jakarta Ibu kota Indonesia

2. padang bukan ibu kota sumatera barat

3. 19 – 7 = 7

Benar atau salah suatu dari suatu pernyataan dapat ditentukan dengan memakai dasar
Yaitu dasar empiris dan dasar tak empiris:

1. Dasar Empiris adalah menentukan benar atau salah dari sebuah pernyataan berdasarkan fakta
yang ada atau dijumpai dalam kehidupan sehari – hari

Contoh :

• Air benda padat

• Daerah itu terkena gempa

2. Dasar Tak Empiris adalah menentukan benar atau salah dari sebuah pernyataan dengan
memakai bukti atau perhitungan dalam matematika
Contoh

• 6 adalah bilangan genap

• Jumlah sudut dalam segitiga adalah 180

1.2 Pernyataan Berkuantor

➢ Pernyataan berkuantor universal (umum) adalah pernyataan yang memiliki kata semua
atau setiap. :
➢ Pernyataan berkuantor eksistensial (khusus) adalah kalimat yang memiliki kata beberapa
atau ada.

Contoh : Semua mahasiswi ISTA memakai jilbab

Ada mahasiswa/i yang terlambat masuk kelas

2
 1.3 Negasi Dari Suatu Pernyataan

Negasi yaitu kalimat yang menidakkan atau mengingkari pernyataan.

Jika pernyataan dilambangkan dengan p, maka ingkaran dari penyataan dilambangkan dengan –
p atau ~p

Contoh :

• p = 7 adalah bilangan prima ( B )

• ~ p = 7 bukan bilangan prima ( s )

1.4 Kalimat Terbuka

Kalimat terbuka adalah kalimat yang memuat variabel/peubah, sehingga belum dapat ditentukan
nilai kebenarannya (benar atau salah).

Contoh :
1. Itu adalah benda padat (ada variabel itu)

2. 2x + 17 < 86 (ada variabel x)

3. 19 – 7y = 7 (ada variabel y)

4. x2 + 3x – 7 = 0 (ada variabel x)

Latihan :

1. Tentukan manakah dari kalimat berikut yang merupakan pernyataan :

• Semua bilangan bulat adalah bilangan asli

• x2 + 2x – 17 = 0
• Tangkaplah orang itu
• 17 adalah bilangan ganjil
2. Tentukan negasi dari pernyataan berikut :

• p : 4 x 5 lebih dari 6
• q : 3 adalah faktor dari 13

3
 • r :Semua siswa senang belajar matematika

Solution :
1. Solution :

• Semua bilangan bulat adalah bilangan asli

• x2 + 2x – 17 = 0
• Tangkaplah orang itu
• 17 adalah bilangan ganjil

2. Solution :

• ~p : tidak benar bahwa 4 x 5 lebih dari 6

• ~p : 4 x 5 kurang atau sama dengan 6
• ~q : tidak benar bahwa 3 adalah faktor dari 13
• ~q : 3 bukan faktor dari 13

4
 Pertemuan 2

2.1 LOGIKA PROPOSISIONAL DAN PROPOSISI MAJEMUK

Simbol-simbol proposisional (propositional symbols)

P, Q, R, S, P1, Q1, R1, S1, P2, Q2, R2, S2, ... (untuk simbol-simbol proposisional digunakan
huruf-huruf besar P, Q, R, atau S, dan bisa dengan menambahkan indeks- indeks numerik untuk
membuat simbol-simbol yang berbeda, perhatikan contoh )

Setelah mengetahui komponen-komponen pembentuk kalimat, yaitu proposisi yang

terdiri dari simbol kebenaran dan simbol proposisional, selanjutnya dibicarakan bagaimana cara
Untuk membentuk kalimat logika proposisional.

2.2 APA ITU PROPOSISI?

Setiap pertanyataan yang hanya memiliki satu nilai benar atau salah, sehingga logika yang
menangani atau memproses atau memanipulasi penarikan kesimpulan secara logis (logical
derivation) dari proposisi-proposisi disebut Logika

Proposisional (Propositional Logic atau Propositional Calculus)

2.3 proposisi majemuk

Proposisi majemuk adalah jenis pernyataan logika yang terbentuk dari dua atau lebih proposisi
sederhana yang dihubungkan oleh operator logika. Proposisi majemuk digunakan untuk
menggambarkan hubungan logika antara proposisi-proposisi sederhana tersebut. Ada beberapa
jenis operator logika yang digunakan dalam proposisi majemuk, seperti "dan" (conjunction),
"atau" (disjunction), dan "tidak" (negation).
Contoh proposisi majemuk:
"Saya akan pergi ke toko dan membeli kopi." Operator logika: "dan" (conjunction) Proposisi
sederhana 1:

"Saya akan pergi ke toko." Proposisi sederhana 2: "Saya akan membeli kopi."

"Saya akan makan pizza atau burger." Operator logika: "atau" (disjunction) Proposisi sederhana
1: "Saya akan makan pizza." Proposisi sederhana 2: "Saya akan makan burger."
"Saya tidak suka hujan." Operator logika: "tidak" (negation) Proposisi sederhana: "Saya suka
hujan."

5
KALIMAT DIBENTUK MENURUT ATURAN – ATURAN :

aturan proposisi) setiap proposisi, yaitu suatu simbol kebenaran atau suatu simbol proposisi
merupakan kalimat.
(aturan negasi) apabila F kalimat, maka negasi (negation) nya (not F) merupakan kalimat.

(aturan konjungsi) apabila F dan G kalimat, maka demikian juga konjungsi (conjunction) nya,
yaitu (F and G), selanjutnya F maupun G disebut conjuncts dari (F and G).

(aturan disjungsi) apabila F dan G kalimat, maka demikian juga disjungsi (disjunction) nya,
yaitu (F or G), selanjutnya F maupun G disebut disjuncts dari (F or G).

(aturan implikasi) apabila F dan G kalimat, maka demikian juga implikasi (implication) nya, 1.
yaitu if F then G. Selanjutnya F disebut antecedent dan G disebut consequent dari if F then G.
Kalimat if G then F disebut converse dari kalimat if F then G.

(aturan ekuivalensi) apabila F dan G kalimat, maka demikian juga ekuivalensi (equivalence)
nya, yaitu (F if and only if G), selanjutnya F disebut sisi-kiri (left-hand side) dan G disebut sisi-
kanan (right-hand side) dari F if and only if G.

(aturan kondisional) apabila F, G dan H kalimat, maka demikian juga kondisional (conditional)
nya, yaitu if F then G else H). Selanjutnya F, G, dan H masing-masing disebut klausa-if (if-
clause), klausa-then (then-clause), dan klausa-else (else-clause) dari kondisional if F then G else
H).

➢ CONTOH KALIMAT LOGIKA PROPOSISIONAL :

Ekspresi E: true adalah kalimat logika proposisional. Karena true ditulis (dicetak) miring, berarti
true merupakan simbol kebenaran. Sehingga menurut definisi proposisi, true merupkan
proposisi.
➢ CONTOH KALIMAT BUKAN LOGIKAPROPOSISIONAL :
1..Perlihatkan bahwa ekspresi F: if not(if A then R) then not(P and notB).

2. Cara cepat untuk memperlihatkan bahwa ekspresi F bukan kalimat logika proposisional adalah
dengan pengamatan. Dari pengamatan, ekspresi F memuat simbol-simbol A, B, P dan R.
Sementara menurut definisi, A dan B bukan simbol proposisional, sehingga A dan B keduanya
bukan proposisi (karena proposisi hanya bisa berupa simbol kebenaran atau simbol
proposisional, dan jelas bahwa A dan B bukan simbol-simbol kebenaran).

6
2.5 NOTASI
Untuk menyatakan kalimat logika proposisional bisa digunakan beberapa notasi yang berbeda,
dalam modul ini digunakan tiga macam notasi: matematika, pseudocode
(Englishlike), dan function
SIMBOL NOTASI :

Penulisan kalimat logika proposisional dengan notasi matematika dan pseudocode khususnya,
bahwa pasangan-pasangan kurung dalam kalimat bisa dihilangkan apabila tidak diperlukan untuk
menunjukkan struktur kalimat. Sebagai contoh, kalimat

(not(P and (notQ)))

bisa ditulis sebagai not(P and (notQ)), tanpa adanya ambiguitas (ambiguity). Akan tetapi, apabila
pasangan kurung di dalam kalimat not(P and notQ) dihilangkan menjadi notP and notQ, maka
bisa ditafsirkan dengan jelas dan tunggal, yaitu (notP) and (notQ) dan berbeda nilai dengan
kalimat aslinya, meskipun tidak ada ambiguitas.

7
 PERTEMUAN 3
ATURAN SINTAKTIK DAN INTERPRETASI

3.1 ATURAN SIKTAKTIK

Aturan yang mengatur struktur atau tata bahasa suatu bahasa formal. Mereka mendefinisikan
cara menyusun kata-kata dan simbol-simbol dalam bahasa tersebut agar membentuk kalimat atau
ekspresi yang sah. Aturan sintaktik membantu komputer memahami struktur data dan pernyataan
dalam program.

CONTOH ATURAN SINTAKTIK DALAM BAHASA

PEMROGRAMAN

• Penentuan Variabel : Dalam banyak bahasa pemrograman, variabel harus dimulai dengan
huruf atau garis bawah (_) dan hanya boleh berisi huruf, angka, atau garis bawah.
Misalnya, nama_variabel adalah sah, sedangkan 123variabel tidak sah.
• Struktur Pernyataan : Pernyataan dalam bahasa pemrograman harus mengikuti aturan
sintaktik tertentu. Misalnya, dalam Python, pernyataan kondisional harus diakhiri dengan
titik dua (:), dan blok kode yang terkait harus bersifat terinduk.

KEUNTUNGAN ATURAN SINTAKTIK

• Mencegah kesalahan sintaksis: Aturan sintaktik membantu mencegah kesalahan dalam
penulisan kode atau ekspresi. Jika kode tidak mengikuti aturan sintaktik, kompiler atau
interpreter akan menghasilkan pesan kesalahan.
• Mempermudah pemahaman kode: Dengan mengikuti aturan sintaktik, kode menjadi lebih
mudah dipahami oleh manusia maupun komputer.

3.2 INTERPRETASI
Proses mengartikan makna dari suatu ekspresi atau
pernyataan. Dalam konteks logika informatika, interpretasi berkaitan dengan bagaimana kita
memberikan makna kepada ekspresi atau pernyataan dalam bahasa formal.

CONTOH INTERPRETASI DALAM LOGIKA PROPOSISI

• Logika Proposisi: Dalam logika proposisi, kita memiliki proposisi (pernyataan) yang bisa
bernilai benar (True) atau salah (False). Interpretasi dalam hal ini adalah mengaitkan nilai
ke proposisi tersebut.

8
 • Misalnya, jika kita memiliki proposisi P yang berarti "Hari ini hujan," kita dapat
menginterpretasikan P sebagai True jika memang hari ini hujan atau False jika tidak.

KEUNTUNGAN INTERPRETASI

• Memungkinkan pemahaman makna: Interpretasi membantu kita memahami makna dari

pernyataan dalam bahasa formal, sehingga kita dapat mengambil keputusan atau
membuat kesimpulan berdasarkan informasi tersebut.
• Penting dalam pemrograman logika: Dalam pemrograman logika, interpretasi sangat
penting. Sebagai contoh, dalam bahasa pemrograman Prolog, kita mendefinisikan fakta
dan aturan, dan komputer menginterpretasikannya untuk mencari jawaban yang sesuai.

3.3 TABEL KEBENARAN

Tabel kebenaran adalah alat yang sangat berguna untuk menggambarkan semua kemungkinan
interpretasi yang diperluas untuk suatu ekspresi logika proposisional dan menghitung nilai
kebenarannya. Tabel ini memiliki kolom-kolom untuk setiap variabel proposisional dan ekspresi
keseluruhan, serta baris-baris yang mewakili semua kemungkinan kombinasi nilai variabel
proposisional.
Contoh tabel kebenaran untuk ekspresi P ^ Q:

P Q P^ Q

True True True

True False False

False True False

False False False

Tabel kebenaran adalah alat yang digunakan untuk menentukan nilai kebenaran dari sebuah
ekspresi logika proposisional berdasarkan semua kemungkinan kombinasi nilai yang mungkin

9
untuk variabel-varibel proposisional yang terlibat dalam ekspresi tersebut. Tabel kebenaran
membantu kita memahami bagaimana nilai kebenaran ekspresi berubah sesuai dengan nilai-nilai
variabel proposisional yang berbeda.

P Q P^ Q Pv Q P -> Q ¬P

True True True True True False

True False False True False False

False True False True True True

False False False False True True

Dalam tabel kebenaran di atas:

Kolom pertama dan kedua ("P" dan "Q") menunjukkan semua kemungkinan nilai variabel P dan
Q, yaitu True (Benar) atau False (Salah).
Kolom ketiga ("P ^ Q") menunjukkan hasil dari operasi logika AND (konjungsi) antara P dan Q.
Hasilnya adalah True hanya jika P dan Q keduanya True.
Kolom keempat ("P v Q") menunjukkan hasil dari operasi logika OR (disjungsi) antara P dan Q.
Hasilnya adalah True jika salah satu atau keduanya True.

Kolom kelima ("P -> Q") menunjukkan hasil dari operasi logika IMPLIKASI (implikasi) dari P
ke Q. Hasilnya adalah True kecuali jika P adalah True dan Q adalah False.
Kolom keenam ("¬P") menunjukkan hasil dari operasi logika NOT (negasi) dari P. Hasilnya
adalah True jika P adalah False dan sebaliknya.

Dengan tabel kebenaran, kita dapat menguji nilai kebenaran dari ekspresi logika proposisional
dengan menggantikan nilai-nilai variabel proposisional dengan True atau False, dan kemudian
melihat hasilnya. Ini adalah alat yang berguna dalam analisis logika proposisional dan membantu
dalam memahami bagaimana operasi logika bekerja pada pernyataan-proposisi yang berbeda.

10
 PERTEMUAN 4
KALIMAT BERKUANTOR

4.1 KUANTOR
Kuantor suatu istilah yang menyatakan“berapa banyak”dari suatu objek dalam suatu sistem.
Kuantor merepresentasikan suatu pernyataan yang bernilai benar pada suatu nilai tertentu.
Kuantor dinyatakan dengan kata “semua”,“beberapa” , ”banyak” , ”tidak ada”, dan“sedikit”.

PERNYATAAN BERKUANTOR
Pernyataan berkuantor universal (umum) adalah pernyataan yang memiliki kata semua atau
setiap.
Pernyataan berkuantor eksistensial (khusus) adalah kalimat yang memiliki kata beberapa atau
ada.
Contoh :

• Semua mahasiswi ISTA memakai jilbab

• Ada mahasiswa/i yang terlambat masuk kelas

Kuantor universal :

Kuantor Ekstensial

11
4.2 EKUIVALENSI LOGIKA PADAKUANTOR
Dua pernyataan yang mengandung kata hubung logika dan kuantor dikatakan ekivalen jika dan
hanya jika keduanya mempunyai nilai kebenaran yang sama tidak masalah pada kata hubung dan
domain

yang digunakan dalam suatu pernyataan. Pernyataan S dan T yang ekivalen dinyatakan dengan
simbol S = T

NEGASI KALIMAT BERKUANTOR

Negasi dari kuantor universal sebuah fungsi proposisi ekivalen logis dengan kuantor ekstensial
dari negasi fungsi proposisinya

Negasi dari kuantor ekstensial sebuah fungsi proposisi ekivalen logis dengan kuantor universal
dari negasi fungsi proposisinya

MENTERJEMAHKAN KALIMAT MENJADI EKSPRESI LOGIKA

Beberapa hal yang perlu diperhatikan dalam menterjemahkan:

1. Awali dengan menetapkan semesta pembicaraan

2. Kata – kata seperti“saya” dan “anda” dianggap sebagai konstanta untuk individu.
3. susunan kata yang terdiri atas kata kerja dan kata keterangan diterjemahkan sebagai satu
prediket.
4. Kata kerja yang melibatkan waktu, misalnya“akan, telah dsb”tidak diperhatikan. Begitu
juga dengan kata– kata“mungkin,tidak mungkin, pasti terjadi” juga diabaikan.

URUTAN KUANTOR (THE ORDER OF QUANTIFIER)

Menterjemahkan Kalimat Menjadi Ekspresi Logika

Contoh 1 :
Misalkan Pxy : x + y = y + x

Apakah nilai kebenaran dari kuantifikasi ("x)("y ) Pxy ?

Jawab :

("x)("y) Pxy artinya untuk semua bilangan nyata x dan untuk semua bilangan nyata
y berlaku x+y=y+x. Pxy benar untuk setiap x dan y

Jadi "x"y Pxy benar

12
Contoh 2 :
Misalkan Qxy : x + y = 0

Apakah nilai kebenaran dari kuantifikasi a). ("x)($y ) Qxy ?

b). ($x ) ("y)Qxy ?
Jawab :

a). ("x)($y) Qxy artinya :untuk semua bilangan nyata x ada suatu bilangan nyata y sehingga x +y
= 0. Misalkan kita mengambil sembarang nilai x, maka selalu ada (y=-x) sehingga ("x )($y)Qxy
benar

b). ($x )("y)Qxy artinya : ada suatu bilangan nyata x sehingga untuk semua bilangan nyata y
berlaku x+y =0, padahal hanya y=-x saja yang memenuhi x+y=0. Jadi ($x )("y) Qxy salah

CARA MENTERJEMAHKAN KALIMAT BERKUANTOR

FORMULA SARAN TERJEMAHAN

"xAx Semua (obyek) memenuhi sifat A

$x Ax Ada (obyek) yang memenuhi sifat A

"x ~Ax Tidak ada (obyek) yang memenuhi sifat A

$x ~Ax Ada (obyek) yang tidak memenuhi sifat A

"x (Qx ®Rx) Setiap bilangan rasional adalah bilangan nyata

Afirmatif umum

"x(Qx® ~ Rx) Setiap bilangan rasional bukan bilangan nyata

Negatif umum

$x (Qx Ù Rx) Ada bilangan rasional yang bilangan nyata

Afirmatif khusus

13
$x (Qx Ù ~ Rx) Ada bilangan rasional yang bukan bilangan nyata
Negatif khusus

14
 PERTEMUAN 5
ATURAN SEMANTIK

5.1 ATURAN SEMANTK

Aturan semantik adalah aturan yang digunakan untuk menentukan nilai kebenaran suatu kalimat.

Nilai kebenaran dari suatu kalimat di bawah interpretasi dapat diperoleh dengan menerapkan
aturan semantik

5.2 ATURAN PROPOSISI

SIMBOL KEBENARAN SIMBOL PROPOSISIONAL

• Nilai kebenaran simbol sesuai kalimat • Niai kebenaran simbol sesuai nilai yang
diberikan oleh interprentasi

Contoh: Contoh:
Kalimat true bernilai kebenaran true Pada interpretasi I:{ P¬true, R
¬false} P bernilai kebenaran true.
Kalimat false bernilai kebenaran false R bernilai kebenaran false.

5.3 ATURAN NEGASI ( NOT- )

Nilai kebenaran kalimat negasi berkebalikan dari nilai awal kalimat
Contoh :
Negasi kalimat true (not true) bernilai kebenaran false
Negasi kalimat false (not false) bernilai kebenaran true

ATURAN DISJUNGSI ( -OR- )

Nilai kebenaran kalimat disjungsi TRUE jika nilai satu kalimat yang berpasangan adalah true

Kalimat pertama (F) Kalimat kedua (G) Disjungsi kalimat ( F or G )

15
 True True True
True False True
False True True
False False False

ATURAN KONJUNGSI ( - AND- )

Nilai kebenaran kalimat konjungsi TRUE jika nilai kedua kalimat yang berpasangan adalah
TRUE

Kalimat pertama (F) Kalimat kedua (G) Disjungsi kalimat ( F or G )

True True True

True False False
False True False
False False False

ATURAN IMPLIKASI ( IF-THEN )

Nilai kebenaran kalimat implikasi FALSE jika nilai klausa if true dan nilai klausa then : FALSE

Kalimat pertama (F) Kalimat kedua (G) Disjungsi kalimat ( F or G )

True True True

False True True

False False True

ATURAN EKUIVALENSI ( -IF AND ONLY IF- )

Nilai kebenaran kalimat EKUIVALENSI TRUE jika nilai sisi kiri dan kanan sama

Kalimat pertama (F) Kalimat kedua (G) Disjungsi kalimat ( F or G )

True True True

16
 True False False
False True False
False False True

5.4 INTERPRETASI UNTUK KALIMAT

• Interpretasi untuk suatu kalimat dapat diperoleh melalui nilai kebenaran kalimat.

Langkah penentuan interpretasi untuk suatu kalimat dimulai dari :

1. Memperhatikan nilai kebenaran kalimat

2. Menentukan nilai kebenaran semua kalimat bagian (hingga diperoleh nilai kebenaran
untuk simbol proposisional)
3. Tuliskan interpretasi dari nilai kebenaran simbol proposisional

➢ CONTOH PENENTUAN INTERPRETASI KALIMAT

Perhatikan kalimat logika proposisional berikut:

E: (Q and P) if and only if R

Nilai kebenaran untuk kalimat E adalah false.

17
 Pertemuan 6
TABEL KEBENARAN
6.1 TABEL KEBENARAN
Tabel kebenaran adalah alat yang digunakan untuk menentukan nilai kebenaran suatu kalimat
secara lengkap semua nilai yang dari mungkin diberikan.

Setiap interpretasi untuk suatu kalimat logika proposisional akan bersesuaian dengan tepat satu
baris dalam tabel kebenaran.

LANGKAH MEMBUAT TABEL KEBENARAN

18
LANGKAH MEMBUAT TABEL KEBENARAN

PEMBUATAN TABEL KEBENARAN

19
 PERTEMUAN 7
EKIVALENSI LOGIS

7.1 EKIVALENSI PREPOSISI

Dua buah proposisi majemuk yang secara sintaksis (tertulis) berbeda dapat memiliki
makna semantik yang sama. Kedua proposisi tersebut dikatakan “ekivalen”

Kita akan pelajari:

- Aturan dan hukum ekivalensi
- Bagaimana membuktikan ekivalensi menggunakan symbolic derivations

EKIVALENSI LOGIKA

• Proposisi majemuk p ekivalen dengan proposisi majemuk q, ditulis p⇔q, IFF proposisi
majemuk p ⇔ q adalah tautologi atau kontradiksi.

• Proposisi majemuk p dan q ekivalen satu sama lain IFF p dan q memiliki nilai kebenaran
yang sama pada semua barisnya di tabel kebenaran

MEMBUKTIKAN EKIVALENSI DENGAN TABEL KEBENARAN

p q p∨q ¬p 𝖠 ¬q ¬(¬p 𝖠 ¬q)

0 0 0 1 0

0 1 1 0 1

1 0 1 0 1

1 1 1 0 1

20
HUKUM EKIVALENSI

Identity : p𝖠T ⇔ p p∨F ⇔ p

Domination : p∨T ⇔ T p𝖠F ⇔ F

Idempotent : p∨p ⇔ p p𝖠p ⇔ p

Double negation : ¬¬p ⇔ p

Commutative : p∨q ⇔ q∨p p𝖠q ⇔ q𝖠p

Associative : (p∨q)∨r ⇔ p∨(q∨r)

(p𝖠q)𝖠r ⇔ p𝖠(q𝖠r)

HUKUM EKIVALENSI
Distributif : p∨(q𝖠r) ⇔ (p∨q)𝖠(p∨r) p𝖠(q∨r) ⇔ (p𝖠q)∨(p𝖠r)

De Morgan : ¬(p𝖠q) ⇔ ¬p ∨ ¬q
¬(p∨q) ⇔ ¬p 𝖠 ¬q
Trivial tautology/contradiction : p ∨ ¬p ⇔ T p 𝖠 ¬p ⇔ F

21
7.2 DEFINISI OPERATOR DENGAN EKIVALENSI
Menggunakan ekivalensi, kita dapat mendefinisikan operator dengan operator lainnya

Exclusive or : p⊕q ⇔ (p∨q)𝖠¬(p𝖠q) p⊕q ⇔ (p𝖠¬q)∨(q𝖠¬p)

Implikasi : p→q ⇔ ¬p ∨ q

Biimplikasi : p q ⇔ (p→q) 𝖠 (q→p) p q ⇔ ¬(p⊕q)

CONTOH 1 :

Buktikan dengan symbolic derivation apakah (p 𝖠 ¬q) → (p ⊕ r) ⇔ ¬p ∨ q ∨ ¬r.

(p 𝖠 ¬q) → (p ⊕ r) ⇔

[Expand definition of →] ¬(p 𝖠 ¬q) ∨ (p ⊕ r)

[Defn. of ⊕] ⇔ ¬(p 𝖠 ¬q) ∨ ((p ∨ r) 𝖠 ¬(p 𝖠 r))

[DeMorgan’s Law]

- (¬p ∨ q) ∨ ((p ∨ r) 𝖠 ¬(p 𝖠 r))

- [associative law] cont

CONTOH 2 :
(¬p ∨ q) ∨ ((p ∨ r) 𝖠 ¬(p 𝖠 r)) ⇔ [∨ commutes]

- (q ∨ ¬p) ∨ ((p ∨ r) 𝖠 ¬(p 𝖠 r)) [∨ associative]

- q ∨ (¬p ∨ ((p ∨ r) 𝖠 ¬(p 𝖠 r))) [distrib. ∨ over 𝖠]

- q ∨ (((¬p ∨ (p ∨ r)) 𝖠 (¬p ∨ ¬(p 𝖠 r)))

[assoc.] ⇔ q ∨ (((¬p ∨ p) ∨ r) 𝖠 (¬p ∨ ¬(p 𝖠 r)))

[trivial taut.] ⇔ q ∨ ((T ∨ r) 𝖠 (¬p ∨ ¬(p 𝖠 r)))

[domination] ⇔ q ∨ (T 𝖠 (¬p ∨ ¬(p 𝖠 r)))

22
[identity] ⇔ q ∨ (¬p ∨ ¬(p 𝖠 r)) ⇔ cont.

23
 PERTEMUAN 8
POHON SEMANTIK DAN SIFAT-SIFAT KALIMAT

8.1 POHON SEMANTIK

• Pohon semantik: cara lain untuk menentukan nilai kebenaran kalimat logika
proposisional
• Penentuan nilai kebenaran dengan pohon semantik lebih efisien karena hanya memeriksa
beberapa kemungkinan nilai saja

Cara membuat pohon semantik

1. Buat suatu node 1, node 2 dan satu garis yang menghubungkan node 1 dan 2, lihat gambar:

2. Tentukan simbol proposisional yang akan diberikan nilai kebenaran untuk pertama kali
(Misalkan P). Untuk cabang ini garis node 1 dan 2, berikan nilai kebenaran true

3. Evaluasi nilai kebenaran kalimatnya dengan mengganti simbol proposisional terkait sesuai
langkah 2 (P diberikan nilai kebenaran
true ) Bila sudah

24
diperoleh nilai kebenaran kalimatnya

4. Bila sudah diperoleh nilai kebenaran kalimat pada suatu node, maka buat cabang baru yaitu
node 3 serta garis penghubung node 1 dan node 3.

Nilai kebenaran P: false

merupakan kebalikan
dari nilai di node 1-2 (P
true)

8.2 EFISIENSI POHON SEMANTIK

Efisiensi pohon semantik dilakukan dengan membandingkan pohon semantik dengan tabel
kebenaran.

Efisiensi mengukur penghematan pengamatan terhadap kemungkinan nilai kebenaran simbol

proposisional.

CARA MENENTUKAN EFISIENSI POHON SEMANTIK

Langkah:

1. Tentukan banyak pengamatan yang perlu dilakukan dalam pohon semantik, lihat jumlah jalur
(misalkan dinotasikan A)]

2. Tentukan banyak pengamatan yang perlu dilakukan dalam tabel kebenaran yaitu sebanyak 2 m
dengan m: banyak simbol proporsisional (misalkan dinotasikan B)

3. Bandingkan kedua pengamatan yang perlu dilakukan pada langkah

25
8.3 SIFAT – SIFAT KALIMAT
SIFAT – SIFAT KALIMAT
Sifat kalimat akan mengelompokan kalimat logika proposisional berdasarkan hubungan antara
nilai kalimat logika proposisional dengan kualitas dan cakupan interpretasinya.

VALID SATISFIABLE

Semua nilai kebenaran kalimat true Ada nilai kebenaran kalimat true pada suatu
pada setiap interpretasi interpretasi

SIFAT KALIMAT
CONTRADICT ORY

• Semua nilai kebenaran kalimat false pada setiap interpretasi

SIFAT-SIFAT KALIMAT

IMPLIES EQUIVALENT

Kalimat ℇ implies kalimat 𝒢 apabila pada Kalimat ℇ equivalent kalimat 𝒢 apabila pada
semua interpretasi untuk ℇ dan semua interpretasi untuk ℇ dan 𝒢, nilai
𝒢, kebenaran ℇ dan 𝒢 sama
jika ℇ bernilai true maka 𝒢 bernilai true

SIFAT-SIFAT KALIMAT
CONSISTENT :

Kalimat ℇ1, ℇ2, ℇ3, … konsisten apabila terdapat interpretasi untuk ℇ1, ℇ2, ℇ3, … yang
membuat ℇ1, ℇ2, ℇ3, … bernilai true

26
 Keadaan-keadaan di bawah ini tepat sama (precisely when)

Keadaan 1 Keadaan 2
Kalimat F satisfiable Kalimat (not F) tidak valid
Kalimat F contradictory Kalimat (not F) valid
F implies G Kalimat (if F then G) valid
F dan G equivalent Precisel When (Tepat kalimat (F if and only if G) valid
y
F dan G equivalent sama) kalimat (F implies G)
dan kalimat (G implies F
kalimat F ,F , F , … , F , F consistent konjungsi semua kalimatnya
1 2 3 n-1 n
(F1 and (F2 and (F3 and … and
(Fn-1 and Fn)…))) satisfiable

POHON SEMANTIK DAN SIFAT KALIMAT

Pohon semantik dapat digunakan untuk menentukan sifat kalimat, khususnya sifat kalimat
tunggal (valid, satisfiable, contradictory)

27
 8.4. TABEL KEBENARAN DAN SIFAT KALIMAT
Tabel kebenaran dapat digunakan juga untuk menentukan sifat-sifat kalimat
Sifat Keadaan Tabel Kebenaran

F Valid Semua nilai kebenaran kalimat F adalah true

F Satisfiabel Ada nilai kebenaran kalimat F yang true

F Semua nilai kebenaran kalimat F adalah false

Contradictory

F implies G 1. Jika F true, maka G true, atau

2. Semua nilai kebenaran (if F then G ) adalah true.

REFERENSI

1. Suprapto. (2020). Logika Informatika (BMP). Tangerang Selatan: Universitas Terbuka.

2. Bergman, M, Moor, J, and Nelson, J. (2014). The Logic Book (6th Edition). New York:
McGraw Hill.
3. Lee, C. (2004). Introduction to the Discrete Mathematics Course and to Propositional
Logic.

28
 PERTEMUAN 9
VALIDITAS KALIMAT

9.1 VALIDITAS KALIMAT

Dalam kalimat logika predikat, validitas kalimat didefinisikan khusus untuk kalimat tertutup
(tidak memuat variable bebas)

VALIDITAS KALIMAT Suatu kalimat tertutup F bernilai F dikatakan valid jika kalimat f
bernila itrue di bawah setiap interpretasi untuk f

VALIDITAS KALIMAT

VALID Kondisi Pohon Semantik

Kalimat bernilai true pada setiap interpretasi Semua node leaf bernilai true

PEMBUKTIAN VALIDITAS KALIMAT

PEMBUKTIAN KALIMAT VALID PEMBUKTIAN KALIMAT TIDAK

VALID

• Menggunakan aturan semantik dan

• Menggunakan aturan semantik dan
akal sehat
• Mengamsusikan kalimat tidak falid
dan menemukan kontradiksi
akal sehat
• Mengamsusikan kalimat tidak valid
dan tidak menemukan kontradiksi
• Menemukan suatu interpretasi yang
menyebabkan kalimat bernilai false

29
9.2 LANGKAH PENENTUAN VALIDITAS KALIMAT
Tunjukan kalimat berikut valid:
F: if (for all x) p(x) then p(a)

1, Tentukan simbol variable dalam kalimat, yaitu x (terikat oleh for all). Karena kalimat tidak
mengandung variable bebas, maka kalimat F tertutup.

F: if (for all x) p(x) then p(a)

Predika1t
Konstant1a
Kuantifier

2. Andaikan kalimat tidak valid, maka terdapat suatu interpretasi I atas domain D yang
menyebabkan F false di bawah I. Berdasarkanyang bernilai false , maka klausa if bernilai true
dan klausa then bernilai false
3. Karena berlaku untuk setiap elemen domain dÎD, p(x) bernilai true, maka jika diambil nilai
domain d=a, seharusnya p(a) bernilai true di bawah interpretasi

<x¬a> ● I .
Hal ini kontradiksi dengan keadaan poin 2 pada klausa then.

REFERENSI :
1. Suprapto. (2020). Logika Informatika (BMP). Tangerang Selatan: Universitas Terbuka.
2. Bergman, M, Moor, J, and Nelson, J. (2014). The Logic Book (6th Edition). New York:
McGraw Hill.
3. Lee, C. (2004). Introduction to the Discrete Mathematics Course and to Propositional
Logic.

30
 PERTEMUAN 11
SUBSTITUSI KALIMAT

10.1 SUBTITUSI KALIMAT

Subtitusi kalimat adalah teknik dalam logika informatika yang sangat penting dan sering
digunakan. Teknik ini memungkinkan kita untuk mengganti satu kalimat dengan kalimat lain
yang memiliki arti yang sama. Dalam banyak kasus, subtitusi kalimat dapat membantu kita untuk
memahami suatu konsep atau argumen dengan lebih baik.
Keuntungan Subtitusi Kalimat :

• Memudahkan pemahaman terhadap suatu konsep atau argumen.

• Membantu dalam memperjelas suatu argumen atau bukti.
• Meningkatkan kemampuan dalam membuat argumen yang kuat dan koheren

10.2 tipe tipe kalimat

Kalimat Atomik :

- kalimat sederhana yang tidak bisa dipecah lagi menjadi kalimat yang lebih sederhana
Kalimat kompleks :

- Kalimat yang terdiri dari dua atau lebih kalimat sederhana yang dihubungkan oleh kata
penghubung atau tanda baca yang sesuai.

Contoh sederhana :

• Semua manusia adalah makhluk hidup.

• Setiap mahasiswa diwajibkan mengikuti mata kuliah Logika Informatika.
• Jika suatu bilangan prima selain 2, maka bilangan tersebut bukan bilangan genap.
• Tidak semua hewan mempunyai kaki.
• Jika suatu bilangan ganjil, maka bilangan tersebut bukan bilangan genap.

10.3 SUBTITUSI KALIMAT SEDERHANA

Substitusi kalimat adalah teknik dalam logika informatika untuk mengganti suatu kalimat dengan
kalimat lain ekuivalen

Substitusi kalimat sederhana dapat dilakukan dengan mengganti kata atau frasa tertentu dalam
kalimat dengan kata atau frasa lain yang memiliki arti yang sama

31
Substitusi kalimat juga dapat dilakukan dengan mengganti urutan kata dalam kalimat, asalkan
makna kalimat tetap sama.

SUBSITUSI KALIMAT MAJEMUK

- Substitusi kalimat majemuk adalah teknik untuk mengganti atau mengubah bentuk kalimat
majemuk menjadi bentuk lain yang memiliki arti yang sama

- Tujuan dari subtitusi kalimat majemuk adalah untuk mempermudah pemahaman terhadap
kalimat majemuk yang rumit atau sulit dipahami.

Contoh subtitusi kalimat majemuk antara lain: subtitusi dengan kalimat tunggal, subtitusi dengan
kata ganti, subtitusi dengan frasa, dan subtitusi dengan klausa.

10.4 KAIDAH SUBTITUSI KALIMAT

Kaidah subtitusi kalimat adalah sebuah teknik dalam logika informatika untuk menggantikan
suatu kalimat dengan kalimat lain yang memiliki arti yang sama. Teknik ini berguna untuk
mempermudah pemahaman dan analisis terhadap suatu argumen atau proposisi.

Contoh Penerapan Kaidah Subtitusi Kalimat :

Misalnya, terdapat proposisi: "Semua manusia adalah makhluk hidup." Dengan menggunakan
kaidah subtitusi kalimat, proposisi tersebut dapat diganti dengan kalimat lain yang memiliki arti
yang sama, seperti:

"Setiap makhluk hidup adalah manusia."

SUBTITUSI KALIMAT PREDIKAT

Subtitusi kalimat predikat adalah teknik dalam logika informatika untuk mengganti predikat
dalam sebuah kalimat dengan predikat lain yang setara secara logika. Teknik ini berguna dalam
membuktikan argumen yang kompleks atau memperjelas struktur kalimat

Contoh subtitusi kalimat predikat:

Semua manusia adalah makhluk hidup. -> Semua makhluk hidup adalah manusia.
Beberapa kucing suka makan ikan. -> Beberapa ikan suka dimakan oleh kucing.

32
SUBTITUSI KALIMAT KUANTOR
Subtitusi kalimat kuantor adalah teknik untuk mengganti kalimat yang mengandung kuantor
dengan kalimat yang setara tanpa kuantor

Contoh Subtitusi Kalimat Kuantor :

Misalkan terdapat kalimat: "Semua orang suka makan nasi."Kalimat tersebut dapat disubstitusi
dengan: "Tidak ada orang yang tidak suka makan nasi."

SUBTITUSI KALIMAT VARIABEL

Dalam logika informatika, subtitusi kalimat variabel adalah penggantian variabel dalam suatu
kalimat dengan kalimat lain yang memiliki variabel yang sama. Hal ini berguna untuk
membentuk kalimat baru yang memiliki arti yang sama dengan kalimat asli namun dengan
struktur yang berbeda

SUBTITUSI KALIMAT FUNGSI

Dalam logika informatika, subtitusi kalimat fungsi adalah proses menggantikan variabel pada
kalimat fungsi dengan term atau konstanta tertentu.

Contohnya, jika kita memiliki kalimat fungsi f(x,y) = x + y, maka kita dapat mensubstitusikan x
dengan 2 dan y dengan 3 untuk mendapatkan nilai f(2,3) = 5.

10.5 KESALAHAN SUBTITUSI KALIMAT

Mengganti kata kunci dengan sinonim yang tidak tepat

• Hal ini dapat mengubah makna kalimat secara keseluruhan dan mengakibatkan
kebingungan bagi pembaca atau pendengar.
Mengganti urutan kata dalam kalimat

• Perubahan urutan kata dapat mengubah makna kalimat dan mengakibatkan kebingungan
bagi pembaca atau pendengar.
Mengabaikan konteks kalimat

• Ketika mengganti kata atau frasa dalam kalimat, penting untuk mempertimbangkan
konteks keseluruhan kalimat agar tidak mengubah makna kalimat secara tidak sengaja.

33
PENGAPLIKASIAN SUBTITUSI KALIMAT
Dalam Bisnis :

• Membantu dalam menyampaikan pesan yang lebih efektif dalam presentasi atau pidato
bisnis.
• Meningkatkan kemampuan untuk membuat argumen yang kuat dalam diskusi bisnis.
Dalam Kehidupan Sehari-hari :

• Membantu dalam berkomunikasi dengan lebih jelas dan efektif dalam percakapan sehari-
hari.
• Meningkatkan kemampuan untuk menulis dengan lebih baik dan efisien.

34
 MATERI 12
BENTUK NORMAL

11.1 BENTUK NORMAL

Bentuk Normal (Normal Form) adalah bentuk standar untuk ekspresi logika. Yaitu semua bentuk
ekspresi logika bisa disederhanakan menggunakan perangkai dasar (alamiah), yaitu perangkai
Negasi (~), disjungsi (˅), dan konjungsi (˄), dengan proposisi dasar yang dikomposisikan dalam
bentuk rumus literal

JENIS – JENIS BENTUK NORMAL

Bentuk normal logika informatika adalah suatu cara untuk menyederhanakan atau
menstandarkan ekspresi logika dengan menggunakan aturan-aturan tertentu. Bentuk normal
logika informatika dapat membantu kita untuk menganalisis, membandingkan, dan
menyelesaikan masalah logika dengan lebih mudah dan efisien.

Ada beberapa jenis bentuk normal logika informatika, antara lain:

1. Disjunctive Normal Form (DNF)
2. Conjunctive Normal Form (CNF)
3. Full Disjunctive Normal Form (FDNF)
4. Full Conjunctive Normal Form (FCNF)

1. Disjunctive Normal Form (DNF)

Disjunctive Normal Form (DNF) adalah bentuk normal logika informatika yang memakai
perangkat konjungsi (˄) dari disjungsi (˅) dari literal-literal. Literal adalah suatu variabel atau
negasi dari variabel. Contoh literal adalah p,q,¬p,¬q, dll.
Contoh ekspresi logika dalam DNF adalah:

(p∨q)𝖠(r∨¬s)

Ekspresi ini terdiri dari dua klausa, yaitu (p∨q) dan (r∨¬s). Klausa adalah suatu disjungsi dari
literal-literal. Setiap klausa diskonjungsi dengan klausa lainnya.

2. Conjunctive Normal Form (CNF)

35
Conjunctive Normal Form (CNF) adalah bentuk normal logika informatika yang memakai
perangkat disjungsi (˅) dari konjungsi (˄) dari literal-literal. Literal adalah suatu variabel atau
negasi dari variabel. Contoh literal adalah p,q,¬p,¬q, dll.

Contoh ekspresi logika dalam CNF adalah:

(p𝖠q)∨(r𝖠¬s)

Ekspresi ini terdiri dari dua klausa, yaitu (p𝖠q) dan (r𝖠¬s). Klausa adalah suatu kongjungsi dari
literal-literal. Setiap klausa didisjungsi dengan klausa lainnya.

3. Full Disjunctive Normal Form (FDNF)

Full Disjunctive Normal Form (FDNF) adalah bentuk normal logika informatika yang memakai
perangkat kongjungsi (˄) dari disjungsi (˅) dari semua literal yang ada. Literal adalah suatu
variabel atau negasi dari variabel. Contoh literal adalah p,q,¬p,¬q, dll.

Contoh ekspresi logika dalam FDNF adalah:

(p𝖠q𝖠r𝖠s)∨(p𝖠q𝖠r𝖠¬s)∨(p𝖠q𝖠¬r𝖠s)∨…

Ekspresi ini terdiri dari semua kemungkinan klausa yang dapat dibentuk dari empat literal p,q,r,s.
Klausa adalah suatu kongjungsi dari literal-literal. Setiap klausa dikongjungsi dengan klausa
lainnya.

4. Full Conjunctive Normal Form (FCNF)

Full Conjunctive Normal Form (FCNF) adalah bentuk normal logika informatika yang memakai
perangkat disjungsi (˅) dari kongjungsi (˄) dari semua literal yang ada. Literal adalah suatu
variabel atau negasi dari variabel. Contoh literal adalah p,q,¬p,¬q, dll.
Contoh ekspresi logika dalam FCNF adalah:

(p∨q∨r∨s)𝖠(p∨q∨r∨¬s)𝖠(p∨q∨¬r∨s)𝖠…

Ekspresi ini terdiri dari semua kemungkinan klausa yang dapat dibentuk dari empat literal p,q,r,s.
Klausa adalah suatu disjungsi dari literal-literal. Setiap klausa didisjungsi dengan klausa lainnya.

36
 MATERI 13
DEDUKSI NATURAL / ALAMI

12.1 DEDUKSI NATURAL/DEDUKSI ALAMI

Dalam bidang informatika, deduksi alami atau deduksi natural adalah metode pembuktian
yang menggunakan aturan-aturan logika untuk menghasilkan kesimpulan yang benar. Metode ini
seringdigunakan untuk membuktikan kebenaran suatu pernyataan atau argumen. Deduksi alami
juga dikenal sebagai pembuktian tidak langsung. Metode ini menggunakan aturan-aturan logika
sepertiaturan inferensi, aturan resolusi, dan aturan modus ponens. Deduksi alami juga dapat
digunakan untuk mengubah suatu pernyataan menjadi bentuk yang lebih sederhana atau untuk
membuktikanvaliditas suatu argumen.
KONSEP DEDUKSI NATURAL/DEDUKSI ALAMI

Dalam logika predikat, deduksi alami digunakan untuk mengembangkan argumen dan
menggambarkan pengetahuan. Dalam deduksi alami, terdapat beberapa jenis aturan inferensi yang
digunakan untuk membuktikan kebenaran suatu pernyataan atau argumen. Beberapa jenis aturan
inferensi tersebut antara lain:
1. Aturan Modus Ponens

Modus Ponens adalah salah satu bentuk argumen deduktif dalam logika proposisional. Modus
Ponens juga dikenal sebagai Affirming the Antecedent atau Law of Detachment. Modus Ponens
digunakan untuk membuktikan kebenaran suatu pernyataan dengan menggunakan pernyataan
lain yang telah diketahui benar Aturan ini digunakan untuk membuktikan kebenaran suatu
pernyataan dengan menggunakan pernyataan lain yang telah diketahui benar. Aturan ini dapat
dinyatakan sebagai berikut: Jika A maka B, A, maka B.

2. Aturan Modus Tollens

Aturan Modus Tollens adalah salah satu bentuk argumen deduktif dalam logika proposisional.
Aturan ini digunakan untuk membuktikan kebenaran suatu pernyataan dengan menggunakan
pernyataan lain yang telah diketahui salah. Aturan ini digunakan untuk membuktikan kebenaran
suatu pernyataan dengan menggunakan pernyataan lain yang telah diketahui salah. Aturan ini
dapat dinyatakan sebagai berikut: Jika A maka B, tidak B, maka tidak A.

37
3. Aturan Silogisme
Aturan Silogisme adalah salah satu jenis argumen deduktif dalam logika proposisional. Aturan
inidigunakan untuk membuktikan kebenaran suatu pernyataan dengan menggunakan dua
pernyataanlain yang telah diketahui benar
Aturan ini digunakan untuk membuktikan kebenaran suatu pernyataan dengan menggunakan
duapernyataan lain yang telah diketahui benar. Aturan ini dapat dinyatakan sebagai berikut:
Jika A maka B, jika B maka C, maka jika A maka C.

4. Aturan Resolusi
Aturan ini digunakan untuk membuktikan kebenaran suatu pernyataan dengan menggunakan
dua pernyataan lain yang telah diketahui benar dan memiliki kesamaan variabel. Aturan ini
dapat dinyatakan sebagai berikut : Jika A atau B, dan tidak A atau C, Maka B atau C

CONTOH DEDUKSI ALAMI DALAM KEHIDUPAN SEHARI-HARI

1. Kesimpulan tentang cuaca: Jika Anda melihat siangan berawan dan mengambil waktu cuaca
sangat, Anda dapat menyimpulkan bahwa hari ini akan mengalami curah hujan. Ini adalah
penerapan deduksi alami melalui aturan resolusi: "Jika A, maka B; Jadi, B, maka A."

2. Kesimpulan tentang keahlian seseorang: Jika Anda menghadiri seseorang yang sangat
cenderung dalam tugas yang diberikan dan berpikir bahwa mereka memiliki keahlian yang tepat,
Anda dapat menyimpulkan bahwa mereka memiliki keahlian yang tepat. Ini adalah penerapan
deduksi alami melalui aturan modus ponens: "Jika P menghasilkan Q, dan Q benar, maka P benar."

3. Kesimpulan tentang kebutuhan bantuan: Jika Anda membutuhkan bantuan orang lain untuk
menyelesaikan tugas yang sulit, Anda dapat menyimpulkan bahwa Anda membutuhkan bantuan.
Ini adalah penerapan deduksi alami melalui aturan modus tollens: "Jika P menghasilkan Q, dan Q
salah, maka P salah."
4. Kesimpulan tentang keputusan pemilihan: Jika Anda memilih restoran untuk makan siang dan
melihat que kuatan 'A', Anda dapat menyimpulkan bahwa Anda akan memilih restoran A. Ini
adalah penerapan deduksi alami melalui aturan modus ponens: "Jika P menghasilkan Q, dan Q
benar, maka P benar."

5. Kesimpulan tentang keadaan: Jika Anda tahu bahwa suatu perusahaan baru akan mengalami
kebuntuan hukum dan Anda melihat siangan berawan yang menunjukkan kebuntuan hukum, Anda
dapat menyimpulkan bahwa perusahaan akan mengalami kebuntuan hukum. Ini adalah penerapan
deduksi alami melalui aturan inferensi: "Jika A, maka B; Jadi, B, maka A."

Dalam konteks kehidupan sehari-hari, deduksi alami membantu kita mengambil kesimpulan dan
menyimpulkan hal-hal yang tidak terlihat dengan menggunakan aturan logika yang ada.

38
PERAN DEDUKSI ALAMI DALAM PENGEMBANGAN SISTEM PAKAR
Dalam pengembangan sistem pakar, deduksi alami memainkan peran kunci dalam proses
pengambilan keputusan. Sistem pakar menggunakan pengetahuan yang tersimpan dalam basis
pengetahuan untuk membuat inferensi atau kesimpulan. Metode deduksi alami digunakan untuk
mengekstraksi informasi yang relevan dari basis pengetahuan dan menerapkannya pada situasi
atau masalah yang dihadapi. Hal ini memungkinkan sistem pakar untuk membuat kesimpulan atau
rekomendasi berdasarkan pengetahuan yang tersedia. Dengan demikian, deduksi alami
memungkinkan sistem pakar untuk melakukan penalaran deduktif yang logis dan menghasilkan
solusi atau rekomendasi yang akurat berdasarkan informasi yang ada.

DEDUKSI ALAMI DALAM BIDANG INFORMATIKA

Dalam bidang informatika, deduksi alami dapat diterapkan dalam berbagai aspek pengembangan
sistem informasi. Beberapa aplikasi deduksi alami dalam informatika antara lain:

1. Sistem Pakar

Dalam sistem pakar, deduksi alami digunakan untuk membantu sistem dalam mengambil
keputusan berdasarkan pengetahuan yang telah dimasukkan ke dalam sistem.

2. Verifikasi Program

Dalam verifikasi program, deduksi alami digunakan untuk membuktikan kebenaran program
dengan menggunakan aturan-aturan logika.

3. Pemrograman Logika

Dalam pemrograman logika, deduksi alami digunakan untuk mengembangkan program dengan
menggunakan aturan-aturan logika.

PERAN PENTING DEDUKSI ALAMI

Dalam pengembangan sistem informasi, deduksi alami dapat membantu dalam memastikan
kebenaran dan keandalan sistem yang dikembangkan. Deduksi alami digunakan untuk
membuktikan kebenaran suatu pernyataan atau argumen dengan menggunakan aturan-aturan
logika seperti aturan inferensi, aturan resolusi, dan aturan modus ponens. Dengan menggunakan
deduksi alami, pengembang sistem informasi dapat memastikan bahwa sistem yang dikembangkan
berjalan dengan benar dan sesuai dengan tujuan yang diinginkan.

Contoh penggunaan deduksi alami dalam pengembangan sistem informasi adalah dalam verifikasi
program. Dalam verifikasi program, deduksi alami digunakan untuk membuktikan kebenaran
suatu program atau algoritma. Pengembang program dapat menggunakan aturan-aturan logika
untuk membuktikan kebenaran program dan memastikan bahwa program tersebut berjalan dengan
benar. Dengan menggunakan deduksi alami, pengembang program dapat memastikan bahwa
program yang dikembangkan bebas dari kesalahan dan dapat diandalkan.

39
Selain itu, deduksi alami juga dapat digunakan dalam pengembangan sistem pakar. Dalam sistem
pakar, deduksi alami digunakan untuk membuktikan kebenaran diagnosa penyakit pasien atau
solusi yang diberikan. Dengan menggunakan aturan-aturan logika, sistem pakar dapat
menghasilkan diagnosa atau solusi yang paling cocok berdasarkan data yang ada.

Dalam kesimpulannya, deduksi alami memiliki peran penting dalam memastikan kebenaran dan
keandalan sistem informasi yang dikembangkan. Deduksi alami dapat digunakan dalam verifikasi
program dan pengembangan sistem pakar untuk memastikan bahwa program atau solusi yang
dihasilkan bebas dari kesalahan dan dapat diandalkan.

40
 PERTEMUAN 14
LOGIKA PREDIKAT

13.1 SINTAKS
Sintaks merupakan kumpulan aturan yang mendefinisikan suatu bentuk bahasa. Sintaks
mendefinisikan bagaimana suatu kalimat dibentuk sebagai barisan/urutan dari pemilihan suatu
kata dasar. Kata bukan merupakan sesuatu yang mendasar. Kata dikonstruksikan dengan
karakter-karakter alfabet. Dengan menggunakan aturan ini maka suatu kalimat dapat dikatakan
legal atau tidak legal. Sebagai contoh, dalam keyword bahasa C (seperti while, do,if, dan else),
identifier, angka, operator, dan seterusnya, merupakan kata dalam suatu Bahasa.

Sintaks dari bahasa pemrograman didefinisikan dengan dua kumpulan aturan, yaitu aturan lexical
dan aturan syntactic. Aturan leksikal menspesifikasikan kumpulan karakter yang terdapat dalam
alfabet dari bahasa dan cara supaya karakter-karakter tersebut dikombinasikan ke dalam kata-kata
yang valid dan dapat diterima. Sebagai contoh adalah bahasa Pascal yang tidak memperhatikan
huruf besar dan huruf kecil, sedangkan bahasa C dan Ada memperhatikan dan membedakan hal
tersebut.

Sintaks berfungsi menyediakan bentuk-bentuk notasi untuk komunikasi antar

programmer dan pemroses bahasa pemrograman sehingga dapat mempermudah
pembuatan suatu program.

Suatu bahasa pemrograman juga dibangun berdasarkan elemen-elemen syntactic, yang

dapat membentuk suatu statement-statement dalam bahasa pemrograman. Elemenelemen
tersebut antara lain :
A. Himpunan karakter
Himpunan karakter yang sering dijumpai dan digunakan adalah himpunan karakter
ASCII, yang berisi dasar karakter-karakter angka dan huruf. Karakter ASCII secara
umum dapat langsung digunakan pada kebanyakan perangkat I/O, namun ada bahasa
pemrograman yang tidak menggunakan himpunan karakter ASCII, contohnya bahasa
APL. APL menggunakan karakter yang tidak dapat digunakan secara langsung pada
kebanyakan pernagkat I/O, tidak seperti bahasa C yang menggunakan himpunan karakter
ASCII.
A. Identifier
Sintaks dasar dari identifier yang sering digunakan adalah string dari huruf dan angka yang
dimulai dengan huruf. Namun, banyak juga variasi dari bahasa pemrograman yang
menggunakan suatu identifier dengan tanda “.” Atau “-“. Hal ini akan berpengaruh pada
kemudahan dalam pembacaan program.
B. Simbol untuk operator

41
 Kebanyakan bahasa pemrograman menggunakan karakter “+” dan “-“ untuk
merepresentasikan dua buah operasi dasar aritmetika, dan menggunaka kombinasi serta
memanfaatkan karakter-karakter spesial untuk suatu operator, atau menggunakan string
untuk operator seperti pada FORTRAN dengan .EQ. untuk membandingkan kesamaan
dan ** untuk perpangkatan.
C. Keyword dan reserved word
Keyword merupakan merupakan suatu identifier yang digunakan sebagai bagian tetap dari
sintaks suatu statement, misalnya IF untuk memulai suatu statement kondisi atau DO untuk
memulai suatu perulangan dalam bahasa FORTRAN. Keyword merupakan reserved word jika
tidak digunakan sebagai identifier yang dipilih oleh programmer. Misalnya dalam bahasa
FORTRAN, identifier IF dan DO dapat dipilih sebagai nama variabel oleh programmer
sehingga suatu statemen yang dimulai dengan IF belum tentu merupakan statement kondisi.
D. Noise word
Merupakan kata pilihan yang disisipkan dalam statemen untuk meningkatkan readibility.
Sebagai contoh adalah statemen GO TO label. GO merupakan keyword yang harus ada,
sedangkan TO merupakan optional yang akan meningkatkan readibility.
E. Komentar
Penambahan komentar dalam suatu program merupakan hal penting dari dokumentasi suatu
program. Bahasa pemrograman mengijinkan komentar dalam beberapa bentuk.

· Baris komentar yang terpisah di dalam program seperti pada FORTRAN.

· Penggunaan karakter khusus yang tidak memedulikan baris seperti /* dan */ di bahasa C.

· Dimulai dari sembarang tempat disuatu baris dengan diawali suatu karakter khusus, seperti
“-“ di Ada, “//” di C++ atau “!” di FORTRAN.

13.2 SEMANTIK
Sintak mendifinisikan suatu bentuk program yang benar dari suatu bahasa. Semantic
mendefinisikan arti dari program yang benar secara sintak dari bahasa tersebut. Semantic
suatu bahasa membutuhkan semacam ekspresi untuk mengirimkan suatu nilai kebenaran
(TRUE, FALSE, NOT atau nilai integer). Dalam banyak kasus, program hanya dapat
dieksekusi jika benar, serta mengikuti aturan sintak dan semantic.

Semantic suatu bahasa pemrograman mempunyai banyak potensial / keunggulan, beberapa

diantara nya adalah :

A. Standarisasi bahasa pemrograman.Banyak usaha yang dilakukan untuk menstandarisasi

bahasa pemrograman seperti FORTRAN, COBOL, dan PL/1, untuk lebih memudahkan
programmer menggunakannya.

42
B. Referensi untuk user.

Programmer membutuhkan suatu dokumentasi yang pasti supaya user

dapat mengoperasikan program yang dibuat dengan baik.

C. Pembuktian dari program yang benar.

Secara matematis, program tidak mungkin bekerja dan berjalan jika tidak ada semantic.

D. Referensi untuk implementor.

Semantic akan mencegah suatu gaya bahasa yang tidak kompetibel yang diwujudkan dalam
suatu implementasi berbeda walaupun dengan bahasa yang sama.

E. Implementasi otomatis.
Suatu tool/alat dapat secara otomatis membuatu translasi bahasa yang melebihi parsing. Hal ini
dapat dilakukan jika semantic sudah dirumuskan.

F. Pemahaman yang lebih baik dari desain bahasa.

Jika suatu rumusan semantic sulit untuk di deskripsikan secara formal maka rumusan semantic
tersebut juga akan sulit digunakan oleh programmer.

Teknik semantic :

1). Operational semantic

Pendekatan ini mendefinisikan suatu mesin buatan (abstrak) dengan instruksi-instruksi

primitive, tidak perlu realistic, tetapi cukup sederhana supaya tidak muncul kesalah pahaman.
Deskripsi semantic dari bahasa pemrograman menentukan suatu translasi ke kode.
2). Detonational semantic.

Pada pendekatan ini, diberikan suatu fungsi yang memetakan program-program computer
yang di tunjuk ke dalam bentuk nilai-nilai abstrak secara matematika (angka, nilai
kebenaran, fungsi matematika, dsb).
3). Axiomatic semantic.

Pada pendekatan ini di definisikan suatu tindakan program yang di bangun dengan property
logika yang menyimpan status computer sebelum dan sesudah dieksekusi.
4). Algebraic semantic.
Pada pendekatan ini dipertimbangkan suatu objek komputasi yang menjadi syaratsyarat dalam
aljabar multi stored. Program mengimplementasikan fungsi yang dapat di wujudkan dengan
suatu persamaan di antara syarat-syarat tersebut.
5). Structured operational semantic atau natural semantic.

43
Seperti dalam pengambilan keputusan secara alamiah dengan logika, program di beri suatu arti
dari aturan yang diturunkan yang menggambarkan penilaian gagasan suatu bahasa.
Proses analisa sintak dan analisa semantic merupakan 2 proses yang sangat erat kaitannya dan
sulit untuk dipisahkan.

Contoh :
A:= (A+B) * (C+D)

Parser hanya akan mengenali symbol-simbol „:=”, “+”, “*”, parser tidak mengetahui
makna dari symbol-simbol tersebut. Untuk mengenali makna dari symbol-simbol
tersebut maka compiler memanggil routin semantics.

Untuk mengetahui makna, maka routin ini akan

memeriksa : • Apakah variable yang ada telah
didefinisikan sebelumnya.

• Apakah variable-variabel terserbut tipenya sama.

• Apakah operand yang akan di operasikan terserbut ada nilainya, dst.
• Menggunakan table symbol.
• Pemeriksaan bisa dilakukan pada table identifier, table display, dan table block.
Sintaks
Sintaks sebuah bahasa berhubungan dengan struktur bahasa. Sebagai contoh, untuk
membentuk sebuah kalimat yang valid dalam bahasa kita memakai struktur: [subyek] + [kata
kerja] + [kata benda]. Dengan memakai struktur ini, kita bisa membentuk kalimat, sebagai
contoh: Saya makan nasi. Dalam hubungannya dengan bahasa pemrograman, kita musti
memenuhi sintaks (baca: aturan struktur bahasa) agar program dapat berjalan. Sebagai contoh,
dalam bahasa BASIC, untuk mengassign sebuah variabel dengan sebuah nilai, kita memakai
operand ‘=’, tetapi kalau dalam Pascal, kita pakai ‘:=’. Contoh dalam BASIC: a=1, tapi dalam
bahasa Pascal, a:=1.

Semantik
Semantik sebuah bahasa menggambarkan hubungan antara sintaks dan model komputasi.
Sederhananya, semantik menjelaskan arti dari program.

Analoginya sebagai berikut. Apabila kita memakai sintaks [subyek] + [kata kerja] + [kata
benda], kita bisa menghasilkan kalimat-kalimat.

Apabila kita mengasilkan kalimat Saya makan nasi, maka kalimat ini memenuhi aturan
sintaks. Tapi, apabila kita membuat kalimat Saya makan batu, secara sintaks kalimat ini
sudah benar. Namun, secara semantik, kalimat ini tidak mengandung makna yang berarti.

44
Dalam hubungannya dengan bahasa pemrograman, kadang ada kalanya seorang programmer
tidak bisa mengaitkan sintaks dengan model komputasi. Kesalahan logika bisa dengan mudah
terjadi.
Sebagi contoh ada bahasa pemrograman sebagai
berikut: if(a=5)

{echo ‘Nilai a=5′;}

Apabila program ini dijalankan, apa yang terjadi? Bergantung bahasa apa yang digunakan.
Apabila bahasa yang dipakai adalah bahasa C, maka output yang keluar selalu Nilai a=5,
walaupun nilai variabel a sebelumnya selain 5. Kenapa itu bisa terjadi? Itu karena operator ‘=’
dalam bahasa C berarti mengassign sebuah variabel yang ada di sebelah kiri dengan nilai
yang ada di sebelah kanan. Dalam bahasa C, secara sintaks operasi ini sudah benar.

Tapi, apabila yang dimaksud adalah programmer ingin mengevaluasi nilai variabel a, maka
seharusnya memakai operator logika ‘==’. Jadi, program yang sebenarnya menjadi

45
 PERTEMUAN 15
INTERPRETASI YANG DIPERLUAS

Pengertian Interpretasi yang diperluas

Interpretasi yang diperluas adalah sebuah metode untuk memberikan nilai kebenaran pada
kalimat logika predikat yang memiliki kuantifier universal atau eksistensial. Dalam interpretasi
yang diperluas, kita dapat menentukan nilai kebenaran dari kalimat logika predikat yang
mengandung variabel, setiap variabel dalam kalimat logika predikat dihubungkan dengan suatu
objek dalam semesta pembicaraan. interpretasi yang diperluas merujuk pada proses atau tindakan
untuk memberikan pemahaman yang lebih mendalam ataU menyeluruh terhadap suatu hal,
seperti teks, data, informasi, atau konsep. interpretasi yang diperluas dapat melibatkan beberapa
aspek, antara lain :

• Kontekstualisasi: Menempatkan suatu konsep atau informasi dalam konteks yang lebih
luas, termasuk kondisi sejarah, budaya, atau lingkungan yang memengaruhinya
• Analisis Mendalam: Mengurai informasi atau teks menjadi bagian-bagian yang lebih
kecil untuk memahami makna dan hubungan di antara mereka.
• Relevansi: Menentukan relevansi atau signifikansi suatu informasi dalam konteks
tertentu, yang dapat melibatkan penerapan konsep atau teori lain.

Jenis-jenis Interpretasi yang diperluas

Dalam logika informatika, terdapat beberapa jenis interpretasi yang diperluas yang sering
digunakan. Berikut ini adalah beberapa contoh jenis interpretasi tersebut beserta contoh masing-
masing :

1. Interpretasi Kripke:

Interpretasi Kripke digunakan untuk memodelkan konsep pemahaman atau pengetahuan yang
berubah seiring waktu. Dalam hal ini, domain dan nilai kebenaran sebuah pernyataan dapat
berubah tergantung pada dunia atau situasi yang sedang diperhatikan.

Contoh: Misalkan terdapat pernyataan "Hujan membuat jalanan basah." Dalam interpretasi
Kripke, jika berada dalam dunia dimana sedang hujan, pernyataan tersebutmemiliki nilai
kebenaran benar. Namun, jika berada dalam dunia dimana sedang cuacayang cerah,
pernyataan tersebut memiliki nilai kebenaran salah.

2. Interpretasi Fuzzy: Interpretasi Fuzzy digunakan untuk memodelkan konsep yang tidak
memiliki nilai kebenaran yang tegas atau kategorikal. Dalam hal ini, suatu pernyataan dapat
memiliki tingkat kebenaran yang dalam bentuk nilai antara 0 dan 1.

Contoh: Misalkan terdapat pernyataan "Suhu kopi panas." Dalam interpretasi Fuzzy, jika
suhu kopiadalah 100 derajat Celsius, pernyataan tersebut mungkin memiliki tingkat

46
 kebenaran 0.8,yang menunjukkan bahwa kopi tersebut cukup panas. Jika suhu kopi hanya
50 derajat Celsius, tingkat kebenaran pernyataan tersebut mungkin menjadi 0.2, yang
menunjukkan bahwa kopi tersebut tidak begitu panas.

3. Interpretasi Probabilistik:

Interpretasi Probabilistik digunakan untuk memodelkan ketidakpastian dan probabilitas

dalam pernyataan atau argumen. Dalam hal ini, suatu pernyataan memiliki nilai
kebenaran yang berkaitan dengan probabilitasnya.

Contoh: Misalkan terdapat pernyataan "Peluang hujan hari ini adalah 0.7." Dalam
interpretasi Probabilistik, pernyataan tersebut menyatakan bahwa berdasarkan data dan
informasi yang ada, terdapat kemungkinan 70% bahwa akan terjadi hujan hari ini.

4. Interpretasi Temporal:

Interpretasi Temporal digunakan untuk memodelkan, pernyataan yang berkaitan dengan waktudan urutan kejadian.
Dalam hal ini, diperkenalkan konsep waktu dalam domain interpretasi.

Contoh: Misalkan terdapat pernyataan "Saya akan pulang setelah makan malam." Dalam
interpretasi Temporal, pernyataan tersebut menunjukkan urutan kejadian dimana makan
malam harus terjadi sebelum pulang

14.2 ATURAN-ATURAN INTERPRETASI YANG DIPERLUAS

Aturan untuk Kuantifier dalam Interpretasi yang diperluas. Dalam logika predikat,
kuantifie digunakan untuk menyatakan bahwa suatu pernyataan berlaku untuk semua
anggota himpunanatau untuk beberapa anggota himpunan. Ada dua jenis kuantifier, yaitu
universal kuantifier (∀)dan eksistensial kuantifier (∃).

➢ Universal kuantifier (∀) menyatakan bahwa suatu pernyataan berlaku untuk semua

anggota himpunan. Artinya, pernyataan tersebut harus benar untuk setiap anggota himpunan. Digunakan untuk
menyatakan bahwa suatu pernyataan berlaku untuk semuaanggota himpunan. Aturan semantik untuk universal
kuantifier dalam interpretasi yangdiperluas adalah sebagai berikut:

∀x P(x) adalah benar jika dan hanya jika P(x) benar untuk semua x dalam D.Contoh: ∀x (x > 0)

Kalimat ini menyatakan bahwa semua bilangan real lebih besar dari 0. Aturan semantiknyaadalah sebagai berikut:

∀x (x > 0) adalah benar jika dan hanya jika x > 0 untuk semua bilangan real x dalam D

47
 ➢ Eksistensial kuantifier (∃) menyatakan bahwa suatu pernyataan berlaku untuk beberapa
anggota himpunan. Artinya, pernyataan tersebut hanya perlu benar untuk beberapa anggota
himpunan, tetapi tidak perlu benar untuk semua anggota himpunan. Digunakan untuk menyatakan
bahwa suatu pernyataan berlaku untuk beberapa anggota himpunan. Aturan semantik untuk
eksistensial kuantifier dalam interpretasi yang diperluas adalah sebagai berikut:

∃x P(x) adalah benar jika dan hanya jika P(x) benar untuk beberapa x dalam D.Contoh: ∃x (x² = 9)
Kalimat ini menyatakan bahwa beberapa bilangan real kuadratannya sama dengan 9. Aturansemantiknya adalah
sebagai berikut:
∃x (x² = 9) adalah benar jika dan hanya jika x² = 9 untuk beberapa bilangan real x dalam D.

ATURAN-ATURAN VALIDITAS
Suatu kalimat logika predikat adalah valid jika dan hanya jika nilai kebenarannya benar untuk
semua interpretasi yang mungkin.

Artinya, jika suatu kalimat logika predikat memiliki nilai kebenaran benar untuk semua
interpretasi yang mungkin, maka kalimat tersebut pasti valid. Sebaliknya, jika suatu kalimat
logika predikat tidak memiliki nilai kebenaran benar untuk setidaknya satu interpretasi yang
mungkin, maka kalimat tersebut tidak valid.

Untuk menentukan validitas suatu kalimat logika predikat, kita dapat menggunakan interpretasi
yang diperluas. Dengan menggunakan tabel kebenaran, kita dapat menentukan nilai kebenaran
dari kalimat tersebut untuk semua interpretasi yang mungkin. Jika nilai kebenarannya benar
untuk semua interpretasi yang mungkin, maka kalimat tersebut valid

Berikut adalah contoh hubungan antara interpretasi yang diperluas dan validitas:
Kalimat "Semua orang adalah manusia" adalah valid.

Hal ini karena nilai kebenaran kalimat tersebut benar untuk semua interpretasi yang mungkin.
Dalam interpretasi apa pun, semua orang pasti merupakan manusia.

Kalimat "Ada orang yang tidak manusia" adalah tidak valid.

Hal ini karena nilai kebenaran kalimat tersebut salah untuk setidaknya satu interpretasi yang
mungkin. Dalam interpretasi di mana tidak ada orang, maka kalimat tersebut tidak benar.

48
Kesimpulan
Presentasi “Logika Informatika, Interpretasi yang Diperluas, dan Validitas Informatika” berfokus
pada dasar-dasar penting pemrosesan informasi digital.Logika ilmu komputer memberikan dasar
untuk merancang algoritma yang efisien, dan interpretasi tingkat lanjut meningkatkan
pemahaman tentang data yang kompleks.Dalam konteks ini, validitas menentukan kebenaran
informasi yang dihasilkan.Menggabungkan logika ilmu komputer dengan interpretasi tingkat
lanjut menciptakan kerangka kerja yang kuat untuk mengatasi tantangan manajemen informasi.
Keberhasilan suatu sistem informasi bergantung pada sejauh mana logika yang
diterapkan dapat mendukung interpretasi tingkat tinggi dan sejauh mana informasi yang
dihasilkan memenuhi kriteria validitas. Menyadari saling ketergantungan ketiga konsep ini dapat
mengoptimalkan peran logika ilmu komputer dalam pemahaman, pemrosesan, dan pengambilan
keputusan berbasis data, serta memastikan integritas informasi yang diperoleh melalui
interpretasi yang diperluas

49
 Daftar pustaka
1. Suprapto. (2020). Logika Informatika (BMP). Tangerang Selatan: Universitas Terbuka.
2. Bergman, M, Moor, J, and Nelson, J. (2014). The Logic Book (6th Edition). New York:
McGraw Hill.
3. Lee, C. (2004). Introduction to the Discrete Mathematics Course and to Propositional
Logic.

50