Logika informatika 1.

Presentasi berjudul: "Logika informatika 1."— Transcript presentasi:

1 Logika informatika 1

2 Materi pendahuluan : Konsep logika Proposisi atomik Proposisi majemuk
Tabel kebenaran

3 Konsep logika Logika sering didefinisikan sebagai ilmu untuk berfikir dan menalar dengan benar, sehingga didapat kesimpulan yang benar, Untuk dapat menarik kesimpulan (conclusi) yang tepat diperlukan kemampuan menalar yang baik.

4 Konsep logika Contoh 1 : saya telah melihat 1000 gagak hitam saya belum pernah melihat burung gagak yang tidak hitam Oleh karena itu, setiap burung gagak berwarna hitam

5 Konsep logika Kalimat :
Kumpulan kata yang disusun menurut aturan bahasa dan mempunyai arti ada beberapa jenis kalimat, antara lain : Kalimat Tanya, Berita dan lain-lain

6 Konsep logika Contoh Kalimat : a. Semarang ibukota Jawa Tengah
b. Apa warna bendera negara Indonesia c. Bersihkan mobil ini d. Jangan keluar lewat pintu itu e. Mudah-mudahan tercapai cita-citamu

7 Konsep logika Kalimat Pernyataan :
yaitu kalimat yang mempunyai nilai kebenaran BENAR atau SALAH tapi TIDAK KEDUANYA PROPOSISI

8 Konsep logika Beri Contoh Proposisi

9 Konsep logika Variabel
symbol yang menunjukan suatu anggota yang belum spesifik dalam semesta pembicaraan (Universe of Discource) Adanya variable di dalam sebuah proposisi mengakibatkan proposisi tersebut belum dapat diketahui nilai kebenaranya.

10 Konsep logika Bentuk variabel pada umumnya X, Y, Z atau sebuah kata
Contoh : 3 + X = 10 sebuah Proposisi, X variabel Binatang makan rumput, binatang sebuah variabel

11 Proposisi atomik Contoh Pernyataan 1. Bendera Indonesia merah putih
2. Semarang ibukota Jawa Tengah 3. Budi belajar Logika Informatika Disebut Proposisi Atomik

12 Proposisi atomik Diwakili variabel p : Bendera Indonesia merah putih
q : Semarang ibukota Jawa Tengah r : Budi belajar Logika Informatika s : Mariana mencintai Mariono t : Mariono laki-laki tampan

13 Proposisi majemuk Proposisi Majemuk adalah proposisi yang dibentuk dari dua atau lebih proposisi atomik dan dihubungkan dengan tanda hubung DAN (), ATAU (), JIKA MAKA (), JDHJ ()

14 Proposisi majemuk Diketahui Proposisi atomik
p : Bendera Indonesia merah putih q : Semarang ibukota Jawa Tengah r : Budi belajar Logika Informatika s : Mariana mencintai Mariono p  q, q  r, r  s, p  s r  p, r  s, s  q, r  p

15 Tabel kebenaran Tabel Kebenaran untuk menentukan nilai kebenaran dari proposisi majemuk Tabel kebenaran bisa dibentuk dari 2, 3, 4 atau lebih proposisi atomik

16 Tabel kebenaran Tabel Kebenaran mempunyai 2n buah baris atau interpretasi Jika p dan q 22 = 4 interpretasi Jika p, q dan r 23 = 8 interpretas Jika p, q, r, dan s  24 = 16 interpretasi

17 Tabel kebenaran 2 Proposisi Atomik p dan q interpretasi p q
Proposisi majemuk 1 B 2 S 3 4

18 Tabel kebenaran 3 Proposisi Atomik p, q dan r interpretasi p q r
Proposisi majemuk 1 B 2 S 3 4 5 6 7 8

19 Tabel kebenaran 4 Proposisi Atomik p, q, r dan s interpretasi p q r s
Proposisi majemuk 1 B 2 S 3 4 5 6 7 8 9 10 11 12 13 14 15 16

20 SLIDE 1 SELESAI