BAB 4 PROPOSISI MAJEMUK

Ukuran: px
Mulai penontonan dengan halaman:

Download "BAB 4 PROPOSISI MAJEMUK"

Transkripsi

1 BAB 4 PROPOSISI MAJEMUK 1. Pendahuluan Perangkai logika digunakan untuk mengkombinasikan proposisi-proposisi atomik menjadi proposisi majemuk. Untuk menghindari kesalahan tafsir akibat adanya ambiguitas satu orang dengan lainnya, proposisi majemuk yang akan dikerjakan lebih dulu akan diberi tanda kurung sehingga proposisi-proposisi dengan perangkai-perangkai yang berada di dalam tanda kurung disebut fully parenthesized ekspression (fpe). Proposisi majemuk yang sangat rumit dapat dipecah-pecah menjadi subekspresisubekspresi. Subekspresi menjadi subekspresi dan seterusnya tergantung dari tingkat kerumitannya. Teknik ini dinamakan parsing. Tetapi, mungkin saja proposisi majemuk tidak memiliki tanda kurung. Karena itu, urutan proses pengerjaannyaharus ditentukan terlebih dahuludan harus ada ketentuan yang mengatur pengurutan tersebut. 2. Ekspresi logika Ekspresi logika merupakan istilah lain logika proposisional. Ekspresi logika sebenarnya adalah proposisi-proposisi yang dibangun dengan variabel- variabel logika yang berasal dari pernyataan atau argumen Variabel logika berupa huruf-huruf tertentu yang dirangkai dengan perangkai/operator logika dapat dinamakan ekspresi logika atau formula Setiap ekspresi logika dapat bersifat atomik atau majemuk, tergantung dari variabel proposisional yang membentuknya bersama perangkai/operator yang relevan Seperti dijelaskan di atas, proposisi majemuk dapat menyebabkan terjadinya ambiguitas, atau kesalahan penafsiran jika tidak dengan tepat meletakkan tanda kurung pada tempatnya yang benar. Contoh: Jika Dewi belajar, maka ia lulus ujian dan ia mendapat hadiah istimewa. Pernyataan di atas dapat diubah menjadi variabel proposisional: A = Dewi rajin belajar B = Dewi lulus ujian C = Dewi mendapat hadiah istimewa

2 Dalam bentuk ekspresi logika berubah menjadi: A B C Persoalannya adalah ada dua kemungkinan pengerjaan, yakni: ((A B) C) atau (A (B C)) Karena kedua kemungkinan tersebut dapat menghasilkan nilai kebenaran yang berbeda. Disinilah letak pentingnya ketepatan pemberian tanda kurung biasa sehingga menjadi suatu ekspresi logika yang fpe dan dengan tepat melakukan pengoperasian sesuai aturannya. Pada contoh di atas, ekspresi logika yang tepat adalah: A (B C) Hal ini disebabkan karena pernyataan Dewi lulus ujian dan Dewi mendapat hadiah istimewa merupakan akibat dari Dewi rajin belajar. Jika ekspresi logika ditulis ((A B) C), dapat dibaca pernyataan Dewi mendapatt hadiah istimewa tidak berhubungan dengan Dewi rajin belajar, yang menjadi akibat Dewi raji belajar hanya Dewi lulus ujian saja. 3. Skema Skema merupakan satu cara untuk menyederhanakan suatu proposisi majemuk yang rumit dengan memberi huruf tertentu untuk menggantikan satu subekspresi atau subsubekspresi. Misal, (A B) dapat diganti dengan P sedangkan (A B) diganti dengan Q. Maka P dan Q berisi variabel proposisional A dan B. P dan Q bukan variabel proposisional karena nilainya tergantung pada nilai A dan B. Contoh 1: P = (A B) dan Q = (A B), maka (P Q) = ((A B) (A B)) Hal hal yang perlu diperhatikan: 1. Ekspresi apa saja berbentuk (P) disebut negasi 2. Ekspresi apa saja berbentuk (P Q) disebut konjungsi 3. Ekspresi apa saja berbentuk (P Q) disebut disjungsi 4. Ekspresi apa saja berbentuk (P Q) disebut implikasi 5. Ekspresi apa saja berbentuk (P Q) disebut ekuivalensi (biconditional)

3 Maka contoh di atas disebut implikasi yang berisi konjungsi (A B) dan disjungsi (A B). Aturan yang harus diperhatikan: a) Semua ekspresi atomik adalah fpe. b) Jika P adalah fpe, demikian juga dengan P. c) Jika P dan Q adalah fpe, maka demikian juga dengan (P Q), (P Q), (P Q) dan (P Q) d) Tidak ada fpe lainnya. Ekspresi logika yang dijelaskan di atas disebut well-formed formulae (wff). Jadi, wff adalah fpe, demikian juga sebaliknya. Ekspresi logika disebut wff karena penulisannya dilakukan dengan benar. Contoh 2: A (B A B) A (B ( A B) Contoh di atas tidak menunjukkan wff atau fpe yang baik karena tanda kurung biasa tidak lengkap dan tidak ada perangkai pada dua proposisi majemuk yang berada pada tanda kurung. 4. Analisis proposisi majemuk Setiap fpe akan mengekspresikan proposisi majemuk. Proposisi majemuk mempunyai subproposisi, yang bisa berupa konjungsi, disjungsi dan sebagainya. 1. Jika Dewi lulus sarjana teknik informatika, maka orang tuanya akan senang dan dia dapat segera bekerja, tetapi jika dia tidak lulus, maka semua usahanya akan sia-sia Jika Dewi lulus sarjana teknik informatika, orang tuanya akan senang, dan dia dapat segera bekerja Jika Dewi lulus sarjana teknik informatika Orang tuanya akan senang, dan dia dapat segera bekerja Orang tuanya akan senang Dia dapat segera bekerja Jika dia tidak lulus, semua usahanya akan sia sia Dia tidak lulus Semua usahanya akan sia sia.

4 Teknik memisah misah atau memilah milah kalimat menjadi proposisi proposisi atomik disebut Parsing dan hasilnya dapat diujudkan dalam bentuk Parse Tree. Gambar 1 Parse Tree Parse tree mengubah proposisi majemuk menjadi fpe sebagai berikut: A = Dewi lulus sarjana teknik informatika B = Orangtua Dewi senang C = Dewi bekerja D = Usaha Dewi sia-sia Selanjutnya, pernyataan di atas yang berupa proposisi majemuk dapat dibuat fpe sebagai berikut: (A (B C)) (( A) E) 5. Aturan pengurutan Aturan pengurutan digunakan untuk memastikan proses pengerjaan subekspresi. Pada masalah perangkai, urutan atau hierarkinya berdasarkan pada hierarki tertinggi. Tabel 1 Hierarki Perangkai

5 Untuk perangkai/ operator yang memiliki hirarki yang sama maka digunakan aturan left associative, yaitu operator disebelah kiri akan didahulukan karena mempunyai hierarki yang lebih tinggi. Contoh: 1. ( A B) menjadi (( A ) B), bukan ( (A B) 2. A B C menjadi ((A B) C), bukan (A (B C)) 3. A B C menjadi A (B C) bukan (A B) C 4. A B C menjadi (A (B C)), bukan ((A B) C) Tanda kurung yang terlalu banyak disebut redundansi. Jika ada tanda kurung yang sebenarnya tidak diperlukan, bahkan kadang-kadang membuat salah tafsir. Tanda kurung yang tidak diperlukan harus dikurangi untuk menyederhanakannya, tetapi dengan tidak mengubah operasi terhadap bentuk logikatersebut, dan membuat bentuk logika lebih mudah ditafsirkan. Contoh: A B C Manakah yang harus dikerjakan terlebih dahulu? Aturan pengurutan akan menyebutkan jika hierarkinya sama, maka dilaksanakan mulai dari yang kiri. Jadi harus dibaca: (A B) C, bukan A (B C). Latihan soal 1. Ubahlah pernyataan-pernyataan berikut menjadi ekspresi logika berupa proposisi majemuk: a. Jika tikus itu waspada dan bergerak cepat, maka kucing atau anjing itu tidak mampu menangkapnya. b. Jika saya tidak keliru, Dewi sudah diwisuda dan pacarnya atau orang tuanya berada disampingnya c. Bowo membeli saham dan membeli properti untuk investasinya, atau dia dapat menanamkan uang di deposito bank dan menerima bunga uang.

6 2. Dengan menggunakan: A : Hari ini adalah hari Sabtu B : Hujan turun C : Hari ini panas Ubahlah ekspresi logika berikut menjadi sebuah pernyataan dalam bahasa indonesia: a. A B b. (A B) (C A) c. (A B) ( A C) d. (A B) C e. A ( B C) 3. Tentukan prioritas ekspresi logika berikut ini dan buat tabel kebenarannya. a. A B b. A B C c. A B C d. A B C e. A B C B C 4. Jika nilai A dan B adalah T, sedangkan C dan D adalah F, carilah nilai kebenaran dari ekspresi-ekspresi logika berikut: a. A (B C) b. (A B) C c. ((A B) C) ((A B) (B D)) d. ( (A B) C) ((( A B) D) C) e. (A C) ( B D)

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

LOGIKA Ponco Wali Pranoto PTI FT UNY create: Ratna W. LOGIKA Materi Perkuliahan Konsep Proposisi Majemuk Manfaat Skema Parsing Precedence Rules Tautologi, Kontradiksi dan Contingen Ekspresi Logika (1) Ekspresi Logika adalah proposisi-proposisi yang dibangun

Lebih terperinci

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

LOGIKA. Ratna Wardani Pendidikan Teknik Informatika. 10/28/2008> Pertemuan-1-2 1 LOGIKA Ratna Wardani Pendidikan Teknik Informatika 10/28/2008> Pertemuan-1-2 1 Materi Perkuliahan Konsep Proposisi Majemuk Manfaat Skema Parsing Precedence Rules Tautologi, Kontradiksi dan Contingen 10/28/2008>

Lebih terperinci

Perangkai logika / operator digunakan untuk mengkombinasikan proposisi-proposisi atomik menjadi proposisi majemuk. Untuk menghindari kesalahan tafsir

Perangkai logika / operator digunakan untuk mengkombinasikan proposisi-proposisi atomik menjadi proposisi majemuk. Untuk menghindari kesalahan tafsir PROPOSISI MAJEMUK Perangkai logika / operator digunakan untuk mengkombinasikan proposisi-proposisi atomik menjadi proposisi majemuk. Untuk menghindari kesalahan tafsir akibat adanya ambiguitas (ambiguity),

Lebih terperinci

PROPOSISI MAJEMUK. dadang mulyana

PROPOSISI MAJEMUK. dadang mulyana PROPOSISI MAJEMUK Perangkai logika digunakan untuk mengkombinasikan proposisi-proposisi atomik jadi proposisi majemuk Jangan ada ambiguitas (slah tafsir) Harus ada tanda kurung yang tepat Proposisi-proposisi

Lebih terperinci

Kalkulus Proposisi. Author-IKN. MUG2B3/ Logika Matematika

Kalkulus Proposisi. Author-IKN. MUG2B3/ Logika Matematika Kalkulus Proposisi Author-IKN 1 10/30/2015 Pengantar Logika Proposisional Proposisi Pernyataan yang hanya memiliki satu nilai benar atau salah. Terdiri dari proposisi atomik dan majemuk. Contoh proposisi

Lebih terperinci

BAB 5 TAUTOLOGI. 1. Pendahuluan. 2. Evaluasi validitas argumen

BAB 5 TAUTOLOGI. 1. Pendahuluan. 2. Evaluasi validitas argumen BAB 5 TAUTOLOGI 1. Pendahuluan Mengubah suatu argumen atau pernyataan-pernyataan menjadi suatu ekspresi logika, tentunya harus mengenali sub-subekspresinya. Salah satunya dengan membentuk Parse Tree yang

Lebih terperinci

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

Teknik Informatika POLITEKNIK NEGERI TANAH LAUT BY: VJ REFERENSI: UNIV TRUNOJOYO & PTIIK Teknik Informatika POLITEKNIK NEGERI TANAH LAUT BY: VJ REFERENSI: UNIV TRUNOJOYO & PTIIK Fika Hastarita R - UTM 2012 Pengenalan Informal Penghubung Logis (Operator, Functor) Tabel Kebenaran dp Formula.

Lebih terperinci

BAB 3 TABEL KEBENARAN

BAB 3 TABEL KEBENARAN BAB 3 TABEL KEBENARAN 1. Pendahuluan Logika adalah ilmu tentang penalaran (reasoning). Penalaran berarti mencari bukti validitas dari suatu argumen, mencari konsistensi dan pernyataan-pernyataan, dan membahas

Lebih terperinci

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

LOGIKA PROPOSISI 3.1 Proposisi logika proposisional. Contoh : tautologi yaitu proposisi-proposisi yang nilainya selalu benar. Contoh 3. LOGIKA PROPOSISI 3.1 Proposisi Proposisi adalah suatu pernyataan yang bernilai benar atau salah, tetapi tidak dapat sekaligus keduanya. Kebenaran atau kesalahan dari sebuah kalimat disebut nilai kebenarannya.

Lebih terperinci

MODUL 3 OPERATOR LOGIKA

MODUL 3 OPERATOR LOGIKA STMIK STIKOM BALIKPAPAN 1 MODUL 3 OPERATOR LOGIKA 1. TEMA DAN TUJUAN KEGIATAN PEMBELAJARAN 1. Tema : Operator Logika 2. Fokus Pembahasan Materi Pokok : 1. Operator Logika Konjungsi 2. Operator Logika Disjungsi

Lebih terperinci

IMPLEMENTASI STRATEGI PERLAWANAN UNTUK PEMBUKTIAN VALIDITAS ARGUMEN DENGAN METODE REDUCTIO AD ABSURDUM

IMPLEMENTASI STRATEGI PERLAWANAN UNTUK PEMBUKTIAN VALIDITAS ARGUMEN DENGAN METODE REDUCTIO AD ABSURDUM IMPLEMENTASI STRATEGI PERLAWANAN UNTUK PEMBUKTIAN VALIDITAS ARGUMEN DENGAN METODE REDUCTIO AD ABSURDUM Abstrak Pembuktian validitas argumen dengan menggunakan tabel kebenaran memerlukan baris dan kolom

Lebih terperinci

Definisi 2.1. : Sebuah pernyataan yang bernilai benar atau salah disebut dengan proposisi (proposition)

Definisi 2.1. : Sebuah pernyataan yang bernilai benar atau salah disebut dengan proposisi (proposition) Bab II Kalkulus Proposisi Bab pertama ini menyampaikan sejumlah argumen logika. Semua argumen logika meliputi proposisi proposisi atomik (atomic proposition), yang tidak dapat dibagi lagi. Proposisi atomik

Lebih terperinci

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

Logika Proposisi. Pertemuan 2 (Chapter 10 Schaum, Set Theory) (Chapter 3/4 Schaum, Theory Logic) Logika Proposisi Pertemuan 2 (Chapter 10 Schaum, Set Theory) (Chapter 3/4 Schaum, Theory Logic) Logika Proposisional Tujuan pembicaraan kali ini adalah untuk menampilkan suatu bahasa daripada kalimat abstrak

Lebih terperinci

BAB 2 PENGANTAR LOGIKA PROPOSISIONAL

BAB 2 PENGANTAR LOGIKA PROPOSISIONAL BAB 2 PENGANTAR LOGIKA PROPOSISIONAL 1. Pendahuluan Dilihat dari bentuk struktur kalimatnya, suatu pernyataan akan memiliki bentuk susunan minimal terdiri dari subjek diikuti predikat kemudian dapat diikuti

Lebih terperinci

BAB 6 EKUIVALENSI LOGIS

BAB 6 EKUIVALENSI LOGIS BAB 6 EKUIVALENSI LOGIS 1. Pendahuluan Bab ini akan membahas persamaan-persamaan antara dua buah ekspresi logika yang mungkin ekuivalen (sama), mungkin berbeda, yang kesamaan atau perbedaan tadi akan dibuktikan

Lebih terperinci

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

KONSEP DASAR LOGIKA MATEMATIKA. Riri Irawati, M.Kom Logika Matematika - 3 sks KONSEP DASAR LOGIKA MATEMATIKA Riri Irawati, M.Kom Logika Matematika - 3 sks Agenda 2 Pengantar Logika Kalimat pernyataan (deklaratif) Jenis-jenis pernyataan Nilai kebenaran Variabel dan konstanta Kalimat

Lebih terperinci

PERANAN DOMAIN PENAFSIRAN DALAM MENENTUKAN JENIS KUANTOR 1)

PERANAN DOMAIN PENAFSIRAN DALAM MENENTUKAN JENIS KUANTOR 1) PERANAN DOMAIN PENAFSIRAN DALAM MENENTUKAN JENIS KUANTOR 1) Septilia Arfida 2) Jurusan Teknik Informatika, Informatics & Business Institute Darmajaya Jl. Z.A Pagar Alam No.93 Bandar Lampung Indonesia 35142Telp:

Lebih terperinci

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

Silogisme Hipotesis Ekspresi Jika A maka B. Jika B maka C. Diperoleh, jika A maka C MSH1B3 Logika Matematika Dosen: Aniq A Rohmawati, M.Si Kalkulus Proposisi [Definisi] Metode yang digunakan untuk meninjau nilai kebenaran suatu proposisi atau kalimat Jika Anda belajar di Tel-U maka Anda

Lebih terperinci

Berdasarkan tabel 1 diperoleh bahwa p q = q p.

Berdasarkan tabel 1 diperoleh bahwa p q = q p. PEMAHAAN 1. Pengertian Kata LOGIKA mengacu pada suatu metode atau cara yang sistematis dalam berpikir (reasoning), dan terdapat dua sistem khusus yaitu : suatu metode dasar yang disebut dengan Kalkulus

Lebih terperinci

BAN 10 BENTUK NORMAL

BAN 10 BENTUK NORMAL BAN 10 BENTUK NORMAL 1. Pendahuluan Ekspresi logika mempunyai berbagai bentuk, mulai dari yang rumit sampai dengan yang sederhana. Bentuk yang rumit adalah bentuk dengan banyak jenis perangkai, variabel

Lebih terperinci

PENGENALAN LOGIKA MATEMATIKA

PENGENALAN LOGIKA MATEMATIKA LOGIKA MATEMATIKA By Faradillah dillafarrahakim@gmail.com Sumber : Logika Matematika untuk Ilmu Komputer, F. Soesianto dan Djoni Dwijono, Penerbit Andi ofset PENGENALAN LOGIKA MATEMATIKA Pendahuluan Logika

Lebih terperinci

PERNYATAAN (PROPOSISI)

PERNYATAAN (PROPOSISI) Logika Gambaran Umum Logika : - Logika Pernyataan membicarakan tentang pernyataan tunggal dan kata hubungnya sehingga didapat kalimat majemuk yang berupa kalimat deklaratif. - Logika Predikat menelaah

Lebih terperinci

BAB I PENDAHULUAN. 1.1 Latar Belakang

BAB I PENDAHULUAN. 1.1 Latar Belakang BAB I PENDAHULUAN 1.1 Latar Belakang Proposisi adalah pernyataan yang dapat ditentukan nilai kebenarannya, bernilai benar atau salah tetapi tidak keduanya. Sedangkan, Kalkulus Proposisi (Propositional

Lebih terperinci

RANCANG BANGUN PERANGKAT LUNAK ALAT BANTU AJAR KALKULUS PROPOSISI MENGGUNAKAN METODE PARSING

RANCANG BANGUN PERANGKAT LUNAK ALAT BANTU AJAR KALKULUS PROPOSISI MENGGUNAKAN METODE PARSING IN : 2302-3805 eminar Nasional Teknologi Informasi dan Multimedia 2015 TMIK AMIKOM Yogyakarta, 6-8 Februari 2015 RANCANG ANGUN PERANGKAT LUNAK ALAT ANTU AJAR KALKULU PROPOII MENGGUNAKAN METODE PARING ustami

Lebih terperinci

BAB III ANALISIS DAN PERANCANGAN

BAB III ANALISIS DAN PERANCANGAN A III ANALII DAN PERANCANGAN 3.1 Analisis Analisis adalah suatu kegiatan penelitian atau kajian yang dimulai dari proses awal didalam mempelajari serta mengevaluasi suatu bentuk permasalahan (case) yang

Lebih terperinci

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

LOGIKA. Ratna Wardani Pendidikan Teknik Informatika. 2 September 2007 Pertemuan-1-2 1 LOGIKA Ratna Wardani Pendidikan Teknik Informatika 2 September 2007 Pertemuan-1-2 1 Materi Perkuliahan Logical Connectives Tabel Kebenaran 2 September 2007 Pertemuan-1-2 2 Arti Kalimat Arti kalimat = nilai

Lebih terperinci

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

SINTAKS DAN SEMANTIK PADA LOGIKA PROPOSISI. Matematika Logika Semester Ganjil 2011/2012 SINTAKS DAN SEMANTIK PADA LOGIKA PROPOSISI Matematika Logika Semester Ganjil 2011/2012 PROPOSISI Proposisi atau kalimat dalam logika proposisi bisa berupa Atom/kalimat sederhana Kalimat kompleks, komposisi

Lebih terperinci

BAB III ANALISIS DAN PERANCANGAN

BAB III ANALISIS DAN PERANCANGAN BAB III ANALISIS DAN PERANCANGAN 3.1 Analisis Analisis atau bisa juga disebut dengan Analisis sistem (systems analysis) dapat didefinisikan sebagai penguraian dari suatu sistem informasi yang utuh ke dalam

Lebih terperinci

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

Logika hanya berhubngan dengan bentukbentuk logika dari argumen-argumen, serta penarikan kesimpulan tentang validitas dari argumen tersebut. TABEL KEBENARAN Logika hanya berhubngan dengan bentukbentuk logika dari argumen-argumen, serta penarikan kesimpulan tentang validitas dari argumen tersebut. Logika tidak mempermasalahkan arti sebenarnya

Lebih terperinci

BAB I DASAR-DASAR LOGIKA

BAB I DASAR-DASAR LOGIKA BAB I DASAR-DASAR LOGIKA 11 Pendahuluan Logika adalah suatu displin yang berhubungan dengan metode berpikir Pada tingkat dasar, logika memberikan aturan-aturan dan teknik-teknik untuk menentukan apakah

Lebih terperinci

Logika Proposisi 1: Motivasi Pohon Urai (Parse Tree)

Logika Proposisi 1: Motivasi Pohon Urai (Parse Tree) Logika Proposisi 1: Motivasi Pohon Urai (Parse Tree) Kuliah Logika Matematika Semester Ganjil 2015-2016 MZI Fakultas Informatika Telkom University FIF Tel-U Agustus 2015 MZI (FIF Tel-U) Logika Proposisi

Lebih terperinci

Suatu pernyataan akan memiliki bentuk susunan minimal terdiri dari subjek diikuti predikat, baru kemudian dapat diikuti objeknya.

Suatu pernyataan akan memiliki bentuk susunan minimal terdiri dari subjek diikuti predikat, baru kemudian dapat diikuti objeknya. 1 Suatu pernyataan akan memiliki bentuk susunan minimal terdiri dari subjek diikuti predikat, baru kemudian dapat diikuti objeknya. Setiap kalimat atau pernyataan tetap dapat dianggap satu buah proposisi.

Lebih terperinci

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

Logika. Apakah kesimpulan dari argumen di atas valid? Alat bantu untuk memahami argumen tsb adalah Logika Pengantar Logika 1 Logika Perhatikan argumen di bawah ini: Jika anda mahasiswa Informatika maka anda pasti belajar Bahasa Java. Jika anda tidak suka begadang maka anda bukan mahasiswa Informatika. Tetapi,

Lebih terperinci

MATEMATIKA DISKRIT LOGIKA

MATEMATIKA DISKRIT LOGIKA MATEMATIKA DISKRIT LOGIKA Logika Perhatikan argumen di bawah ini: Jika anda mahasiswa Informatika maka anda tidak sulit belajar Bahasa Java. Jika anda tidak suka begadang maka anda bukan mahasiswa Informatika.

Lebih terperinci

MODUL III TABEL KEBENARAN

MODUL III TABEL KEBENARAN MODUL III TABEL KEBENARAN A. Tujuan 1. Mahasiswa memahami operasi-operasi logika 2. Mahasiswa memahami nilai-nilai kebenaran operasi logika dengan menggunakan fungsi tabel kebenaran pada Maple. 3. Mahasiswa

Lebih terperinci

Matematika Industri I

Matematika Industri I LOGIKA MATEMATIKA TIP FTP - UB Pokok Bahasan Proposisi dan negasinya Nilai kebenaran dari proposisi Tautologi Ekuivalen Kontradiksi Kuantor Validitas pembuktian Pokok Bahasan Proposisi dan negasinya Nilai

Lebih terperinci

STMIK Banjarbaru LOGIKA PROPOSISIONAL. 9/24/2012 H. Fitriyadi & F. Soesianto

STMIK Banjarbaru LOGIKA PROPOSISIONAL. 9/24/2012 H. Fitriyadi & F. Soesianto 1 LOGIKA PROPOSISIONAL PENDAHULUAN STMIK Banjarbaru 2 Logika adalah pernyataan-pernyataan, yang berarti suatu kalimat yang memiliki arti tertentu dan memiliki nilai benar atau salah. Dilihat dari bentuk

Lebih terperinci

6. LOGIKA MATEMATIKA

6. LOGIKA MATEMATIKA 6. LOGIKA MATEMATIKA A. Negasi (Ingkaran) Negasi adalah pengingkaran terhadap nilai kebenaran suatu pernyataan. ~ p : tidak p p ~ p B S S B B. Operator Logika 1) Konjungsi adalah penggabungan dua pernyataan

Lebih terperinci

LOGIKA PROPOSISI. Bagian Keempat : Logika Proposisi

LOGIKA PROPOSISI. Bagian Keempat : Logika Proposisi LOGIKA PROPOSISI Bagian Keempat : Logika Proposisi ARI FADLI, S.T. Logika Proposisi Tujuan : Mahasiswa dapat menyebutkan tentang logika proposisi, operator dan sifat proposisi Proposisi Definisi : Setiap

Lebih terperinci

BAB 7 PENYEDERHANAAN

BAB 7 PENYEDERHANAAN BAB 7 PENYEDERHANAAN 1. Pendahuluan Bab ini membahaspenggunaan hukum-hukum logika pada operasi logika yang dinamakan penyederhaan (simplifying). Berbagai macam ekuivalensi dari berbagai ekpresi logika

Lebih terperinci

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

Logika Matematika Diskret (TKE132107) Program Studi Teknik Elektro, Unsoed Logika Matematika Diskret (TKE132107) Program Studi Teknik Elektro, Unsoed Iwan Setiawan Tahun Ajaran 2013/2014 Logika Klasik Matematika Diskret (TKE132107) - Program Studi Teknik

Lebih terperinci

PERTEMUAN Logika Matematika

PERTEMUAN Logika Matematika 1-1 PERTEMUAN 1 Nama Mata Kuliah : Matematika Diskrit ( 3 SKS) Nama Dosen Pengampu : Dr. Suparman E-mail : matdis@netcourrier.com HP : 081328201198 Judul Pokok Bahasan Tujuan Pembelajaran : 1. Logika Matematika

Lebih terperinci

LOGIKA INFORMATIKA. Bahan Ajar

LOGIKA INFORMATIKA. Bahan Ajar LOGIKA INFORMATIKA Bahan Ajar Digunakan sebagai salah satu bahan ajar mata kuliah Logika Informatika Oleh Achmad Fauzan TEKNIK INFORMATIKA POLITEKNIK HARAPAN BERSAMA TEGAL 2016 Bab 1 Pengantar Logika Proposisional

Lebih terperinci

BAB 9 TABLO SEMANTIK. 1. Pendahuluan. 2. Tablo semantik

BAB 9 TABLO SEMANTIK. 1. Pendahuluan. 2. Tablo semantik BB 9 TBLO SEMNTIK 1. Pendahuluan Tabel kebenaran sangat baik untuk menjelaskan dasar logika dan mudah dipahami. Kesulitan yang timbul adalahbanyaknya jumlah baris yang diperlukanjika variabel proposisionalyang

Lebih terperinci

REPRESENTASI PENGETAHUAN

REPRESENTASI PENGETAHUAN REPRESENTASI PENGETAHUAN Pengetahuan adalah fakta yang timbul karena keadaan (Sutojo, 2011) Contoh : Pengetahuan tentang penyakit, gejala-gejala dan pengobatannya. Pengetahuan tentang tanaman, jenis-jenis

Lebih terperinci

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

BAB I PENDAHULUAN. a. Apa sajakah hukum-hukum logika dalam matematika? b. Apa itu preposisi bersyarat? BAB I PENDAHULUAN 1.1 LATAR BELAKANG Secara etimologi, istilah Logika berasal dari bahasa Yunani, yaitu logos yang berarti kata, ucapan, pikiran secara utuh, atau bisa juga ilmu pengetahuan. Dalam arti

Lebih terperinci

PERTEMUAN 2 TABEL KEBENARAN DADANG MULYANA. TABEL KEBENARAN (TB) digunakan untuk menyajikan hubungan antara nilai kebenaran sejumlah proposisi.

PERTEMUAN 2 TABEL KEBENARAN DADANG MULYANA. TABEL KEBENARAN (TB) digunakan untuk menyajikan hubungan antara nilai kebenaran sejumlah proposisi. PEREMUAN 2 ABEL KEBENARAN DADANG MULYANA ABEL KEBENARAN (B) digunakan untuk menyajikan hubungan antara nilai kebenaran sejumlah proposisi. ABEL 1 : B untuk proposisi dan negasinya p p MASALAH LOGIKA 1

Lebih terperinci

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

LOGIKA (LOGIC) Logika merupakan dasar dari semua penalaran (reasoning). Penalaran didasarkan pada hubungan antara pernyataanpernyataan LOGIKA (LOGIC) Logika merupakan dasar dari semua penalaran (reasoning). Penalaran didasarkan pada hubungan antara pernyataanpernyataan (statements). Proposisi kalimat deklaratif yang bernilai benar (true)

Lebih terperinci

OPERATOR & UNGKAPAN. Contoh operator : a + b Simbol + merupakan operator untuk melakukan operasi penjumlahan dari kedua operandnya ( yaitu a dan b ).

OPERATOR & UNGKAPAN. Contoh operator : a + b Simbol + merupakan operator untuk melakukan operasi penjumlahan dari kedua operandnya ( yaitu a dan b ). OPERATOR & UNGKAPAN 3.1 PENGERTIAN OPERATOR DAN UNGKAPAN atau tanda operasi adalah suatu tanda atau simbol yang biasa dilibatkan dalam program untuk melakukan suatu operasi atau manipulasi. Operasi atau

Lebih terperinci

2.1. Definisi Logika Proposisi Logika proposisi Atomic proposition compound proposition

2.1. Definisi Logika Proposisi Logika proposisi Atomic proposition compound proposition 2. LOGIKA PROPOSISI 2.1. Definisi Logika Proposisi Logika proposisi adalah logika pernyataan majemuk yang disusun dari pernyataanpernyataan sederhana yang dihubungkan dengan penghubung Boolean (Boolean

Lebih terperinci

LOGIKA Pendidikan Teknik Informatika

LOGIKA Pendidikan Teknik Informatika LOGIKA Materi Perkuliahan Konsep Logika, Sejarah dan Peranannya Bentuk Formal Logika dan Kaidah-kaidah Dasarnya Logika Proposisi Bentuk Argumen dan validitasnya Variabel dan Konstanta proposional Logical

Lebih terperinci

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

LOGIKA. Ratna Wardani Pendidikan Teknik Informatika. 2 September 2007 Pertemuan-1-2 1 LOGIKA Ratna Wardani Pendidikan Teknik Informatika 2 September 2007 Pertemuan-1-2 1 Materi Perkuliahan Konsep Logika, Sejarah dan Peranannya Bentuk Formal Logika dan Kaidah-kaidah Dasarnya Logika Proposisi

Lebih terperinci

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

IT105 MATEMATIKA DISKRIT. Ramos Somya, S.Kom., M.Cs. IT105 MATEMATIKA DISKRIT Ramos Somya, S.Kom., M.Cs. TUJUAN Mahasiswa Memahami dan menguasai konsep dasar logika matematika Mahasiswa mempunyai daya nalar yang semakin tajam. POKOK BAHASAN Pernyataan dan

Lebih terperinci

LOGIKA. /Nurain Suryadinata, M.Pd

LOGIKA. /Nurain Suryadinata, M.Pd Nama Mata Kuliah Kode Mata Kuliah/SKS Program Studi Semester Dosen Pengampu : Matematika Diskrit : MAT-3615/ 3 sks : Pendidikan Matematika : VI (Enam) : Nego Linuhung, M.Pd /Nurain Suryadinata, M.Pd Referensi

Lebih terperinci

MATEMATIKA DISKRIT. Logika

MATEMATIKA DISKRIT. Logika MATEMATIKA DISKRIT Logika SILABUS KULIAH 1. Logika 2. Himpunan 3. Matriks, Relasi dan Fungsi 4. Induksi Matematika 5. Algoritma dan Bilangan Bulat 6. Aljabar Boolean 7. Graf 8. Pohon REFERENSI Rinaldi

Lebih terperinci

MULTIMEDIA PEMBELAJARAN LOGIKA INFORMATIKA PADA MATERI POKOK TABEL KEBENARAN

MULTIMEDIA PEMBELAJARAN LOGIKA INFORMATIKA PADA MATERI POKOK TABEL KEBENARAN MULTIMEDIA PEMBELAJARAN LOGIKA INFORMATIKA PADA MATERI POKOK TABEL KEBENARAN 1 Ardian M.N. (06018121), 2 Dewi Soyusiawaty (0530077601) 1,2 Program Studi Teknik Informatika Universitas Ahmad Dahlan Prof.

Lebih terperinci

MODUL PERKULIAHAN EDISI 1 MATEMATIKA DISKRIT

MODUL PERKULIAHAN EDISI 1 MATEMATIKA DISKRIT MODUL PERKULIAHAN EDISI 1 MATEMATIKA DISKRIT Penulis : Nelly Indriani Widiastuti S.Si., M.T. JURUSAN TEKNIK INFORMATIKA UNIVERSITAS KOMPUTER INDONESIA BANDUNG 2011 DAFTAR ISI Daftar Isi. 2 Bab 1 LOGIKA

Lebih terperinci

Pertemuan 2. Operator Logika Tabel Kebenaran

Pertemuan 2. Operator Logika Tabel Kebenaran Pertemuan 2 Operator Logika Tabel Kebenaran Operator Logika Dalam logika dikenal 5 buah penghubung imbol Arti entuk Tidak/Not/Negasi Tidak. Dan/And/Konjungsi..dan.. Atau/Or/Disjungsi atau. Implikasi Jika.maka.

Lebih terperinci

LOGIKA INFORMATIKA TIFS Seputar Pelaksanaan Perkuliahan Mata Kuliah Logika Informatika

LOGIKA INFORMATIKA TIFS Seputar Pelaksanaan Perkuliahan Mata Kuliah Logika Informatika LOGIKA INFORMATIKA TIFS 1604 Seputar Pelaksanaan Perkuliahan Mata Kuliah Logika Informatika Outline Deskripsi Mata Kuliah Materi kuliah Silabus Referensi Evaluasi Lain-lain Deskripsi Mata Kuliah Matakuliah

Lebih terperinci

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

TABEL KEBENARAN. Liduina Asih Primandari, S.Si.,M.Si. P a g e 8 P a g e 8 TABEL KEBENARAN A. Logika Proposisional dan Predikat Logika proposional adalah logika dasar yang harus dipahami programmer karena logika ini yang menjadi dasar dalam penentuan nilai kebenaran

Lebih terperinci

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

Matematika Komputasional. Pengantar Logika. Oleh: M. Ali Fauzi PTIIK - UB Matematika Komputasional Pengantar Logika Oleh: M. Ali Fauzi PTIIK - UB 1 Logika Perhatikan argumen di bawah ini: Jika anda mahasiswa Informatika maka anda pasti belajar Bahasa Java. Jika anda tidak suka

Lebih terperinci

BAB VI. LOGIKA MATEMATIKA

BAB VI. LOGIKA MATEMATIKA BAB VI. LOGIKA MATEMATIKA Ingkaran, Disjungsi, Konjungsi, Implikasi, Biimplikasi : Konvers, Invers, Kontraposisi : Tabel Kebenaran : p q ~ p ~ q p q p q p q p q B B S S B B B B B S S B B S S S S B B S

Lebih terperinci

LOGIKA MATEMATIKA Menuju TKD 2014

LOGIKA MATEMATIKA Menuju TKD 2014 LOGIKA MATEMATIKA Menuju TKD 2014 A. PERNYATAAN MAJEMUK Jenis-jenis pernyataan majemuk: 1. Konjungsi (^ = dan ) A: Hari ini Jowoki kampanye B: Hari ini Jowoki Umroh Konjungsi (A ^ B): Hari ini Jowoki kampanye

Lebih terperinci

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

PENGERTIAN. Proposisi Kalimat deklaratif yang bernilai benar (true) atau salah (false), tetapi tidak keduanya. Nama lain proposisi: kalimat terbuka. BAB 2 LOGIKA PENGERTIAN Logika Logika merupakan dasar dari semua penalaran (reasoning). Penalaran didasarkan pada hubungan antara proposisi atau pernyataan (statements). Proposisi Kalimat deklaratif yang

Lebih terperinci

DASAR-DASAR LOGIKA. Pertemuan 2 Matematika Diskrit

DASAR-DASAR LOGIKA. Pertemuan 2 Matematika Diskrit DASAR-DASAR LOGIKA Pertemuan 2 Matematika Diskrit 25-2-2013 Materi Pembelajaran 1. Kalimat Deklaratif 2. Penghubung kalimat 3. Tautologi dan Kontradiksi 4. Konvers, Invers, dan Kontraposisi 5. Inferensi

Lebih terperinci

REPRESENTASI PENGETAHUAN. Pertemuan 6 Diema Hernyka Satyareni, M. Kom

REPRESENTASI PENGETAHUAN. Pertemuan 6 Diema Hernyka Satyareni, M. Kom REPRESENTASI PENGETAHUAN Pertemuan 6 Diema Hernyka Satyareni, M. Kom KOMPETENSI DASAR Mahasiswa dapat merepresentasi pengetahuan dalam Sistem Intelegensia MATERI BAHASAN Logika Jaringan Semantik Frame

Lebih terperinci

4. LOGIKA MATEMATIKA

4. LOGIKA MATEMATIKA 4. LOGIKA MATEMATIKA A. Negasi (Ingkaran) Negasi adalah pengingkaran terhadap nilai kebenaran suatu pernyataan. ~ p : tidak p p ~ p B S S B B. Operator Logika 1) Konjungsi adalah penggabungan dua pernyataan

Lebih terperinci

MATEMATIKA DASAR (Ekivalensi dan Kuantifikasi)

MATEMATIKA DASAR (Ekivalensi dan Kuantifikasi) MATEMATIKA DASAR (Ekivalensi dan Kuantifikasi) Antonius Cahya Prihandoko Universitas Jember Indonesia Jember, 2015 Antonius Cahya Prihandoko (UNEJ) MDAS - Ekivalensi dan Kuantifikasi Jember, 2015 1 / 20

Lebih terperinci

BAB 2 : KALIMAT BERKUANTOR

BAB 2 : KALIMAT BERKUANTOR BAB 2 : KALIMAT BERKUANTOR 2.1 PENGANTAR LOGIKA PREDIKAT 2.1.1 PENDAHULUAN Seperti yang telah dibahas sebelumnya, dapat ditarik satu kesimpulan bahwa titik berat logika adalah pada pembuktian validitas

Lebih terperinci

Keterampilan Berpikir Kritis dengan Prinsip Logika

Keterampilan Berpikir Kritis dengan Prinsip Logika Keterampilan Berpikir Kritis dengan Prinsip Logika Rahmi Yuwan (13510031) Program Studi Teknik Informatika Sekolah Teknik Elektro dan Informatika Institut Teknologi Bandung, Jl. Ganesha 10 Bandung 40132,

Lebih terperinci

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

Materi 4: Logika. I Nyoman Kusuma Wardana. STMIK STIKOM Bali Materi 4: Logika I Nyoman Kusuma Wardana STMIK STIKOM Bali Logika merupakan dasar dr semua penalaran (reasoning). Penalaran didasarkan pada hubungan antara pernyataan-pernyataan (statements). Dalam Logika

Lebih terperinci

BAB IV LOGIKA A. Pernyataan B. Operasi uner

BAB IV LOGIKA A. Pernyataan B. Operasi uner BAB IV LOGIKA A. Pernyataan Pernyataan adalah kalimat matematika tertutup yang benar atau yang salah, tetapi tidak kedua-duanya pada saat yang bersamaan. Pernyataan biasa dilambangkan dengan p, q, r,...

Lebih terperinci

LOGIKA INFORMATIKA. Bahan Ajar

LOGIKA INFORMATIKA. Bahan Ajar LOGIKA INFORMATIKA Bahan Ajar Digunakan sebagai salah satu bahan ajar mata kuliah Logika Informatika Oleh Achmad Fauzan TEKNIK INFORMATIKA POLITEKNIK HARAPAN BERSAMA TEGAL 2016 Daftar Isi Daftar Isi ii

Lebih terperinci

SILABUS, RPP, RPS LOGIKA INFORMATIKA. Program Studi Informatika FAKULTAS TEKNIK- UNIVERSITAS PGRI SEMARANG

SILABUS, RPP, RPS LOGIKA INFORMATIKA. Program Studi Informatika FAKULTAS TEKNIK- UNIVERSITAS PGRI SEMARANG SILABUS,, RPS LOGIKA INFORMATIKA Program Studi Informatika FAKULTAS TEKNIK- FORMULIR No.Dokumen FM-01-AKD-1516 No. Revisi FORMAT SILABUS Halaman 1 dari 1 SILABUS PEMBELAJARAN Fakultas/Program studi : TEKNIK

Lebih terperinci

Logika Matematika. Logika Matematika. Jurusan Informatika FMIPA Unsyiah. September 26, 2012

Logika Matematika. Logika Matematika. Jurusan Informatika FMIPA Unsyiah. September 26, 2012 Jurusan Informatika FMIPA Unsyiah September 26, 2012 yang diharapkan Dasar: Menggunakan logika matematika. Indikator Esensial: 1 Mengidentifikasi suatu tautologi 2 Menentukan ingkaran suatu pernyataan

Lebih terperinci

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

Logika. Arum Handini Primandari, M.Sc. Ayundyah Kesumawati, M.Si. Logika Arum Handini Primandari, M.Sc. Ayundyah Kesumawati, M.Si. Logika Matematika Kalimat Terbuka dan Tertutup Kalimat terbuka adalah kalimat yang tidak mengandung nilai kebenaran Contoh: Semoga kamu

Lebih terperinci

1.3 Pembuktian Tautologi dan Kontradiksi. Pernyataan majemuk yang selalu bernilai benar bagaimanapun nilai proposisi

1.3 Pembuktian Tautologi dan Kontradiksi. Pernyataan majemuk yang selalu bernilai benar bagaimanapun nilai proposisi 1.3 Pembuktian 1.3.1 Tautologi dan Kontradiksi Pernyataan majemuk yang selalu bernilai benar bagaimanapun nilai proposisi yang membentuknya disebut toutologi, sedangkan proposisi yang selalu bernilai salah

Lebih terperinci

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 proposisi atau pernyataan (statements). Logika (logic) 1 Logika Logika merupakan dasar dari semua penalaran (reasoning). Penalaran didasarkan pada hubungan antara proposisi atau pernyataan (statements). Proposisi Kalimat deklaratif yang bernilai

Lebih terperinci

REPRESENTASI PENGETAHUAN

REPRESENTASI PENGETAHUAN REPRESENTASI PENGETAHUAN Basis Pengetahuan Langkah pertama dalam membuat sistem kecerdasan buatan adalah membangun basis pengetahuan Digunakan oleh motor inferensi dalam menalar dan mengambil kesimpulan

Lebih terperinci

KALIMAT MAJEMUK DAN KONEKTIVITAS

KALIMAT MAJEMUK DAN KONEKTIVITAS KALIMAT MAJEMUK DAN KONEKTIVITAS Dosen & Asisten Dr. Julan HERNADI & (Asrul dan Enggar) Program Studi Pendidikan Matematika FKIP Unmuh Ponorogo Pertemuan 2 FONDASI MATEMATIKA DEFINISI DAN MACAM KONEKTIVITAS

Lebih terperinci

BAB 4 PROPOSISI. 1. Pernyataan dan Nilai Kebenaran

BAB 4 PROPOSISI. 1. Pernyataan dan Nilai Kebenaran BAB 4 PROPOSISI 1. Pernyataan dan Nilai Kebenaran Ilmu logika adalah berhubungan dengan kalimat-kalimat (argumen-argumen) dan hubungan yang ada diantara kalimat-kalimat tersebut. Tujuannya adalah memberikan

Lebih terperinci

LANDASAN MATEMATIKA Handout 3 (Kalkulus Proposisi)

LANDASAN MATEMATIKA Handout 3 (Kalkulus Proposisi) LANDASAN MATEMATIKA Handout 3 (Kalkulus Proposisi) Tatik Retno Murniasih, S.Si., M.Pd. tretnom@unikama.ac.id / Hp. 081320649338 Standar Kompetensi Mahasiswa dapat mengerti dan memahami kalkulus proposisi

Lebih terperinci

Logika Matematika. Cece Kustiawan, FPMIPA, UPI

Logika Matematika. Cece Kustiawan, FPMIPA, UPI Logika Matematika 1. Pengertian Logika 2. Pernyataan Matematika 3. Nilai Kebenaran 4. Operasi Uner 5. Operasi Biner 6. Tabel kebenaran Pernyataan 7. Tautologi, Kontradiksi dan Kontingen 8. Pernyataan-pernyataan

Lebih terperinci

LOGIKA MATEMATIKA LOGIKA. Altien Jonathan Rindengan, S.Si, M.Kom

LOGIKA MATEMATIKA LOGIKA. Altien Jonathan Rindengan, S.Si, M.Kom LOGIKA MATEMATIKA LOGIKA Altien Jonathan Rindengan, S.Si, M.Kom Pendahuluan Untuk menemukan suatu gagasan baru dari informasi dan gagasan yang telah ada, diperlukan proses berpikir. Proses ini dikenal

Lebih terperinci

MATERI 1 PROPOSITIONAL LOGIC

MATERI 1 PROPOSITIONAL LOGIC MATERI 1 PROPOSITIONAL LOGIC 1.1 Pengantar Beberapa pernyataan (statement) dapat langsung diterima kebenarannya tanpa harus tahu kebenaran pembentuknya Ada kehidupan di Bulan atau tidak ada kehidupan di

Lebih terperinci

Unit 6 PENALARAN MATEMATIKA. Clara Ika Sari Budhayanti. Pendahuluan. Selamat belajar, semoga Anda sukses.

Unit 6 PENALARAN MATEMATIKA. Clara Ika Sari Budhayanti. Pendahuluan. Selamat belajar, semoga Anda sukses. Unit 6 PENALARAN MATEMATIKA Clara Ika Sari Budhayanti Pendahuluan D alam menyelesaikan permasalahan matematika, penalaran matematis sangat diperlukan baik di bidang aritmatika, aljabar, geometri dan pengukuran,

Lebih terperinci

LOGIKA PREDIKAT. Altien Jonathan Rindengan, S.Si, M.Kom

LOGIKA PREDIKAT. Altien Jonathan Rindengan, S.Si, M.Kom LOGIKA PREDIKAT Altien Jonathan Rindengan, S.Si, M.Kom Logika Predikat Seringkali kita harus memeriksa argumen yang berisi proposisi-proposisi yang berkenaan dengan kumpulan objek. Misalkan, memeriksa

Lebih terperinci

BAB I PENGANTAR LOGIKA MATEMATIKA

BAB I PENGANTAR LOGIKA MATEMATIKA 1 BAB I PENGANTAR LOGIKA MATEMATIKA 1.1. Pengenalan logika matematika Logika berasal dari kata bahasa Yunani logos. Dalam bahasa Inggris lebih dekat dengan istilah thought atau reason. Definisi Logika

Lebih terperinci

Konvers, Invers dan Kontraposisi

Konvers, Invers dan Kontraposisi MODUL 5 Konvers, Invers dan Kontraposisi Represented by : Firmansyah,.Kom A. TEMA DAN TUJUAN KEGIATAN PEMELAJARAN 1. Tema Konvers, Invers dan Kontraposisi 2. Fokus Pembahasan Materi Pokok 1. Konvers, invers

Lebih terperinci

A. Pengertian Logika B. Pernyataan C. Nilai Kebenaran

A. Pengertian Logika B. Pernyataan C. Nilai Kebenaran HAND OUT PERKULIAHAN Nama Mata Kuliah : Pengantar Dasar Matematika ub Materi : Pernyataan, Konjungsi, Disjungsi, Implikasi, iimplikasi Pertemuan : 1 URAIAN POKOK PERKULIAHAN LOGIKA A. Pengertian Logika

Lebih terperinci

MATEMATIKA DASAR (Validitas Pembuktian)

MATEMATIKA DASAR (Validitas Pembuktian) MATEMATIKA DASAR (Validitas Pembuktian) Antonius Cahya Prihandoko Universitas Jember Indonesia Jember, 2015 Antonius Cahya Prihandoko (UNEJ) MDAS - Validitas Pembuktian Jember, 2015 1 / 22 Outline 1 Premis

Lebih terperinci

Unit 5 PENALARAN/LOGIKA MATEMATIKA. Wahyudi. Pendahuluan

Unit 5 PENALARAN/LOGIKA MATEMATIKA. Wahyudi. Pendahuluan Unit 5 PENALARAN/LOGIKA MATEMATIKA Wahyudi Pendahuluan D alam menyelesaikan permasalahan matematika, penalaran matematis sangat diperlukan. Penalaran matematika menjadi pedoman atau tuntunan sah atau tidaknya

Lebih terperinci

Logika Proposisi. Adri Priadana ilkomadri.com

Logika Proposisi. Adri Priadana ilkomadri.com Logika Proposisi Adri Priadana ilkomadri.com Matematika Diskrit Apa? Cabang matematika yg mempelajari tentang obyek diskrit. Apa yang dimaksud dengan kata diskrit (discrete)? Objek disebut diskrit jika:

Lebih terperinci

Dasar Logika Matematika

Dasar Logika Matematika Dasar Logika Matematika Pertemuan 1: Brainstorming Perhatikan kedudukan himpunan titik-titik yang berderet kemudian tentukan himpunan titik-titik berikutnya sesuai dengan pola.? Pengantar Dasar Logika

Lebih terperinci

RENCANA PEMBELAJARAN MATEMATIKA (RPP) Nama Sekolah : SMA Negeri 1 Ketapang Mata Pelajaran : Matematika

RENCANA PEMBELAJARAN MATEMATIKA (RPP) Nama Sekolah : SMA Negeri 1 Ketapang Mata Pelajaran : Matematika RENCANA PEMBELAJARAN MATEMATIKA (RPP) Nama Sekolah : SMA Negeri 1 Ketapang Mata Pelajaran : Matematika Kelas : X Semester : 2 Materi Pokok : Logika Matematika Alokasi Waktu : 1 x 40 menit (1 pertemuan)

Lebih terperinci

INTELEGENSI BUATAN. Pertemuan 4,5 Representasi Pengetahuan. M. Miftakul Amin, M. Eng. website :

INTELEGENSI BUATAN. Pertemuan 4,5 Representasi Pengetahuan. M. Miftakul Amin, M. Eng. website : INTELEGENSI BUATAN Pertemuan 4,5 Representasi Pengetahuan M. Miftakul Amin, M. Eng. e-mail: mmiftakulamin@gmail.com website : http://mafisamin.web.ugm.ac.id Jurusan Teknik Komputer Jurusan Teknik Komputer

Lebih terperinci

Teknik Penyederhanaan untuk Menyederhanakan Teknik Resolusi

Teknik Penyederhanaan untuk Menyederhanakan Teknik Resolusi Teknik Penyederhanaan untuk Menyederhanakan Teknik Resolusi Djoni Dwijono Teknik Informatika Universitas Kristen Duta Wacana Yogyakarta Email: djoni@ukdw.ac.id Abstrak: Teknik Resolusi sebenarnya tidak

Lebih terperinci

FM-UDINUS-PBM-08-04/R0

FM-UDINUS-PBM-08-04/R0 SILABUS MATAKULIAH Revisi : 0 Tanggal Berlaku : Mei 2009 A. Identitas 1. Nama Matakuliah : A22.53112/ Logika Matematika 2. Program Studi : Teknik Informatika-D3 3. Fakultas : Ilmu Komputer 4. Bobot sks

Lebih terperinci

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

KOMPARASI PENGGUNAAN METODE TRUTH TABLE DAN PROOF BY FALSIFICATION DALAM PENENTUAN VALIDITAS ARGUMEN. Abstrak Komparasi Penggunaan Metode Truth Table Dan Proof By Falsification Untuk Penentuan Validitas Argumen (Yani Prihati) KOMPARASI PENGGUNAAN METODE TRUTH TABLE DAN PROOF BY FALSIFICATION DALAM PENENTUAN VALIDITAS

Lebih terperinci

SILABUS MATAKULIAH. Indikator Pokok Bahasan/ Materi Aktifitas Pembelajaran

SILABUS MATAKULIAH. Indikator Pokok Bahasan/ Materi Aktifitas Pembelajaran SILABUS MATAKULIAH Revisi : 2 Tanggal Berlaku : September 2014 A. Identitas 1. Nama Matakuliah : A11.54406/ Logika Informatika 2. Program Studi : Teknik Informatika-S1 3. Fakultas : Ilmu Komputer 4. Bobot

Lebih terperinci