LOGIKA Viska Armalina ST., M.Eng.

Slides:



Advertisements
Presentasi serupa
Fakultas Ilmu Komputer, Universitas Narotama
Advertisements

Pengantar Logika Proposional
LOGIKA - 2 Viska Armalina, ST.,M.Eng.
Pertemuan 3 Viska armalina, st.,m.eng
Materi Kuliah IF2091 Struktur Diskrit
LOGIKA - 3 Viska Armalina, ST., M.Eng.
PERNYATAAN ATAU PROPORSI
Tabel Kebenaran LOGIKA INFORMATIKA Program Studi TEKNIK INFORMATIKA
Kuliah matematika diskrit Program Studi Teknik Elektro
LOGIKA LOGIKA LOGIKA.
MATEMATIKA DISKRIT. MATEMATIKA DISKRIT MATEMATIKA DISKRIT ADALAH CABANG MATEMATIKA YANG MEMPELAJARI OBJEK-OBJEK DISKRIT OBJEK DISKRIT ADALAH SEJUMLAH.
BY : NI WAYAN SUARDIATI PUTRI, m.pd
Mata Kuliah Logika Informatika 3 SKS Bab II : Proposisi.
MATEMATIKA DISKRIT By DIEN NOVITA.
Logika (logic).
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.
LOGIKA.
MATEMATIKA DISKRIT MATEMATIKA DISKRIT ADALAH CABANG MATEMATIKA YANG MEMPELAJARI OBJEK-OBJEK DISKRIT OBJEK DISKRIT ADALAH SEJUMLAH BERHINGGA ELEMEN-ELEMEN.
LOGIKA Purbandini, S.Si, M.Kom.
Matematika Diskrit Oleh Ir. Dra. Wartini.
Matematika Diskrit Logika Matematika Heru Nugroho, S.Si., M.T.
Pertemuan ke 1.
BAB 1 Logika Pengantar Logika
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).
Mata Kuliah Logika Informatika Teknik Informatika SKS
Pertemuan # 2 Logika dan Pembuktian
DU.116 Lise Sri Andar Muni Teknik Informatika STT Wastu Kencana 2013
Logika Semester Ganjil TA
BAB 2 LOGIKA
Proposisi.
DASAR-DASAR MATEMATIKA DAN SAINS
LOGIKA PROPOSISI (Logika Pernyataan).
MATEMATIKA DISKRIT LOGIKA MATEMATIKA.
MATERI 1 PERNYATAAN PENGHUBUNG PERNYATAAN
Matematika diskrit Kuliah 1
Oleh : Devie Rosa Anamisa
Matematika diskrit Logika Proposisi
PERNYATAAN ATAU PROPORSI
Matematika Diskrit Iva Atyna
PRESENTASI PERKULIAHAN
Agiska Ria Supriyatna, S.Si, MTI
Logika (logic).
Oleh : Cipta Wahyudi, S.Kom, M.Eng, M.Si
Dasar dasar Matematika
Materi Kuliah TIN2204 Struktur Diskrit
Adalah cabang dari matematika yang mengkaji objek-objek diskrit.
1.1 Proposisi & Proposisi Majemuk
MATEMATIKA KOMPUTASI LOGIKA MATEMATIKA.
Proposisi Sri Nurhayati.
Grace Lusiana Beeh, S. Kom.
Matematika Diskrit Logika Matematika Dani Suandi,S.Si.,M.Si.
Logika, Proposisi dan Pernyataan
Tabel Kebenaran Dan Proposisi Majemuk
Pengantar Logika PROPOSISI
BAB 2 LOGIKA MATEMATIKA.
LoGiKa InFoRmAtIkA Asrul Sani, ST. M.Kom MT Asrul Sani, ST M.Kom MT - Logika Informatika.
Materi Kuliah IF2091 Struktur Diskrit
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
BAB I DASAR-DASAR LOGIKA
Transcript presentasi:

LOGIKA Viska Armalina ST., M.Eng

Apa itu LOGIKA?? Merupakan studi penalaran (reasoning) Fokus pada hubungan antara pernyataan-pernyataan yang dipertentangkan dengan isi pernyataan tertentu. Contoh argumen berikut : Semua pengendara sepeda motor memakai helm Setiap orang yang memakai helm adalah mahasiswa Jadi, semua pengendara sepeda motor adalah mahasiswa

Di dalam matematika, logika digunakan untuk : - membuktikan teorema - menspesifikasikan makna dari pernyataan matematis - membantu membedakan antara argumen yang valid dan tidak valid Di dalam ilmu komputer, logika digunakan untuk membuktikan bahwa program-program berjalan seperti yang diharapkan.

PROPOSISI Proposisi adalah kalimat deklaratif yang bernilai benar (true) atau salah (false), tetapi tidak dapat sekaligus keduanya. Kebenaran atau kesalahan dari sebuah kalimat disebut “nilai kebenarannya” (truth value). Proposisi selalu dinyatakan dalam kalimat berita, BUKAN sebagai kalimat tanya maupun kalimat perintah. Proposisi merupakan bangunan dasar dari teori logika.

Contoh Proposisi (1) 6 adalah bilangan genap. Soekarno adalah Presiden Indonesia yang pertama. 2 + 2 = 4 Ibukota Provinsi Jawa Barat adalah Semarang. 13 ≥ 20 Kemarin hari hujan. Suhu di permukaan laut adalah 21°C. Pemuda itu tinggi. Kehidupan hanya ada di planet Bumi.

Penjelasan Contoh Semuanya merupaka proposisi. Proposisi a, b, c  benar Proposisi d, e  salah Proposisi f, g, h, i  tidak dapat langsung ditetapkan kebenarannya, namun proposisi-proposisi tersebut tidak mungkin benar dan salah sekaligus.  kita bisa menetapkan nilai proposisi tersebut benar/salah.

Contoh Proposisi (2) j. Untuk sembarang bilangan bulat n ≥ 0, maka 2n adalah bilangan genap. - kalimat tersebut merupakan cara lain untuk menyatakan bilangan genap. x + y = y + x untuk setiap x dan y bilangan riil Dalam hal ini, x dan y tidak perlu diberi suatu nilai karena proposisi tersebut pasti benar untuk x dan y berapapun itu.

Contoh Kalimat Yang BUKAN Proposisi Jam berapa pesawat Garuda dari Jakarta sampai di Balikpapan? Serahkan uangmu sekarang! x + 5 = 9 x ˃ 4

Secara simbolik , proposisi dilambangkan dengan huruf kecil, seperti p, q, dan r. Contoh : p : 6 adalah bilangan genap mendefinisikan p sebagai proposisi “6 adalah bilangan genap” q : Soekarno adalah Presiden Indonesia yang pertama mendefinisikan q sebagai proposisi “Soekarno adalah Presiden Indonesia yang pertama”

Mengkombinasikan Proposisi

Operator logika dasar yang digunakan adalah : a. dan (and) Kita dapat membentuk proposisi baru dengan cara mengkombinasikan satu atau lebih proposisi. Operator yang digunakan untuk mengkombinasikan proposisi disebut Operator Logika. Operator logika dasar yang digunakan adalah : a. dan (and) b. atau (or) c. Tidak (not) Proposisi bar yang diperoleh dari hasil kombinasi proposisi- proposisi disebut Proposisi Majemuk. Proposisi yang bukan merupakan kombinasi proposisi lain disebut Proposisi Atomik. Operator Biner Operator Uner

Proposisi Majemuk Proposisi majemuk ada 3 macam a. Konjungsi (disjunction) b. Disjungsi (conjunction) c. Ingkaran (negation) Misalnya p dan q adalah proposisi. Konjungsi p dan q, dinyatakan dengan , adalah proposisi dari p dan q. Disjungsi p dan q, dinyatakan dengan , adalah proposisi dari p atau q. Ingkaran dari p, dinyatan dengan ̴ p , adalah proposisi dari tidak p.

Contoh Proposisi Majemuk dan Notasi Simboliknya (1) Diketahui proposisi-propisisi sebagai berikut : p : Hari ini hujan q : Murid-murid diliburkan dari sekolah Maka… : Hari ini hujan dan murid-murid diliburkan dari sekolah : Hari ini hujan atau murid-murid diliburkan dari sekolah ~p : Tidak benar hari ini hujan (atau bisa juga ditulis Hari ini tidak hujan)

Contoh Proposisi Majemuk dan Notasi Simboliknya (2) Ekspresi proposisi majemuk dalam notasi simbolik disebut juga “Ekspresi Logika”. Contoh : Diketahui proposisi-proposisi berikut: p : Pemuda itu tinggi q : Pemuda itu tampan

Nyatakan proposisi berikut (asumsikan “Pemuda itu pendek” berarti “Pemuda itu tidak tinggi” ke dalam ekspresi logika (notasi simbolik): Pemuda itu tinggi dan tampan Pemuda itu tinggi tapi tidak tampan Pemuda itu tidak tinggi maupun tidak tampan Tidak benar bahwa pemuda itu pendek atau tidak tampan Pemuda itu tinggi, atau pendek dan tampan Tidak benar bahwa pemuda itu pendek maupun tampan.

Penyelesaian : p ^ q P ^ ~ q  kata tetapi bisa bermakna sama dengan “dan” ~ p ^ ~ q ~ (~ p v ~ q) p v ( ~ p ^ q) ~ ( ~ p ^ ~ q)

Soal Diketahui proposisi-proposisi berikut : p : Hari ini hujan q : Hari ini dingin Pertanyaan : a. Buatlah proposisi majemuk dari : p ^ q ; p v q ; ~ p b. Nyatakan proposisi berikut ke dalam notasi simbolik 1. Hari ini dingin atau hari ini tidak hujan 2. Hari ini tidak hujan dan hari ini tidak dingin 3. Tidak benar hari ini tidak hujan