Bina Nusantara Logika Proposisi Pertemuan 1: Matakuliah:K0144/Matematika Diskrit Tahun:2008.

Slides:



Advertisements
Presentasi serupa
Lecture #3 LOGIKA PROPOSISI
Advertisements

Kuliah matematika diskrit Program Studi Teknik Elektro
Pertemuan 3 Viska armalina, st.,m.eng
DASAR-DASAR LOGIKA Septi Fajarwati, S.Pd..
TABEL KEBENARAN.
Tabel Kebenaran LOGIKA INFORMATIKA Program Studi TEKNIK INFORMATIKA
Bab 1 Logika Matematika Matematika Diskrit.
LOGIKA LOGIKA LOGIKA.
MATEMATIKA DISKRIT By DIEN NOVITA.
Logika (logic).
MATEMATIKA DISKRIT By DIEN NOVITA.
FITRI UTAMININGRUM, ST, MT
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.
Modul Matematika Diskrit
Matematika Diskrit Oleh Ir. Dra. Wartini.
TOPIK 1 LOGIKA.
MATEMATIKA DISKRIT LOGIKA MATEMATIKA.
Mata kuliah :K0144/ Matematika Diskrit Tahun :2008 Fuzzy Logic
Pernyataan Pertemuan 3:
Fungsi Logaritma Pertemuan 12
Logika Proposisi Pertemuan 1:
BAB 1. LOGIKA MATEMATIK 1.1 PROPOSISI Definisi: [Proposisi]
Matematika Diskrit Logika Matematika Heru Nugroho, S.Si., M.T.
Pertemuan ke 1.
Inferensi Penarikan kesimpulan dari beberapa proposisi Kaidah :
DASAR LOGIKA MATEMATIKA
LOGIKA Logika mempelajari hubungan antar pernyataan-pernyataan yang berupa kalimat-kalimat atau rumus-rumus, sehingga dapat menentukan apakah suatu pernyataan.
Matematika Informatika 2
LOGIKA STRUKTUR DISKRIT K-2 Program Studi Teknik Komputer
Matematika Diskrit Logika.
Matematika Diskrit Bab 1-logika.
Logika (logic).
Logical Connectives – Penghubung Logika / Operator Logika
PENALARAN MATEMATIKA OLEH KELOMPOK 1 Nama:
Pertemuan # 2 Logika dan Pembuktian
Logika Semester Ganjil TA
BAB 2 LOGIKA
Proposisi.
PROPOSITION AND NOT PROPOSITION
DASAR-DASAR MATEMATIKA DAN SAINS
LOGIKA PROPOSISI (Logika Pernyataan).
IMPLIKASI (Proposisi Bersyarat)
LOGIKA MATEMATIKA Disusun oleh : Risti Istiyani A
MATEMATIKA DISKRIT LOGIKA MATEMATIKA.
Matematika diskrit Kuliah 1
Matematika diskrit Logika Proposisi
PERNYATAAN ATAU PROPORSI
Matematika Diskrit Iva Atyna
LOGIKA MATEMATIKA Pertemuan II.
Agiska Ria Supriyatna, S.Si, MTI
Logika (logic).
Oleh : Cipta Wahyudi, S.Kom, M.Eng, M.Si
Learning Outcomes Mahasiswa dapat menjelaskan definisi aljabar boole dan hukum-hukum aljabar boole,duality dan contoh pemakaian aljabar boole. Bina Nusantara.
Core Jurusan Teknik Informatika Kode MK/SKS : TIF /2
1.1 Proposisi & Proposisi Majemuk
MATEMATIKA KOMPUTASI LOGIKA MATEMATIKA.
Proposisi Sri Nurhayati.
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.
Matematika Diskrit TIF (4 sks).
TOPIK 1 LOGIKA.
BAB 2 LOGIKA MATEMATIKA.
LOGIKA MATEMATIKA Logika matematika pada hakekatnya adalah suatu metode dalam komputasi menggunakan proposisi atau kalimat deklaratif. Kalimat deklaratif.
1 Logika Matematik. 2 Logika Logika merupakan dasar dari semua penalaran (reasoning). Penalaran didasarkan pada hubungan antara pernyataan (statements).
Materi Kuliah Matematika Diskrit
Modul Matematika Diskrit
LOGIKA MATEMATIKA.
BAB I DASAR-DASAR LOGIKA
Transcript presentasi:

Bina Nusantara Logika Proposisi Pertemuan 1: Matakuliah:K0144/Matematika Diskrit Tahun:2008

