Logika informatika 1
Materi pendahuluan : Konsep logika Proposisi atomik Proposisi majemuk Tabel kebenaran
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.
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
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
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
Konsep logika Kalimat Pernyataan : yaitu kalimat yang mempunyai nilai kebenaran BENAR atau SALAH tapi TIDAK KEDUANYA PROPOSISI
Konsep logika Beri Contoh Proposisi
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.
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
Proposisi atomik Contoh Pernyataan 1. Bendera Indonesia merah putih 2. Semarang ibukota Jawa Tengah 3. Budi belajar Logika Informatika 4. .................. 5. .................. Disebut Proposisi Atomik
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
Proposisi majemuk Proposisi Majemuk adalah proposisi yang dibentuk dari dua atau lebih proposisi atomik dan dihubungkan dengan tanda hubung DAN (), ATAU (), JIKA MAKA (), JDHJ ()
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
Tabel kebenaran Tabel Kebenaran untuk menentukan nilai kebenaran dari proposisi majemuk Tabel kebenaran bisa dibentuk dari 2, 3, 4 atau lebih proposisi atomik
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
Tabel kebenaran 2 Proposisi Atomik p dan q interpretasi p q Proposisi majemuk 1 B 2 S 3 4
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
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
SLIDE 1 SELESAI