Logika hanya berhubngan dengan bentukbentuk logika dari argumen-argumen, serta penarikan kesimpulan tentang validitas dari argumen tersebut.

dokumen-dokumen yang mirip
Hukum-hukum Logika 2/8/ Hukum komutatif: p q q p p q q p. 8. Hukum asosiatif: p (q r) (p q) r p (q r) (p q) r

LOGIKA (LOGIC) Logika merupakan dasar dari semua penalaran (reasoning). Penalaran didasarkan pada hubungan antara pernyataanpernyataan

Logika Logika merupakan dasar dari semua penalaran (reasoning). Penalaran didasarkan pada hubungan antara proposisi atau pernyataan (statements).

Logika. Apakah kesimpulan dari argumen di atas valid? Alat bantu untuk memahami argumen tsb adalah Logika

Logika adalah jantung dari algoritma dan pemrograman. Contoh: if x mod 2 = 0 then x:=x + 1 else x:=x 1

PENGERTIAN. Proposisi Kalimat deklaratif yang bernilai benar (true) atau salah (false), tetapi tidak keduanya. Nama lain proposisi: kalimat terbuka.

- Mahasiswa memahami dan mampu membuat kalimat, mengevaluasi kalimat dan menentukan validitas suatu kalimat

Matematika Diskrit LOGIKA

Logika Logika merupakan dasar dari semua penalaran (reasoning). Penalaran didasarkan pada hubungan antara proposisi atau pernyataan (statements).

Logika Logika merupakan dasar dari semua penalaran (reasoning). Penalaran didasarkan pada hubungan antara pernyataan (statements).

Matematika Komputasional. Pengantar Logika. Oleh: M. Ali Fauzi PTIIK - UB

Materi 4: Logika. I Nyoman Kusuma Wardana. STMIK STIKOM Bali

Materi Kuliah IF2091 Struktur Diskrit. Pengantar Logika. Oleh: Rinaldi Munir. Program Studi Informatika STEI - ITB

Logika Matematik. Saripudin, M.Pd.

MateMatika Diskrit. Logika (logic) STMIK Parna Raya Manado Ir. Hasanuddin Sirait, M.T

IT105 MATEMATIKA DISKRIT. Ramos Somya, S.Kom., M.Cs.

Pengantar Logika Lanjut

MATEMATIKA DISKRIT LOGIKA

Matematika Diskret (Logika) Instruktur : Ferry Wahyu Wibowo, S.Si., M.Cs.

Pengantar Logika. Didin Astriani Prasetyowati, M.Stat UIGM

Kuliah 2 1. LOGIKA (LOGIC) Matematika Diskrit. Dr.-Ing. Erwin Sitompul

Matematika Diskret (Logika) Instruktur : Ferry Wahyu Wibowo, S.Si., M.Cs.

BAB 1. Logika. Benteng kehidupan yang terkuat adalah kebenaran. (Anonim)

Logika Proposisi. Rudi Susanto

BAB I PENDAHULUAN. a. Apa sajakah hukum-hukum logika dalam matematika? b. Apa itu preposisi bersyarat?

Materi Kuliah Matematika Komputasi. Oleh: Gembong Edhi Setyawan. Program Teknologi Informasi dan Ilmu Komputer Universitas Brawijaya

Materi Kuliah IF2120 Matematika Diskrit. Logika (logic) Oleh: Rinaldi Munir. Program Studi Teknik Informatika STEI - ITB

Logika Proposisi. Pertemuan 2 (Chapter 10 Schaum, Set Theory) (Chapter 3/4 Schaum, Theory Logic)

Materi Kuliah IF2120 Matematika Diskrit. Logika (logic) Oleh: Rinaldi Munir. Program Studi Teknik Informatika STEI - ITB

LOGIKA. /Nurain Suryadinata, M.Pd

BAB 3 TABEL KEBENARAN

Pertemuan 6 VARIAN BERSYARAT & BIKONDISIONAL

1. SET. Descrete Mathematics 1

MATEMATIKA DISKRIT. Logika

PROPOSISI MATEMATIKA SISTEM INFORMASI 1

LOGIKA. Ratna Wardani Pendidikan Teknik Informatika. 2 September 2007 Pertemuan-1-2 1

PERTEMUAN KE 3 F T T F T F T F

LOGIKA PROPOSISI. Bagian Keempat : Logika Proposisi

DASAR-DASAR LOGIKA. Pertemuan 2 Matematika Diskrit

MODUL 3 OPERATOR LOGIKA

Matematika Diskrit. Nelly Indriani Widiastuti S.Si., M.T Prodi Teknik Informatika UNIKOM

1.Asas Logik dan Pembuktian

Matematika Terapan Teknik Informatika