Bina Nusantara Learning Outcomes Mahasiswa dapat menyebutkan tentang logika proposisi, operator dan sifat-sifat proposisi.

Bina Nusantara Outline Materi: Pendahuluan Logika Proposisi Operator Contoh

Bina Nusantara Pernyataan yang benar pernyataan yang salah pernyataan Bukan pernyataan (termasukkalimat terbuka) kalimat bukan kalimat rangkaian kata

Bina Nusantara Logika Proposisi Pernyataan = suatu kalimat yang mempunyai arti. Ditulis dengan huruf Besar/kecil,mulai dari P,Q,r,s…. Nilai pernyataan True/T/1/+ atau False/F/0/- Contoh : Indonesia adalah suatu negara 4 adalah bilangan Prima, 3+3 = 6 X + Y > 4 (bukan pernyataan) Pernyataan Gabungan (compound statement): pernyataan yg memiliki subpernyataan yang memiliki operator and, or atau not..

Bina Nusantara Konjungsi (and) pernyataan konjungsi benar, bila kedua pernyataan bagian juga benar(true) Contoh –Paris berada di Prancis dan 2+2=4 –Dua adalah bilangan prima dan bilangan genap –Paris berada di Inggris dan 2+2=5

Bina Nusantara Disjungsi (or) Pernyataan disjungsi benar, bilamana salah satu dari bagian pernyataan tersebut benar Contoh –Paris berada di Inggris atau 2+2=4 –Paris berada di Perancis atau 2+2=5 –Tiga faktor dari 49 atau habis dibagi tiga

Bina Nusantara Negasi (not, ~p) pernyataan lain yang bukan menyatakan pernyataan itu Contoh –Paris berada di Perancis ---> Paris tidak berada di Perancis –Empat adalah bilangan kuadrat ---> Tidak benar empat adalah bilanga kuadrat

Bina Nusantara Implikasi (=>) Pernyataan P=>Q disebut P hanya jika Q, atau P implikasi Q pernyataan implikasi salah, bila pernyataan bagian pertama benar yang kedua salah, selain itu bernilai benar Contoh –P=jeruk manis ungu, Q=tanah tdk datar, maka –P=>Q : Jika jeruk manis ungu maka tanah tidak datar –Jika 2 bil.genap maka 3 bil.ganjil

Bina Nusantara Ekuivalensi ( ) Pernyataan P Q disebut P jika hanya jika Q pernyataan ekuivalensi benar, bila kedua pernyataan bagian sama-sama bernilai benar atau sama-sama bernilai salah Contoh –Air hujan ada jika dan hanya jika hujan turun –Dua garis sejajar jika dan hanya jika berada di satu bidang dan tak berpotongan –Suatu segitiga sama sisi jika dan hanya jika memiliki tiga sisi yg sama panjang.

Bina Nusantara Exclusive OR(ExOR) P exclusive or Q. pernyataan ini benar, bila salah satu dari P atau Q bernilai benar T T = F, T F = T, F T = T, F F = F Contoh –pengatur lampu lalu lintas jalan raya

Bina Nusantara Not OR (NOR) NOR, pernyataan kombinasi dari not dan or Sering disebut Joint Deniel P NOR Q dibaca “Neither P Nor Q Nilai kebenarannya true, bila kedua pernyataan bagiannya bernilai salah/false Contoh –flip flop

Bina Nusantara Proposisi & Tabel Kebenaran Proposisi adalah suatu pernyataan gabungan p,q,.. Merupakan variabel, maka proposisi adalah P(p,q,r…) Nilai kebenarannya diketahui, bila kebenaran variabelnya diketahui Umumnya dibuat dalam tabel kebenaran Contoh ~(p^~q);

Bina Nusantara Contoh Tabel Kebenaran Untuk menyatakan ~(p^~q) adalah: p q ~q p ^~ q ~(p^~q)

Bina Nusantara Tautologi, Kontradiksi & Kontingensi Tautologi, proposisi yg memuat nilai true untuk variabel hasilnya/kolom terakhir – pv~p Kontradiksi, proposisi yg memuat nilai false untuk variabel hasilnya/kolom terakhir – p ^ ~p Kontingensi, proposisi yg memuat campuran dari true dan false utk kolom hasilnya/kolom terakhir – ~p^q

Bina Nusantara Kesamaan Logika (Logical equivalence) Dua proposisi yang memiliki nilai tabel kebenaran yang sama Contoh – ~ (p ^ q) = ~p v ~q – (p v q) ^ q = (p ^ q) v q – (~p v q) ^ p = p ^ q – (p ^ q) v r = (p v r) ^ (q v r)

Bina Nusantara