Menyusun Ekspresi Logika

• Logika banyak digunakan dalam berbagai ilmu seperti matematika

dan sains komputasi.

• Mengapa bahasa dalam bentuk logika banyak digunakan?
• Kalimat – kalimat dalam matematika, sains dan bahasa umum sering

tidak tepat atau ambigu (bermakna ganda). Oleh karena itu, perlu
digunakan bahasa logika untuk menghilangkan ambiguitas tersebut
 Contoh
•Anda
  mempunyai KTM hanya jika anda seorang
mahasiswa atau anda bukan pengangguran.
a: Anda mempunyai KTM
b: Anda seorang mahasiswa
c: Anda pengangguran
Dengan demikian ekspresi logika dari pernyataan tersebut
dapat disajikan sebagai berikut.
)
Aturan Inferensi
 Contoh

•Jika
  mahasiswa rajin belajar maka ia akan sukses studi.
Ditemukan seorang mahasiswa bernama Ani rajin belajar.
Kesimpulannya ?
Ani akan sukses studi

P: mahasiswa rajin belajar

Q: mahasiswa sukses studi

Apakah membentuk suatu tautologi?

P Q
T T T T T
T
T F
F F
F F
F T
T
F
F T
T T
T F
F T
T
F
F F
F T
T F
F T
T
Modus ponens
Modus tollens
Silogisme Hipotesis
Silogisme Disjungtif
Penambahan
Penyederhanaan
Konjungsi
Tabel Aturan Inferensi
 Latihan
Tentukan kesimpulan dari:
1. Hujan turun hanya jika hari tidak cerah. Hari ini cerah.
2. Covid-19 berbahaya atau mudah menular. Covid-19
tidak berbahaya.
3. sore ini tidak cerah dan lebih dingin dari kemarin. kalau
kita berenang maka hari cerah. jika kita tidak pergi
berenang, maka kita akan naik perahu, jika kita naik
perahu maka kita akan tiba di rumah magrib.
Penyelesaian No.3
4. Jika soal ujian sulit, maka nilai anda jelek. Nilai anda
jelek. Jadi, soal ujian sulit.
Apakah penarikan kesimpulan tersebut sahih? Berikan
alasannya!