TABEL KEBENARAN. Liduina Asih Primandari, S.Si.,M.Si. P a g e 8

LOGIKA INFORMATIKA. Bahan Ajar

KONSEP DASAR LOGIKA MATEMATIKA. Riri Irawati, M.Kom Logika Matematika - 3 sks

BAB I DASAR-DASAR LOGIKA

2.1. Definisi Logika Proposisi Logika proposisi Atomic proposition compound proposition

LOGIKA INFORMATIKA. Bahan Ajar

LOGIKA Pendidikan Teknik Informatika

BAB 2 PENGANTAR LOGIKA PROPOSISIONAL

Logika Matematika Diskret (TKE132107) Program Studi Teknik Elektro, Unsoed

LOGIKA. Ratna Wardani Pendidikan Teknik Informatika. 2 September 2007 Pertemuan-1-2 1

Logika Proposisi. Adri Priadana ilkomadri.com

Pertemuan 2. Operator Logika Tabel Kebenaran

Teknik Informatika POLITEKNIK NEGERI TANAH LAUT BY: VJ REFERENSI: UNIV TRUNOJOYO & PTIIK

Konvers, Invers dan Kontraposisi

LOGIKA PROPOSISI 3.1 Proposisi logika proposisional. Contoh : tautologi yaitu proposisi-proposisi yang nilainya selalu benar. Contoh 3.

Matematika Industri I

Matematika diskrit Bagian dari matematika yang mempelajari objek diskrit.

MODUL PERKULIAHAN EDISI 1 MATEMATIKA DISKRIT

Selamat Datang. MA 2151 Matematika Diskrit. Semester I 2008/2009

LOGIKA MATEMATIKA. Tabel kebenarannya sbb : p ~ p B S S B

BAB 4 PROPOSISI. 1. Pernyataan dan Nilai Kebenaran

BAB I PENDAHULUAN. 1.1 Latar Belakang

Selamat Datang. MA 2251 Matematika Diskrit. Semester II, 2016/2017. Rinovia Simanjuntak & Saladin Uttunggadewa

Selamat Datang. MA 2151 Matematika Diskrit. Semester I, 2012/2013. Rinovia Simanjuntak & Edy Tri Baskoro

PERTEMUAN Logika Matematika

Program Studi Teknik Informatika STMIK Tasikmalaya

Silogisme Hipotesis Ekspresi Jika A maka B. Jika B maka C. Diperoleh, jika A maka C

PROPOSISI MAJEMUK. dadang mulyana

PERTEMUAN Logika Matematika

LOGIKA DAN BUKTI. Drs. C. Jacob, M.Pd

Berpikir Komputasi. Sisilia Thya Safitri, MT Citra Wiguna, M.Kom. 3 Logika Proposisional (I)

ARGUMENTASI. Kalimat Deklaratif Kalimat Deklaratif (Proposisi) adalah kalimat yang bernilai benar atau salah, tetapi tidak keduanya.

Mahdhivan Syafwan. PAM 123 Pengantar Matematika

Sentence and Substitution Lecture 4-6

LOGIKA. Logika Nilai kebenaran pernyataan majemuk Ingkaran suatu pernyataan Penarikan kesimpulan. A. Pernyataan, Kalimat Terbuka, Ingkaran.

SINTAKS DAN SEMANTIK PADA LOGIKA PROPOSISI. Matematika Logika Semester Ganjil 2011/2012

BAB I LOGIKA MATEMATIKA

Logika. Arum Handini Primandari, M.Sc. Ayundyah Kesumawati, M.Si.

LOGIKA Ponco Wali Pranoto PTI FT UNY create: Ratna W.

PERNYATAAN (PROPOSISI)

Pengantar Logika - 2

MATERI 1 PROPOSITIONAL LOGIC

LOGIKA. Ratna Wardani Pendidikan Teknik Informatika. 10/28/2008> Pertemuan-1-2 1

Argumen premis konklusi jika dan hanya jika Tautolog

LANDASAN MATEMATIKA Handout 3 (Kalkulus Proposisi)

MATEMATIKA DASAR (Validitas Pembuktian)

Pengantar Logika - 2

Pusat Pengembangan Pendidikan Universitas Gadjah Mada 1

PENGANTAR LOGIKA INFORMATIKA

REPRESENTASI PENGETAHUAN

kusnawi.s.kom, M.Eng version

Dian Wirdasari, S.Si.,M.Kom

Modul ke: Logika Matematika. Proposisi & Kuantor. Fakultas FASILKOM BAGUS PRIAMBODO. Program Studi SISTEM INFORMASI.

PENARIKAN KESIMPULAN/ INFERENSI

Logika Matematika BAGUS PRIAMBODO. Silogisme Silogisme Hipotesis Penambahan Disjungsi Penyederhanaan Konjungsi. Modul ke: Fakultas FASILKOM

