TOPIK 1 LOGIKA.

Slides:



Advertisements
Presentasi serupa
Oleh : LUFVIANA LIKKU TRIMINTARUM A
Advertisements

Menentukan Nilai Kebenaran Dalam Logika Matematika
DASAR-DASAR LOGIKA Septi Fajarwati, S.Pd..
Review Proposisi & Kesamaan Logika
Negasi dari Konvers, Invers, dan Kontraposisi
LOGIKA LOGIKA LOGIKA.
LOGIKA MATEMATIKA Mata Pelajaran: Matematika Kelas : X Semester : 2.
Mata Kuliah Logika Informatika 3 SKS Bab II : Proposisi.
MATEMATIKA DISKRIT By DIEN NOVITA.
MATEMATIKA DISKRIT By DIEN NOVITA.
LOGIKA MATEMATIKA PERTEMUAN 5 KALKULUS PROPOSISI
PROPORSI (LOGIKA MATEMATIKA)
Proposisi. Pengantar  Pokok bahasan logika, atau objek dari logika adalah pernyataan-pernyataan atau kalimat yang memiliki arti tertentu dan memiliki.
Matematika Diskrit Oleh Ir. Dra. Wartini.
Bina Nusantara Logika Proposisi Pertemuan 1: Matakuliah:K0144/Matematika Diskrit Tahun:2008.
MATEMATIKA DISKRIT LOGIKA MATEMATIKA.
Pernyataan Pertemuan 3:
BAB 1. LOGIKA MATEMATIK 1.1 PROPOSISI Definisi: [Proposisi]
Matematika Diskrit Logika Matematika Heru Nugroho, S.Si., M.T.
Pertemuan ke 1.
LOGIKA MATEMATIKA.
DASAR LOGIKA MATEMATIKA
LOGIKA Logika mempelajari hubungan antar pernyataan-pernyataan yang berupa kalimat-kalimat atau rumus-rumus, sehingga dapat menentukan apakah suatu pernyataan.
PROPOSISI Citra N, S.Si, MT.
Matematika Diskrit Logika.
Matematika Diskrit Bab 1-logika.
Logical Connectives – Penghubung Logika / Operator Logika
PENALARAN MATEMATIKA OLEH KELOMPOK 1 Nama:
Pertemuan # 2 Logika dan Pembuktian
Logika Semester Ganjil TA
ZULFA ROHMATUL MUBAROKAH ( /4A)
Sabtu, 27 Januari 2018 Kalimat Matematika Oleh : Choirudin, M.Pd.
Proposisi.
PROPOSITION AND NOT PROPOSITION
DASAR-DASAR MATEMATIKA DAN SAINS
LOGIKA MATEMATIKA.
LOGIKA TATAP MUKA 2 FKIP UNIVERSITAS PANCA MARGA.
IMPLIKASI (Proposisi Bersyarat)
LOGIKA MATEMATIKA Disusun oleh : Risti Istiyani A
NEGASI, KONJUNGSI, DISJUNGSI, IMPLIKASI, DAN BIIMPLIKASI
MATEMATIKA DISKRIT LOGIKA MATEMATIKA.
MATERI 1 PERNYATAAN PENGHUBUNG PERNYATAAN
TOPIK 1 LOGIKA.
PENDIDIKAN MATEMATIKA UNIVERSITAS PGRI YOGYAKARTA
Matematika diskrit Kuliah 1
PERNYATAAN ATAU PROPORSI
Matakuliah Pengantar Matematika
Matematika Diskrit TIF (4 sks) 3/9/2016.
LOGIKA MATEMATIKA Pertemuan II.
NEGASI PERNYATAAN MAJEMUK
logika matematika Standar Kompetensi:
Aljabar Logika. 1. Kalimat Deklarasi. 2. Penghubung Kalimat. 3
Dasar dasar Matematika
Adalah cabang dari matematika yang mengkaji objek-objek diskrit.
Core Jurusan Teknik Informatika Kode MK/SKS : TIF /2
1.1 Proposisi & Proposisi Majemuk
MATEMATIKA KOMPUTASI LOGIKA MATEMATIKA.
Grace Lusiana Beeh, S. Kom.
LOGIKA MATEMATIKA 9/12/2018.
LOGIKA MATEMATIKA Logika matematika pada hakekatnya adalah suatu metode dalam komputasi menggunakan proposisi atau kalimat deklaratif. Kalimat deklaratif.
Matematika Diskrit Logika Matematika Dani Suandi,S.Si.,M.Si.
Tabel Kebenaran Dan Proposisi Majemuk
TOPIK 1 LOGIKA.
KONVERS, INVERS, KONTRAPOSISI TAUTOLOGI & KONTRADIKSI
NAMA : NANA ROSMANA KELAS : TI.17.D2 TUGAS: LOGIKA INFORMATIKA.
BAB 2 LOGIKA MATEMATIKA.
LOGIKA MATEMATIKA Logika matematika pada hakekatnya adalah suatu metode dalam komputasi menggunakan proposisi atau kalimat deklaratif. Kalimat deklaratif.
Modul Matematika Diskrit
LOGIKA MATEMATIKA.
BAB I DASAR-DASAR LOGIKA
Transcript presentasi:

TOPIK 1 LOGIKA

PERNYATAAN PENGHUBUNG PERNYATAAN PERTEMUAN 1 PERNYATAAN PENGHUBUNG PERNYATAAN

PERNYATAAN Adalah kalimat yang mempunyai nilai kebenaran (benar/salah) Contoh: UKSW berada di Salatiga. (pernyataan benar) 5+3=9. (pernyataan salah) 100+1=101. (pernyataan, benar/salah tergantung konteks biner/desimal) Meja itu besar. (bukan pernyataan) Apa hobimu? (bukan pernyataan)

PENGHUBUNG PERNYATAAN (1) Untuk membuat pernyataan yang lebih kompleks dari pernyataan-pernyataan yang lebih sederhana dibutuhkan penghubung. Pernyataan-pernyataan yang lebih kompleks ini disebut pernyataan majemuk (compound statement). Jadi pernyataan primer atau atomik adalah pernyataan-pernyataan yang tidak mempunyai penghubung. Dalam pembahasan ini suatu pernyataan akan diberi nama dengan huruf kapital.

PENGHUBUNG PERNYATAAN (2) Negasi (NOT atau Inversi) Konjungsi (AND) Disjungsi (OR) Kondisi (Conditional)/Implikasi Kondisi Ganda (Biconditional)/Biimplikasi

NEGASI (1) Notasi: ¬ atau ~ atau ¯ atau ’ Negasi pernyataan P adalah suatu pernyataan ~P yang mempunyai nilai kebenaran berlawanan dari nilai kebenaran pernyataan semula. Contoh: P : Hari ini hujan. Q : Hari ini panas. Maka pernyataan NOT dari P dan Q adalah ~P: Hari ini tidak hujan. ~Q: Hari ini tidak panas.

NEGASI (2) Tabel Kebenaran Rangkaian Logika

DISJUNGSI (1) Notasi:  atau + atau  Disjungsi dari dua pernyataan P dan Q adalah suatu pernyataan P  Q yang mempunyai nilai kebenaran T jika P atau Q atau keduanya mempunyai nilai kebenaran T, selain itu P  Q bernilai F. Contoh: P: Hari ini hujan. Q: Ada 10 kamar dalam rumah ini. P  Q: Hari ini hujan atau ada 10 kamar dalam rumah ini.

DISJUNGSI (2) Saya akan menonton pertandingan di tv atau pergi ke lapangan pertandingan. “atau” dipakai dalam bentuk yang eksklusif untuk memilih salah satu dari dua alternatif tetapi tidak keduanya (P atau Q saja tetapi tidak P dan Q). Ada sesuatu yang salah dengan bolam itu atau dengan pengabelannya. “atau” dipakai dalam bentuk yang inklusif yaitu bisa salah satu atau kedua alternatif terjadi (P, atau Q atau P dan Q). “atau” digunakan seperti yang dimaksud (simbol ). Dua atau tiga orang cedera dalam kecelakaan itu. “atau” tidak ditujukan dalam arti Penghubung yang dimaksudkan tetapi mengenai jumlah orang dalam kejadian itu.

DISJUNGSI (3) Sifat simetri: P  Q = Q  P. Negasi P  Q adalah ~P  ~Q. Tabel Kebenaran:

DISJUNGSI (4) Rangkaian Logika:

