DIKTAT LOGIKA INFORMTIKA

Disusun Oleh:
Fadia Puspa Sari
(202222006)
Dosen Pengampu: Pak Ravie Kurnia Laday

PRODI S1: TEKNIK INFORMATIKA

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

Puji syukur saya panjatkan kepada Tuhan Yang Maha Esa atas berkat dan rahmat yang di
berikan-Nya sehingga saya dapat menyelesaikan diktat ini sebagai tugas dalam mata kuliah
“Logika Informatika” dengan semaksimal mungkin.
Saya mengucapkan banyak terima kasih kepada pak Ravie Kurnia Laday S.Kom, M.Kom.
Selaku dosen pengampu mata kulah “Logika Informatika”, yang telah membimbing saya untuk
menyelesaikan dikat ini.
Saya menyadari, diktat yang saya susun ini masih jauh dari kata sempurna. Oleh karena itu,
kritik dan saran yang membangun akan saya nantikan demi kesempurnaan diktat ini. Akhir kata,
saya berharap semoga dikat ini dapat memberikan manfaat dan berguna bagi siapa saja yang
membacanya.

Jakarta, 13 Januari 2024

 DAFTAR ISI

KATA PENGANTAR...........................................................................................................
DAFTAR ISI........................................................................................................................
BAB I PENDAHULUAN....................................................................................................
1.1 Latar Belakang...................................................................................................
1.2 Tujuan Menulis Diktat.......................................................................................
BAB II PEMBAHASAN.....................................................................................................
2.1 Pertemuan 1.......................................................................................................
 Logika Matematika......................................................................................
2.2 Pertemuan 2.......................................................................................................
 Logika Proposional dan Proposisi Majemuk..............................................
 Kalimat Logika Proposional Dalam Simbol Proposisi...............................
 Kalimat Dibentuk Menurut Aturan Rules...................................................
 Notasi..........................................................................................................
2.3 Pertemuan 3.....................................................................................................
 Aturan Sintaktik.........................................................................................
 Contoh Aturan Sintaktik Dalam Bahasa Pemograman..............................
 Keuntungan Aturan Sintaktik....................................................................
 Interpretasi ................................................................................................
 Contoh Interpretasi Dalam Logika Proposisi............................................
 Keuntungan Interpretasi............................................................................
 Tabel Kebenaran........................................................................................
2.4 Pertemuan 4......................................................................................................
 Kalimat Berkuantor....................................................................................
 Ekuivalensi Logika Pada Kuantor.............................................................
 Negasi Kalimat Kuantor............................................................................
 Menerjemahkan Kalimat Menjadi Ekspresi Logika.................................
2.5 Pertemuan 5....................................................................................................
 Aturan Semantik.......................................................................................
 Aturan Proposisi.......................................................................................
 Aturan Negasi...........................................................................................
 Penentuan Interpretasi Untuk Kalimat.....................................................
 2.6 Pertemuan 6..................................................................................................
 Tabel Kebenaran.....................................................................................
 Langkah Membuat Tabel Kebenaran......................................................
2.7 Pertemuan 7..................................................................................................
 Ekivalensi Proposisi...............................................................................
 Ekivalensi Logika..................................................................................
 Membuktikan Ekivalensi Dengan Tabel Kebeneran.............................
 Hukum Ekivalensi.................................................................................
2.8 Pertemuan 8................................................................................................
 Pohon Semantik....................................................................................
 Istilah Dalam Pohon Semantik.............................................................
 Sifat-Sifat Kalimat................................................................................
 Pohon Semantik dan Sifat Kalimat.......................................................
2.9 Pertemuan 9................................................................................................
 Validitas Kalimat..................................................................................
 Skema Valid.........................................................................................
 Skema Valid Dasar...............................................................................
2.10 Materi 11
 Subtitusi Kalimat................................................................................
 Tipe-tipe Kalimat...............................................................................
 Subtitusi Kalimat Sederhana..............................................................
 Subtitusi Kalimat Majemuk...............................................................
 Kaidah Subtitusi Kalimat...................................................................
2.11 Pertemuan 13
 Pengertian Bentuk Normal................................................................
 Jenis-jenis Bentuk Normal................................................................
2. 12 Pertemuan 13.......................................................................................
 Pengertian Deduksi Natural/Deduksi Alami....................................
 Deduksi Alami Dalam Informatika..................................................
BAB III PENUTUP..................................................................................................
3.1 Kesimpulan............................................................................................
 BAB I
PENDAHULUAN

1.1 Latar Belakang

Latar belakang dalam menulis diktat tentang logika informatika melibatkan pemahaman
mendalam terhadap konsep-konsep dasar logika, penggunaan bahasa formal, dan penerapan
prinsip-prinsip logika dalam konteks komputasi. Diktat ini dapat membantu meningkatkan
keterampilan pemikiran logis dan kemampuan analisis dalam pengembangan perangkat
lunak serta sistem informasi.

1.2 Tujuan Menulis Diktat

Tujuan menulis diktat logika informatika adalah untuk menyajikan materi logika dalam
konteks informatika secara sistematis. Diktat ini bertujuan memberikan pemahaman yang
baik kepada pembaca tentang dasar-dasar logika yang relevan dengan bidang informatika,
termasuk penerapannya dalam pemrograman dan analisis algoritma. Tujuannya juga
melibatkan pengembangan kemampuan berpikir logis dan analitis dalam konteks
teknologi informasi.
 BAB II
PEMBAHASAN
2.1 Pertemuan 1
Logika Matematika

 Pernyataan dan Nilai Kebenarannya

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

Example :

1. Jakarta ibu kota Indonesia

2. 17 < 86
3. 19 – 7 = 7
4. Padang bukan ibu kota Sumatera Barat

Benar atau salah suatu dari suatu pernyataan dapat ditentukan dengan memakai dasar

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

example :

1. Air benda padat

2. Daerah itu terkena gempa
3. Ayah berambut putih

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

example :

1. 6 adalah bilangan genap

2. Jumlah sudut dalam segitiga adalah 180
  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

Tabel Kebenaran Negasi

 Kalimat Terbuka

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

Example :

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)

2.2 Pertemuan 2

 Logika Proposional dan Proposisi Majemuk

 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)
  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:

1. "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."

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

3. "Saya tidak suka hujan." Operator logika: "tidak" (negation) Proposisi

sederhana: "Saya suka hujan.

"Kalimat-kalimat dalam logika proposisional dibangun dari proposisi-proposisi (yaitu,

simbol-simbol kebenaran dan simbol-simbol proposisional) dengan menerapkan
penghubung- penghubung proposisional (propositional connectives):

 not, and, or, if-then, if-and-only-if, if-then-else

 Kalimat Logika Proposional Dalam Simbol Proposisi

Simbol-simbol yang dimaksud dikelompokkan menjadi dua, yaitu:

1. Simbol-simbol kebenaran (truth symbols) true dan false

2. 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 (atau aturan untuk) membentuk kalimat logika proposisional dari
proposisi-proposisi.

 Kalimat Dibentuk Menurut Aturan Rules

1. (aturan proposisi) setiap proposisi, yaitu suatu simbol kebenaran atau suatu
simbol proposisi merupakan kalimat.

2. (aturan negasi) apabila F kalimat, maka negasi (negation) nya (not F)

merupakan kalimat.

3. (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).

4. (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).

5. (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.

6. (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.

7. (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).
 Notasi

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

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.

Sebaliknya untuk kalimat

G: if not(P if and only if R) then if (Q and notS) then notQ else P memuat ambiguitas,
karena kalimat G bisa ditafsirkan sebagai:
G1: if not(P if and only if R) then (if (Q and notS) then notQ) else P atau
G2: if not(P if and only if R) then (if (Q and notS) then notQ else P).
2.3 Pertemuan 3

 Aturan Sintaktik

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 Pemograman

 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.

 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. 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.

 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

 Tabel kebenaran adalah alat yang digunakan untuk menentukan nilai kebenaran dari
sebuah ekspresi logika proposisional berdasarkan semua kemungkinan kombinasi nilai
yang mungkin 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

2.4 Pertemuan 4
 Kalimat Berkuantor

Kuantor suatu istilah yang menyatakan “berapabanyak”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”.

 Ekuivalensi Logika Pada Kuantor

Dua pernyataan yang mengandung kata hubung logika dan kuantor dikatakan ekivalen
jika dan hanya jika keduanyamempunyai nilai kebenaran yang sama tidak masalah pada
kata hubung dan domainyang digunakan dalam suatu pernyataan. Pernyataan S dan T
yang ekivalen dinyatakan dengan simbol S ≡ T

 Negasi Kalimat Kuantor

Negasi dari kuantor universal sebuah fungsi proposisi ekivalen logis dengan
kuantorekstensial dari negasi fungsi proposisinyaNegasi dari kuantor ekstensial sebuah
fungsi proposisi ekivalen logis dengankuantor universal dari negasi fungsi proposisinya.
  Menerjemahkan Kalimat Menjadi Ekspresi Logika

Beberapa hal yang perlu diperhatikan dalammenterjemahkan:

 Awali dengan menetapkan semesta pembicaraan

 Kata – kata seperti “saya” dan “anda” dianggapsebagaikonstanta untuk

individu.

 susunan kata yang terdiri atas katakerjadankataketerangan diterjemahkan sebagai

satu prediket.

 Kata kerja yang melibatkan waktu, misalnya“akan, telahdsb”tidak

diperhatikan. Begitu juga dengan kata– kata“mungkin,tidak mungkin, pasti
terjadi” juga diabaikan.

2.5 Pertemuan 5
 Aturan Semantik

 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 secara berulang.

 Aturan Proposisi

Simbol Kebenaran Simbol Proposional

Nilai kebenaran simbol sesuai nilai yang

Nilai kebenaran simbol sesuai kalimat diberikan oleh interpretasi

Contoh: Contoh:

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

Kalimat false bernilai kebenaran false P bernilai kebenaran true.R bernilai

kebenaran false.
  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

 Penentuan Interpretasi Untuk Kalimat

Interpretasi untuk suatu kalimat dapat diperoleh melalui nilai

kebenaran kalimat.

Langkah penentuan interpretasi untuk suatu kalimat dimulai dari

 Memperhatikan nilai kebenaran kalimat
 Menentukan nilai kebenaran semua kalimat bagian (hingga diperoleh nilai
kebenaran untuk simbol proposisional)
 Tuliskan interpretasi dari nilai kebenaran simbol proposisional

2..6 Pertemuan 6
 Tabel Kebenaran

 Tabel kebenaran adalah alat yang digunakan untuk menentukan nilai kebenaran
suatu kalimat secara lengkap dari semua nilai yang mungkin diberikan.

 Setiap interpretasi untuk suatu kalimat logika proposisional akan

bersesuaian dengan tepat satu baris dalam tabel kebenaran.

 Langkah Membuat Tabel Kebenaran

 Tentukan banyak symbol proposisional dalam kalimat

 Tentukan banyakkemungkinaninterpretasi dari semua symbol:

 Cara menghitung banyak kemungkinan interpretasi: 2x, x: banyak simbol
proposisional

 Tuliskan semuakemungkinaninterpretasi dari semua symbol proposisional:

Tuliskan juga dalam bentuk table.

 Tentukan nilai kebenaran kalimat dari interpretasi tersebut.

2.7 Pertemuan 7
 Ekivalensi Proposisi

 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
kebenaran yang sama pada semua barisnya di tabel kebenaran

 Membuktikan Ekivalensi Dengan Tabel Kebeneran

Contoh. Buktikan p∨q ⇔ ¬(¬p ∧ ¬q).

 Hukum Ekivalensi

 dentity : 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)
 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

 Absorption : p∨ (p ∧ q) ⇔ p, p ∧ (p ∨ q) ⇔ p

 Absorption : p∨(¬ p∧ q) ⇔ p ∨ q
p∧(¬ p∨ q) ⇔ p∧ q

 Hukum lain: (p∧ q) ∨ (p∧ ¬ q) ⇔ p

p ⇒ q ⇔ ¬ p∨ q
p ⇒ q ⇔ ¬ (p∧ ¬ q)
(p ⇔ q) ⇔ (p ∧ q) ∨ (¬ p∧ ¬ q)
(p ⇔ q) ⇔ (p ⇒ q) ∧ (q ⇒ p)
2.8 Pertemuan 8
 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

 Istilah Dalam Pohon Semantik

 Node akar: node yang pertama (node 1)

 Node leaf/ daun: node yang menjadi akhir cabang node akar – node yang memiliki
nilai kebenaran (node 4, 5, 3)

 Node internal: node yang bukan node akar/ node daun (node 2)

 Jumlah jalur: banyaknya jalur dari node akar hingga node leaf (3 buah, yaitu jalur 1-
2-4, jalur 1-2-5, jalur 1-3)

 Panjang jalur: banyak garis penghubung antara node akar hingga node daun.
(Panjang Jalur 1-2-4 adalah 2,
 panjang jalur 1-2-5 adalah 2, dan
panjang jalur 1-3 adalah 1)

 Sifat-sifat Kalimat

Sifat kalimat akan mengelompokan kalimat logika proposisional berdasarkan hubungan

antara nilai kalimat logika proposisional dengan kualitas dan cakupan
interpretasinya. Berikut beberapa sifat kalimat:

 Pohon Semantik dan Sifat Kalimat

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

 Validitas Kalimat

Dalam kalimat logika predikat, validitas kalimat didefinisikan khusus untuk kalimat
tertutup (tidak memuat variable bebas). Validitas Kalimat suatu kalimat tertutup F
dikatakan valid jika kalimat F bernilai true di bawah setiap interpretasi untuk F.

 Skema Valid
Skema kalimat valid: cara menyederhanakan penulisan proposisi dengan menuliskannya
dalam bentuk simbol kalimat brush script seperti E, F, G, H, …

 Skema Valid Dasar

 E if and only if E
 E or (not E)
 if E then E
 if (E and F ) then E

2.10 Materi 11

 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.

 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.

 Subtitusi Kalimat Sederhana

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

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

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

 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."

Manfaat Kaidah Subtitusi Kalimat

 Memudahkan pemahaman terhadap suatu argumen atau proposisi.

 Meningkatkan kemampuan analisis terhadap suatu proposisi

2.11 Pertemuan 13

 Pengertian 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. Bentuk Normal perlu dipahami karena
kebanyakan aplikasi logika, misalnya merancang rangkaian elektronika atau sirkuit
menggunakan bentuk normal, khususnya bentuk normal disjungtif. Bentuk Normal
disebut juga bentuk kanonikal

 Jenis-jenis 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:

 Disjunctive Normal Form (DNF)

 Conjunctive Normal Form (CNF)

 Full Disjunctive Normal Form (FDNF)

 Full Conjunctive Normal Form (FCNF)

2.12 Pertemuan 13

 Pengertian 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 sering digunakan untuk membuktikan kebenaran suatu pernyataan atau
argumen. Deduksi alami juga dikenal sebagai pembuktian tidak langsung. Metode ini
menggunakan aturan-aturan logika seperti aturan inferensi, aturan resolusi, dan aturan
modus ponens. Deduksi alami juga dapat digunakan untuk mengubah suatu pernyataan
menjadi bentuk yang lebih sederhana atau untuk membuktikan
validitas suatu argumen.

 Deduksi Alami Dalam Informatika

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

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

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

 Pemrograman Logika
Dalam pemrograman logika, deduksi alami digunakan untuk mengembangkan
program dengan menggunakan aturan-aturan logika.
 BAB III
PENUTUP

3.1 Kesimpulan

Kesimpulan dari pembuatan diktat tentang logika informatika adalah bahwa logika
informatika merupakan landasan penting dalam pengembangan dan analisis sistem
informasi. Diktat ini memberikan pemahaman mendalam tentang konsep-konsep logika,
seperti logika proposisional dan predikat, yang sangat relevan dalam merancang solusi-
solusi efektif dalam dunia komputasi. Dengan memahami prinsip-prinsip logika
informatika, para pembaca dapat meningkatkan keterampilan analisis dan pemecahan
masalah mereka dalam pengembangan perangkat lunak dan sistem informasi.