PROPOSISI. Novy SetyaYunas. Pertemuan 4

KOMPARASI PENGGUNAAN METODE TRUTH TABLE DAN PROOF BY FALSIFICATION DALAM PENENTUAN VALIDITAS ARGUMEN. Abstrak

Transkripsi:

TABEL KEBENARAN

Logika hanya berhubngan dengan bentukbentuk logika dari argumen-argumen, serta penarikan kesimpulan tentang validitas dari argumen tersebut. Logika tidak mempermasalahkan arti sebenarnya dari pernyataan tersebut, ataupun isi dari pernyataan. Binatang mempunyai 2 mata Manusia mempunyai 2 mata Dengan demikian, binatang sama dengan manusia

Perangkai Logika Terdapat 5 perangkai logika, yaitu : And (dan) Or (atau) Not (tidak) If then /implies (jika maka) If and only if ( jika dan hanya jika ) Contoh 3-3 Jika hari hujan, maka Badu basah kuyub Contoh 3-4 Badu menangkap bola dan menendangnya Badu menendang bola dan menangkapnya

KONJUNGSI ( ) Pada TK And, hanya ada satu nilai True jika pasangan tersebut keduanya bernilai True

DISJUNGSI (V) Pada TK OR, bernilai False jika nilai keduanya bernilai False

DISJUNGSI (V) Saya berada di Malang atau Surabaya Exclusive or, karena tidak mungkin berada di dua tempat dalam waktu yang bersamaan. atau berarti p atau q tetapi bukan keduanya. Kamu memilih pizza atau hamburger Inclusive or, karena masih mungkin memili salah satu atau bahkan keduanya. atau berarti p atau q atau keduanya

Exclusive OR Operator logika disjungsi eksklusif: xor Notasi: Tabel kebenaran: p q p q T T F T F T F T T F F F

NEGASI (~) Negasi hanya kebalikan dari nilai variabel proposisional yang dinegasinya.

Example Bentuklah tabel kebenaran dari proposisi majemuk (p q) (~q r). p q r p q ~q ~q r (p q) (~q r) T T T T F F T T T F T F F T T F T F T T T T F F F T F F F T T F F F F F T F F F F F F F T F T T T F F F F T F F

IMPLIKASI Bentuk proposisi: jika p, maka q Notasi: p q P : hipotesis, antesenden, premis, atau kondisi Q : consequent Implikasi adalah pengkondisian satu kemungkinan saja dari sebab dan akibat

IMPLIKASI Cara-cara mengekspresikan implikasi p q: Jika p, maka q Jika hari hujan, maka tanaman akan tumbuh subur. Jika p, q Jika tekanan gas diperbesar, mobil melaju kencang. p mengakibatkan q (p implies q) Es yang mencair di kutub mengakibatkan permukaan air laut naik. q jika p Orang itu mau berangkat jika ia diberi ongkos jalan.

IMPLIKASI p hanya jika q Ahmad bisa mengambil matakuliah Teori Bahasa Formal hanya jika ia sudah lulus matakuliah Matematika Diskrit. p syarat cukup untuk q (hipotesis menyatakan syarat cukup (sufficient condition) ) Syarat cukup agar pom bensin meledak adalah percikan api dari rokok. q syarat perlu untuk p (konklusi menyatakan syarat perlu (necessary condition) ) Syarat perlu bagi Indonesia agar ikut Piala Dunia adalah dengan mengontrak pemain asing kenamaan q bilamana p (q whenever p) Banjir bandang terjadi bilamana hutan ditebangi.

IMPLIKASI Ubahlah proposisi ketiga sampai keempat pada Contoh di atas ke dalam bentuk proposisi jika p maka q Penyelesaian: Jika es mencair di kutub, maka permukaan air laut naik. Jika orang itu diberi ongkos jalan, maka ia mau berangkat. Jika Ahmad mengambil matakuliah Teori Bahasa Formal, maka ia sudah lulus matakuliah Matematika Diskrit.

IMPLIKASI Pernyataan yang diberikan ekivalen dengan Percikan api dari rokok adalah syarat cukup untuk membuat pom bensin meledak atau Jika api memercik dari rokok maka pom bensin meledak Pernyataan yang diberikan ekivalen dengan Mengontrak pemain asing kenamaan adalah syarat perlu untuk Indonesia agar ikut Piala Dunia atau Jika Indonesia ikut Piala Dunia maka Indonesia mengontrak pemain asing kenamaan. Jika hutan-hutan ditebangi, maka banjir bandang terjadi.

IMPLIKASI P Q P Q True True True True False False False True True False False True

IMPLIKASI Hanya ada satu nilai False dari TK Implikasi, yaitu jika P bernilai T dan Q bernilai F.

IMPLIKASI Dosen: Jika nilai ujian akhir anda 80 atau lebih, maka anda akan mendapat nilai A untuk kuliah ini. Apakah dosen anda mengatakan kebenaran atau dia berbohong? Tinjau empat kasus berikut ini: Kasus 1: Nilai ujian akhir anda di atas 80 (hipotesis benar) dan anda mendapat nilai A untuk kuliah tersebut(konklusi benar). pernyataan dosen benar. Kasus 2: Nilai ujian akhir anda di atas 80 (hipotesis benar) tetapi anda tidak mendapat nilai A (konklusi salah). dosen berbohong (pernyataannya salah). Kasus 3: Nilai ujian akhir anda di bawah 80 (hipotesis salah) dan anda mendapat nilai A (konklusi benar). dosen anda tidak dapat dikatakan salah (Mungkin ia melihat kemampuan anda secara ratarata bagus sehingga ia tidak ragu memberi nilai A). Kasus 4: Nilai ujian akhir anda di bawah 80 (hipotesis salah) dan anda tidak mendapat nilai A (konklusi salah). dosen anda benar.

IMPLIKASI Perhatikan bahwa dalam implikasi yang dipentingkan nilai kebenaran premis dan konsekuen, bukan hubungan sebab dan akibat diantara keduanya. Beberapa implikasi di bawah ini valid meskipun secara bahasa tidak mempunyai makna: Jika 1 + 1 = 2 maka Paris ibukota Perancis Jika n bilangan bulat maka hari ini hujan

IMPLIKASI Tunjukkan bahwa p q ekivalen secara logika dengan ~ p q. Penyelesaian: p q ~ p p q ~ p q T T F T T T F F F F F T T T T F F T T T Jika p, maka q Tidak p atau q.

IMPLIKASI Dua pedagang barang kelontong mengeluarkan moto jitu untuk menarik pembeli. Pedagang pertama mengumbar moto Barang bagus tidak murah sedangkan pedagang kedua mempunyai moto Barang murah tidak bagus. Apakah kedua moto pedagang tersebut menyatakan hal yang sama? Penyelesaian: p : Barang itu bagus q : Barang itu murah. Moto pedagang pertama: Jika barang itu bagus maka barang itu tidak murah atau p ~ q Moto pedagang kedua: Jika barang itu murah maka barang itu tidak bagus atau q ~ p. p q ~ p ~ q p ~ q q ~ p T T F F F F T F F T T T F T T F T T F F T T T T p ~ q q ~ p. Kedua moto tersebut menyatakan hal yang sama.

EKUIVALENSI P Q P Q True True True True False False False True False False False True

EKUIVALENSI Nilai Ekuivalensi mempunyai nilai T jika pasangan A dan B bernilai sama, baik T maupun F, jika pasangan berbeda, nilainya pasti F Perangkai Ekuivalensi disebut biconditional karena ia mengkondisikan dua ekspresi logika

Tunjukkan bahwa p q ekivalen secara logika dengan (p q) (q p). p q p q p q q p (p q) (q p) T T T T T T T F F F T F F T F T F F F F T T T T Dengan kata lain, pernyataan p jika dan hanya jika q dapat dibaca Jika p maka q dan jika q maka p.

Cara-cara menyatakan bikondisional p q: p jika dan hanya jika q. Bandung terletak di Jawa Barat jika dan hanya jika Jawa Barat adalah sebuah propinsi di Indonesia. p adalah syarat perlu dan cukup untuk q. Syarat cukup dan syarat perlu agar hari hujan adalah kelembaban udara tinggi. Jika p maka q, dan sebaliknya. Jika anda orang kaya maka anda mempunyai banyak uang, dan sebaliknya.

Tuliskan setiap proposisi berikut ke dalam bentuk p jika dan hanya jika q : (a) Jika udara di luar panas maka anda membeli es krim, dan jika anda membeli es krim maka udara di luar panas. (b) Syarat cukup dan perlu agar anda memenangkan pertandingan adalah anda melakukan banyak latihan. (c) Anda naik jabatan jika anda punya koneksi, dan anda punya koneksi jika anda naik jabatan. (d) Jika anda lama menonton televisi maka mata anda lelah, begitu sebaliknya. (e) Kereta api datang terlambat tepat pada hari-hari ketika saya membutuhkannya. Penyelesaian: (a) Anda membeli es krim jika dan hanya jika udara di luar panas. (b) Aanda memenangkan pertandingan jika dan hanya jika anda melakukan banyak latihan. (c) Anda naik jabatan jika dan hanya jika anda punya koneksi. (d) Mata anda lelah jika dan hanya jika anda lama menonton televisi. (e) Kereta api datang terlambat jika dan hanya jika saya membutuhkan kereta hari itu.