KONJUNGSI (1) Notasi: , . , , atau  Konjungsi dari dua pernyataan P dan Q adalah suatu pernyataan P  Q yang mempunyai nilai kebenaran T bila P dan Q keduanya mempunyai nilai kebenaran T, selain itu P  Q bernilai F. Contoh: P: Hari ini hujan. Q: Ada 10 kamar dalam rumah ini. P  Q: Hari ini hujan dan ada 10 kamar dalam rumah ini.

KONJUNGSI (2) Mawar berwarna merah dan kucing berwarna hitam. “dan” digunakan seperti yang dimaksud (simbol ). Prinsip simetri berlaku. PQ = QP Inem membuka pintu dan berjalan masuk. “dan” berarti “kemudian” karena “berjalan masuk” terjadi setelah “Inem membuka pintu”  tidak dapat diterjemahkan dengan . Prinsip simetri tidak berlaku. PQ  QP Inem dan Ponim bersaudara. “dan” bukan penghubung, karena hanya satu kalimat bukan dua kalimat setara yang dihubungkan dengan AND. Bila dipecah, akan menjadi kalimat berita tidak lengkap. “Inem bersaudara”. Kalimat menjadi tidak lengkap karena bersaudara dengan siapa?.

KONJUNGSI (3) Sifat simetri: P  Q = Q  P. Negasi P  Q adalah ~P  ~Q. Tabel Kebenaran:

KONJUNGSI (4) Rangkaian Logika:

IMPLIKASI (1) Notasi:  Jika P dan Q adalah dua pernyataan, maka implikasi pernyataan P  Q dapat dibaca sebagai IF P, THEN Q. P dan Q adalah suatu pernyataan conditional. P disebut antecedent dan Q adalah consequent. Implikasi tidak mempunyai sifat simetri dalam arti bahwa PQ tidak sama dengan QP.

IMPLIKASI (2) Contoh: P : Langit cerah hari ini. Q: 2+7 >4. PQ : Jika langit cerah hari ini, maka 2+7 >4. P: Ibu ke pasar. Q: Didi ke sekolah. PQ : Jika ibu ke pasar, maka Didi ke sekolah. Tulis dalam bentuk simbolis: “Kalau William mengambil Kalkulus atau Harry mengambil Sosiologi, maka Charles akan mengambil Bahasa Inggris.” J: William mengambil Kalkulus. K: Harry mengambil Sosiologi. L: Charles mengambil Bahasa Inggris. Hasilnya adalah: (J  K)  L

IMPLIKASI (3) P  Q  (ekuivalen dengan) ~P  Q. Buktikan dengan tabel kebenaran! ~(P  Q)  ~(~P  Q)  P  ~Q. Tabel Kebenaran:

IMPLIKASI (4) Dari suatu implikasi, bisa dibentuk implikasi yang lain, yaitu: Konvers (Q  P) Invers (~P  ~Q) Kontraposisi (~Q  ~P) P  Q  ~Q  ~P Buktikan dengan tabel kebenaran!

Jika saya tidak masuk, maka kalian senang. Kn: Jika kalian senang, maka saya tidak masuk. In: Jika saya masuk, maka kalian tidak senang. Kt: Jika kalian tidak senang, maka saya masuk. Ng: Saya tidak masuk dan kalian tidak senang.

BIIMPLIKASI (1) Notasi:  Jika P dan Q adalah dua pernyataan, maka biimplikasi pernyataan P  Q (dibaca P jika dan hanya jika Q) mempunyai nilai T bilamana baik P dan Q keduanya mempunyai nilai kebenaran yang sama. PQ mempunyai sifat simetri yaitu: PQ = QP.

BIIMPLIKASI (2) Contoh: P  Q  (PQ)  (QP) Tabel Kebenaran: P=Q jika dan hanya jika PQ dan QP. P  Q  (PQ)  (QP) Tabel Kebenaran:

TAUTOLOGI dan KONTRADIKSI Tautologi adalah pernyataan yang nilainya selalu benar. Contoh: P  ~P (buktikan!) Kontradiksi adalah pernyataan yang nilainya selalu salah. Contoh: P  ~P (buktikan!)

KONVERS, INVERS, KONTRAPOSISI (1) Jika A merupakan suatu bujursangkar atau trapesium, maka A merupakan suatu 4 persegi panjang. Kn: In: Kt: Ng:

KONVERS, INVERS, KONTRAPOSISI (2) Jika n adalah bilangan prima > 2 dan n bulat, maka n adalah bilangan ganjil. Kn: In: Kt: Ng: