BAB 9 TABLO SEMANTIK. 1. Pendahuluan. 2. Tablo semantik
|
|
- Farida Hadiman
- 7 tahun lalu
- Tontonan:
Transkripsi
1 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 harus ditangani cukup banyak. Ukuran tersebut yakni 2 n (n = jumlah variabel proposisional). Jadi, misalnya ada 8 variabel proposisional, maka ada 2 8 = 256 baris. Dari ukuran 2 n ini bisa terbentuk dasar perhitungan 1 Kilobyte = 1024 Byte, atau 2 10 yakni 1024, demikian juga 1 byte = 8 bit, atau 2 3. Hal ini dikarenakan perhitungan berdasarkan nilai benar (T 1) dan salah (F 0) sebagai konstanta proposisional yang kemudian dipangkatkan. Inilah yang sebenarnya dikenal sebagai bahasa mesin, atau bahasa tingkat rendah (low level language), satu-satunyabahasa yang dimengerti oleh komputer. Ukuran yang besar dari tabel kebenaran menimbulkan banyak kesulitan sehingga dapat dipergunakan cara lain untuk membuktikan konsistensi sekumpulan pernyataanpernyataan dan validitas dari argumen-argumen. Salah satunya adalah Tablo Semantik (Semantik Tableaux). 2. Tablo semantik Penggunaan tablo semantik berbasis pada strategi pembalikan. Strategi pembalikan pada tablo semantik dilakukan dengan memberi negasi pada kesimpulan dan memeriksa hasil yang diperoleh. Tablo semantik bisa dibuktikan apakah kesimpulan yang bernialai F dapat diperoleh dari premis-premis yang bernilai T. jika idak bisa, maka argumen tersebut valid, tetapi jika bisa, maka argumen tidak valid. Jadi, premis-premis yang bernilai T harus menghasilkan kesimpulan yang berniali T juga. Kesimpulan ini disebut semantically entailed dari premis-premis. Tablo semantik sebenarnya hanya bentuk-bentuk proposisi yang dibangun berdasarkan aturan-aturan tertentu yang biasanya berbentuk pohon terbalik dengan cabang-cabang dan ranting-ranting yang relevan.
2 3. turan tablo semantik Terdapat 10 aturan dalam tablo semantik yang diurutkan sebagai berikut: turan 1: B Jika tablo berisi B, maka tablo dapat dikembangkan menjadi tablo baru dengan menambahkab dan B pada tablo B. Bentuknya seperti berikut: B B turan 2: B Jika tablo berisi B maka dapat dikembangkan membentuk tablo baru dengan menambah dua cabang baru, satu berisi dan satunya adalah B seperti berikut: B turan 3: B B B turan 4: B B B turan 5: turan 6: ( B) B ( B) turan 7: ( B) ( B)
3 turan 8: ( B) turan 9: ( B) ( B) ( B) B turan 10: Jika ada bentuk logika dan negasinya ( ) yang berada pada satu deretan cabang dari tablo, maka terjadi ketidakkonsistenan pada cabang tersebut, dan cabang dinyatakan tertutup (closed), dan cabng tersebut tudak bisa dikembangkan lagi. Hal ini disebabkan karena dan tidak mungkin benar bersama-sama pada satusaat tertentu, yakni jika bernilai T, tidak mungkin juga bernilai T pada saat yang sama, demikian sebaliknya. Jika semua cabang tablo tertutup, maka ekspresi logika disebut bersama-sama tidak konsisten atau mereka tidak bisa bernilai benar bersama-sama. 4. Tablo semantik himpunan ekspresi logika Contoh 1: pakah 2 buah ekspresi logika ini konsisten bersama-sama: ( B) dan B Tablo semantik yang dibuat seperti berikut: ( B) (1) B (2) B turan 2 pada (2) turan 8 pada (1)
4 Perhatikan bahwa dua cabang dari tablo di atas tertutup karena cabang sebelah kiri berisi dan, sedangkan cabang kanan berisi b dan, maka kesimpulannya adalahtidak konsisten bersama-sama. Bentuk tablo lainnya: ( B) (1) B (2) turan 8 pada (1) turan 5 B turan 2 pada (2) Heuristik untuk mengefisienkan pembuatan tablo: 1. Carilah ekspresi logika yang dapat memakai aturan tanpa cabang (satu cabang) 2. Carilah ekspresi logika yang isinya mempunyai bentuk, yang tablonya pasti tertutup, misalnya dengan negasinya (~), agar cabang tablo tertutup dan tidak dapat dikembangkan lagi. Contoh 2: pakah himpunan dari 4 buah ekspresi logika berikut ini bersama-sama konsisten?: B, (B C), C D, dan ( D) Berikut ini adalah langkah-langkah pembuatan tablo semantik: Langkah 1: Tulis semua ekspresi logika secara berurutan atas ke bawah. (1) B (2) (B C) (4) ( D) Langkah 2: Pakailah aturan 7 pada baris (2): (1) B
5 (2) (B C) (4) ( D) (5) (6) D Langkah 3: Pakailah aturan 5 pada baris (5): (1) B (2) (B C) (4) ( D) (5) (6) D (7) Sekarang tidak ada lagi yang tidak bercabang, maka harus memilih salah satudari ekspresi logika untuk meneruskan tablo. Langkah 4: (1) B (2) (B C) (4) ( D) (5) (6) D (7) (8) B Satu cabang tlah tertutup. Karena pada satucabang terdapat dan, maka tinggal meneruskan pada cabang yang lain.
6 Langkah 5: Sekarang pakailah aturan 6 pada baris (2): (1) B (2) (B C) (4) ( D) (5) (6) D (7) (8) B (9) C Ternyata cabang kiri juga dapat tertutup karena ada B dan, maka tinggal meneruskan pada cabang yang lain yang masih terbuka. Langkah 6: Sekarang pakailah aturan 5 pada baris (9): (1) B (2) (B C) (4) ( D) (5) (6) D (7) (8) B (9) C C
7 Langkah 7: Sekarang pakailah aturan 5 pada baris (9): (1) B (2) (B C) (4) ( D) (5) (6) D (7) (8) B (9) C (10) C (11) C D khirnya seluruh tablo tertutup. Tablo semantik yang disusun juga sudah lengkap seluruh ekspresi logika yang harus diturunkan menjadi tablo. Dapat disimpulkan bahwa semua ekspresi logika tersebut tidak konsisten, atau tidak kompatibel bersama-sama. Latihan: pakah himpunan dari 3 buah ekspresi logika berikut ini bersama-sama konsisten?: ( B) C, D, B C D 5. Pembenaran aturan tablo semantik turan tablo semantik dapat dipandang sebagai aturan sistem deduktif atau sistem pembuktian yang tidak perlu ditafsirkan pada konteks lain. turan tablo semantik sangat sintaksis. Hanya tinggal menuruti aturan yang ada dan tidak ada penentuan terlebih dahulu bahwa premis-premis benar dengan kesimpulan yang disalahkan seperti pada
8 strategi pembalikan yang digunakan pada model dan countermodel, tetapi hanya dengan menegasi kesimpulannya, dan tidak memedulikan premis-premis walaupun tetap tergolong stratesi pembalikan. turan tablo semantik sangat beralasan dan realistis karena berbasis pada aturan hukum logika yang sudah dibahas sebelumnya. Perhatikan aturan tersebut satu per satu: turan 1: B B B Sebenarnya aturan ini menunjukkan bahwa jika ( B) benar, maka dan B juga bernilai benar sehingga cabang tablo untuk ekspresi ini juga benar bersama-sama. turan 2: B B B turan ini menunjukkan bahwa jika ( B) benar, maka bisa benar atau B juga benar. Untuk itu satu cabang tablo harus menunjukkan hal ini, atau ada konsistensi disini. turan 3: B B B Pada hukum logika juga diketahui ( B) B sehingga aplikasinya sama seperti hukum nomor 2. turan 4: B B B Pada hukum logika juga diketahui ( B) ( B) ( ) sehingga aplikasinya sama seperti hukum nomor 2. turan 5: Ini merupakan aplikasi hukum negasi ganda, yakni
9 turan 6: ( B) ( B) Pada hukum De Morgan sudah diketahui bahwa ( B) sehingga aturan nomor 2 dipakai sekali lagi. turan 7: ( B) ( B) Hukum De Morgan lainnya diketahui bahwa ( B) sehingga dipakai aturan nomor 1. turan 8: ( B) ( B) Penyederhanaan bisa dilakukan pada ( B) sehingga menjadi: ( B) ( B) B ( ) hukum De Morgan ( ) hukum negasi ganda Oleh karena itu aturan 1 dapat dipakai pada eksprei logika yang diperoleh. turan 9: ( B) ( B) B Sedangkan untuk ( B) dapat dilakukan penyederhanaan seperti berikut: ( B) (( B) (B )) B (( B) ( )) B ( ( B) ( )) hukum De Morgan ( ) ( ) hukum De Morgan ( ) (B ) hukum negasi ganda
10 ( ) ( B) hukum komutatif Setelah selesai akan diperoleh bentuk yang sederhana. Sekali lagi aturan 2 digunakan. Metode tablo semantik merupakan pendekatansecara langsung untuk memperlihatkan adanya ketidakkonsistenan dalam suatu himpunan dari ekspresi logika, yaitu dengan cara membuang pasangan yang terjadi konflik, misalnya dengan. jika semua cabang tertutup, berarti ada ketidakkonsistenan, sedangkan jika ada cabang yang tertutup dan ada yang terbuka walau hanya ada satu berarti konsisten. Bagaimana jika terjadi tablo yang tidak tertutp dan memastikan adanya konsistensi. Contoh: (1) (2) B C (3) C (4) B turan 1 pada baris (2) (5) C (6) turan 2 pada baris (1) (7) C turan 2 pada baris (3) Jelas bahwa tablo tidak bisa ditutup sehingga terjadi konsistensi bersama-sama pada himpunan ekspresi logika. Konsistensi bisa dibuktikan dengan teknik model yaitu dengan mengambil satu variabel proposisi pada cabang yang tidak tertutup, misalnya atau, dan berilah nilai T pada variabel tersebut. Misalnya v() T, maka v( C) T (ambil dari baris (3)). Jadi v(c) F. Periksa dengan baris (2). Jika v( C) T, maka pasti v(b) T, maka v() F. Periksa dengan baris (3). Jika v() F, sedangkan v() T, maka v( ) T. jadi mudah ditebak bahwa v( ) T, v(b C) T, dan v( ) T. Tabel kebenarannya: B C C B C T T F F T T T T 6. Tablo semantik pada argumen
11 Tablo semantik juga dapat diimplementasikan pada pembuktian validitas suatu argumen. Contoh: Jika Badu mencontek saat ujian, maka dosen akan datang jika pengawas tidak lalai. Jika Badu mencontek saat ujian, maka pengawas tidak lalai. Dengan demikian, jika Badu mencontek, maka dosen akan datang. pakah argumen di atas valid, atau apakah kesimpulan (pernyataan 3) secara logis mengikuti premis-premisnya (pernyataan 1 dan 2)? Dapat dilkukan strategi pembalikan dengan menegasi kesimpulan sehingga ditemukan kesimpulan tidak konsisten dengan premis-premis. Tahap-tahap pembuktian: Langkah 1: Membuat variabel proposisional seperti berikut: = Badu mencontek saat ujian B = Dosen akan datang C = pengawas lalai Langkah 2: Menyusunnya menjadi ekspresi logika: (10) ( C B) premis (11) C premis (12) B kesimpulan Jika ditulis akan menjadi seperti berikut: { ( C B), C} = B Langkah 3: Menyusunnya menjadi deretan untuk dibuat tablo dengan menegasi kesimpulan menjadi ( B) sehingga penulisan di atas menjadi: ( ( C B)) ( C) ( B) Selanjutnya, susun menjadi urutan berikut: (1) ( C B) (2) C (3) ( B) Langkah 4: Buatlah tablonya:
12 (1) ( C B) (2) C (3) ( B) (4) (5) (6) C (7) C B (8) C B (9) C Seluruh tablo ternyata tertutup, dan ini berati terjadi ketidakkonsistenan pada seluruh argumen. Dapat disimpulkan bahwa dengan pemberian negasi pada kesimpulan, jika premis-premis benar, maka kesimpulan tidak benar, dan sebenarnya kesimpulannya benar sehingga argumen dianggap valid. Catatan: Jangan lupa memberi tanda negasi pada kesimpulan dari suatu argumen, sesuai dengan stategi pembalikan, dan kemudian mencari semua cabang tablo agar dipastikan tertutup. Jika semua cabang tertutup akan terjadi ketidakkonsistenan, dan berati argumen valid. Jika tablo ada yang terbuka, maka terjadi konsistensi walaupun hanya satu cabang, dan berarti argumen tidak valid. Perhatikan perbedaan antara pemberian tanda negasi dengan tidak untuk melihat perbedaannya: Tidak ada tanda negasi: ( ) (B ) B B
13 da tanda negasi: (( ) (B )) ( ) (B ) Tablo tertutup tanpa harus menurunkan sisanya. Ini berati bentuk logika tersebut tidak mungkin diberi nilai salah. Latihan: Tono atau Tini pergi ke pesta. Jika Tini pergi ke pesta, maka Dewi pergi ke pesta, jika tidak Bowo pergi ke pesta. Bowo pergi ke pesta jika Tono tidak pergi ke pesta. Dengan demikian, Dewi pergi ke pesta. Latihan soal: 1. Dengan mengguankan tablo seantik, manakah dari kumpulan ekspresi-ekspresi lokal berikut ini yang konsisten bersma-sama: a. B, ( B) C, B b. ( B) B, (C D),, B c. D, B C, C D, E D, E 2. Buktikan validitas argumen-argumen berikut ini dengan tablo semantik: Jika Bowo tinggal di Jogja, dia tinggal di Indonesia. Bowo tinggal di Jogja. Dengan demikian, dia tinggal di Indonesia. Jika nik tinggal di Jogja, dia tinggal di Indonesia. nik tidak tinggal di Jogja. Dengan demikian, dia tinggal di sia Tenggara. Jika Wawan tinggal di Jogja, ia akan berbahagia. Jika dia bahagia dan senang belajar, dia akan lulus sekolah jika dia tidak jatuh cinta. Jika dia jatuh cinta, dia akan senang belajar. Dengan demikian, jika dia tinggal di Jogja, dia akan lulus sekolah.
BAB 8 STRATEGI PEMBALIKAN
BAB 8 STRATEGI PEMBALIKAN 1. Pendahuluan Strategi pembalikan (refutation strategy) digunakan untuk membuktikan validitas suatu ekspresi logika untuk argumen; dan untuk memastikan nilai-nilai premis benar
Lebih terperinciBAB 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 terperinciBAB 11 RESOLUSI. 1. Pendahuluan. 2. Resolving argumen
BAB 11 RESOLUSI 1. Pendahuluan Pembuktian ekspresi-ekspresi logika berupa validitas argumen-argumen pada bab-bab sebelumnya sangat penting untuk menemukan metode yang lebih mekanis dan mudah digunakan
Lebih terperinciBAB 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 terperinciKalkulus 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 terperinciPERTEMUAN TAUTOLOGI, KONTRADIKSI, DAN CONTINGENT
PERTEMUAN 5 1.1 TAUTOLOGI, KONTRADIKSI, DAN CONTINGENT Tautologi adalah suatu bentuk kalimat yang selalu bernilai benar (True) tidak peduli bagaimanapun nilai kebenaran masing-masing kalimat penyusunnya,
Lebih terperinciSTMIK Banjarbaru EKUIVALENSI LOGIKA. 10/15/2012 H. Fitriyadi & F. Soesianto
1 EKUIVALENSI LOGIKA 2 Pada tautologi dan kontradiksi, dapat dipastikan bahwa jika dua buah ekspresi logika adalah tautologi, maka kedua buah ekspresi logika tersebut ekuivalen secara logis, demikian pula
Lebih terperinciBAB 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 terperinciBAN 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 terperinciSuatu 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 terperinciBAB 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 terperinciBAB 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 terperinciPerangkai 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 terperinciHEURISTIK UNTUK MEMPERCEPAT PEMBUKTIAN VALIDITAS ARGUMEN DENGAN TABLO SEMANTIK DI LOGIKA PREDIKAT
Jurnal Teknik dan Ilmu Komputer HEURISTIK UNTUK MEMPERCEPAT PEMBUKTIAN VALIDITAS ARGUMEN DENGAN TABLO SEMANTIK DI LOGIKA PREDIKAT HEURISTIC METHOD TO ACCELERATE PROOF OF VALIDITY ARGUMENT USING SEMANTIC
Lebih terperinciPENGENALAN 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 terperinciMODUL 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 terperinciFM-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 terperinciFM-UDINUS-BM-08-05/R0
RENCANA PROGRAM KEGIATAN PERKULIAHAN SEMESTER (RPKPS) Kode / Nama Mata Kuliah : A22.53112/ Logika Matematika Revisi ke : 0 Satuan Kredit Semester : 3 SKS Tgl revisi : Januari 2009 Jml Jam kuliah dalam
Lebih terperinciLOGIKA 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 terperinciLOGIKA. 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 terperinciMETODE PENARIKAN KESIMPULAN
1 METODE PENRIKN KESIMPULN. TURN PENUKRN Pada kenyataannya banyak argument valid yang tidak dapat di buktikan kebenarannya hanya dengan menggunakan aturan penarikan kesimpulan. Ini berarti kita membutuhkan
Lebih terperinciPENGANTAR LOGIKA INFORMATIKA
P a g e 1 PENGANTAR LOGIKA INFORMATIKA 1. Pendahuluan a. Definisi logika Logika berasal dari bahasa Yunani logos. Logika adalah: ilmu untuk berpikir dan menalar dengan benar ilmu pengetahuan yang mempelajari
Lebih terperinciIMPLEMENTASI 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 terperinciBAB 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 terperinciMatematika 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 terperinciBAB 4 PROPOSISI MAJEMUK
BAB 4 PROPOSISI MAJEMUK 1. Pendahuluan Perangkai logika digunakan untuk mengkombinasikan proposisi-proposisi atomik menjadi proposisi majemuk. Untuk menghindari kesalahan tafsir akibat adanya ambiguitas
Lebih terperinciKonvers, 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 terperinciEKUIVALENSI LOGIS. Dr. Julan HERNADI & (Asrul dan Enggar) Pertemuan 3 FONDASI MATEMATIKA. Program Studi Pendidikan Matematika FKIP Unmuh Ponorogo
Program Studi Pendidikan Matematika FKIP Unmuh Ponorogo Pertemuan 3 FONDASI MATEMATIKA Variasi bentuk implikasi Berangkat dari implikasi p q kita dapat membentuk tiga pernyataan implikasi relevan yang
Lebih terperinciPROPOSISI 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 terperinciSTMIK 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 terperinciLOGIKA 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 terperinciLogika 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 terperincilain itu dianggap sebagai pemberi alasan untuk menerima konklusi tersebut yang dinamakan premis-premis dari argument tersebut.
PENARIKAN KESIMPULAN DENGAN METODE DEDUKTIF Pardomuan Nauli Josip Mario Sinambela Abstrak Pembahasan logika dengan berbagai teknik lebih menekankan pada masalah konsistensi pernyataan-pernyataan dan keabsahan
Lebih terperinciTeknik 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 terperinciKOMPARASI 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 terperinciARGUMEN DAN METODE PENARIKAN KESIMPULAN
1 RGUMEN DN METODE PENRIKN KESIMPULN rgumen adalah rangkaian pernyataan-pernyataan yang mempunyai ungkapan pernyataan penarikan kesimpulan (inferensi). rgumen terdiri dari pernyataanpernyataan yang terdiri
Lebih terperinciMAKALAH RANGKUMAN MATERI LOGIKA MATEMATIKA : NURHIDAYAT NIM : DBC
MAKALAH RANGKUMAN MATERI LOGIKA MATEMATIKA Nama : NURHIDAYAT NIM : DC 113 055 JURUAN TEKNIK INFORMATIKA FAKULTA TEKNIK UNIVERITA PALANGKA RAYA 2013 A I PENGERTIAN Logika adalah dasar dan alat berpikir
Lebih terperinciLogika 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 terperinciBAB I LOGIKA MATEMATIKA
BAB I LOGIKA MATEMATIKA A. Ringkasan Materi 1. Pernyataan dan Bukan Pernyataan Pernyataan adalah kalimat yang mempunyai nilai benar atau salah, tetapi tidak sekaligus benar dan salah. (pernyataan disebut
Lebih terperinciREPRESENTASI PENGETAHUAN
REPRESENTASI PENGETAHUAN Representasi Pengetahuan (Knowledge Representation) dimaksudkan untuk menangkap sifatsifat penting masalah dan membuat infomasi dapat diakses oleh prosedur pemecahan masalah. Bahasa
Lebih terperinciModul ke: Logika Matematika. Proposisi & Kuantor. Fakultas FASILKOM BAGUS PRIAMBODO. Program Studi SISTEM INFORMASI.
Modul ke: 5 Logika Matematika Proposisi & Kuantor Fakultas FASILKOM BAGUS PRIAMBODO Program Studi SISTEM INFORMASI http://www.mercubuana.ac.id Materi Pembelajaran Kalkulus Proposisi Konjungsi Disjungsi
Lebih terperinciKuliah 2 1. LOGIKA (LOGIC) Matematika Diskrit. Dr.-Ing. Erwin Sitompul
Kuliah 2 1. LOGIKA (LOGIC) Dr.-Ing. http://zitompul.wordpress.com Solusi Pekerjaan Rumah (PR 1) Dua pedagang barang kelontong mengeluarkan semboyan dagang untuk menarik pembeli. Pedagang pertama mengumbar
Lebih terperinciPENGENALAN LOGIKA INFORMATIKA
1 PENGENALAN LOGIKA INFORMATIKA PENDAHULUAN STMIK Banjarbaru 2 Logika(logic) berasal dari kata bahasa Yunani logos yaitu ilmu pengetahuan yang mempelajari atau berkaitan dengan prinsip-prinsip dari penalaran
Lebih terperinciBerdasarkan 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 terperinciDASAR-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 terperinciSilogisme 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 terperinciDasar 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 terperincimatematika PEMINATAN Kelas X PERSAMAAN DAN PERTIDAKSAMAAN EKSPONEN K13 A. PERSAMAAN EKSPONEN BERBASIS KONSTANTA
K1 Kelas X matematika PEMINATAN PERSAMAAN DAN PERTIDAKSAMAAN EKSPONEN TUJUAN PEMBELAJARAN Setelah mempelajari materi ini, kamu diharapkan memiliki kemampuan berikut. 1. Memahami bentuk-bentuk persamaan
Lebih terperinci: SRI ESTI TRISNO SAMI
By : SRI ESTI TRISNO SAMI 08125218506 / 082334051324 E-mail : sriestits2@gmail.com Bahan Bacaan / Refferensi : 1. F. Soesianto dan Djoni Dwijono, Logika Matematika untuk Ilmu Komputer, Penerbit Andi Yogyakarta.
Lebih terperinciDefinisi 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 terperinciMETHOD OF PROOF Lecture 7. DR. Herlina Jayadianti, ST.MT
MEHOD OF PROOF Lecture 7 DR. Herlina Jayadianti, S.M Review Sifat Kalimat dan Substitusi 1. Valid sentence / autology 2. Satisfiable sentence 3. Contingent sentence 4. Contradictory sentence / Kontradiksi
Lebih terperinci(Contoh Solusi) PR 1 METODE FORMAL (CIG4F3) Semester Ganjil
(Contoh Solusi) PR 1 METODE FORMAL (CIG4F3) Semester Ganjil 2015-2016 Dikumpulkan paling lambat pukul 15:00, Jumat, 25 September 2015, di slot pengumpulan PR di idea (softcopy) atau Loker Pengumpulan PR
Lebih terperinciPEMBUKTIAN MATEMATIKA
PEMBUKTIAN MATEMATIKA LOGIKA INFERENSIA Altien Jonathan Rindengan, S.Si, M.Kom Pendahuluan Kata inferensia digunakan untuk menyatakan sekumpulan premis yang diikuti dengan kesimpulan. Infrensia yang sahih
Lebih terperinciPERTEMUAN 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 terperinciBAB IV PENALARAN MATEMATIKA
BAB IV PENALARAN MATEMATIKA A. Pendahuluan Materi penalaran matematika merupakan dasar untuk mempelajari materimateri logika matematika lebih lanjut. Logika tidak dapat dilepaskan dengan penalaran, karena
Lebih terperinciLOGIKA. 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 terperinciSelamat datang di Perkuliahan LOGIKA MATEMATIKA Logika Matematika Teori Himpunan Teori fungsi
Selamat datang di Perkuliahan LOGIKA MAEMAIKA Logika Matematika eori Himpunan eori fungsi Dosen : Dr. Julan HERNADI PUSAKA : Kenneth H Rossen, Discrete mathematics and its applications, fifth edition.
Lebih terperinciBAB 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 terperinciEKSKLUSIF OR (XOR) DEFINISI
Logika Matematik EKSKLUSIF OR (XOR) DEFINISI : Misalkan p dan q adalah proposisi. Proposisi salah satu p atau q ditulis p q adalah proposisi yang bernilai benar jika tepat satu diantara p atau q BENAR,
Lebih terperinciArgumen 1. Contoh 1. Saya akan pergi bekerja hari ini atau besok. Saya tidak keluar rumah hari ini. Jadi, saya akan pergi bekerja besok.
Argumen 1 II. Argumen dan Kevalidannya 1 Pengertian Argumen Pembuktian memegang peranan penting dalam matematika dan sebagian besar didasarkan pada penalaran deduktif, yaitu kesimpulan yang bersifat khusus
Lebih terperinciMATEMATIKA 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 terperinciK13 Revisi Antiremed Kelas 11
K13 Revisi Antiremed Kelas 11 Latihan Soal Logika halaman 1 01. Misalkan p adalah pernyataan yang bernilai benar dan q adalah pernyataan yang benar. Dari tiga pernyataan berikut: (1) yang bernilai benar
Lebih terperinciLOGIKA. /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 terperinciPusat Pengembangan Pendidikan Universitas Gadjah Mada 1
2. ALJABAR LOGIKA 2.1 Pernyataan / Proposisi Pernyataan adalah suatu kalimat yang mempunyai nilai kebenaran (benar atau salah), tetapi tidak keduanya. Contoh 1 : P = Tadi malam BBM mulai naik (memiliki
Lebih terperinciPenerapan Logika dan Peluang dalam Permainan Minesweeper
Penerapan Logika dan Peluang dalam Permainan Minesweeper Kharis Isriyanto 13514064 Program Studi Teknik Informatika Sekolah Teknik Elektro dan Informatika Institut Teknologi Bandung, Jl. Ganesha 10 Bandung
Lebih terperinciRepresentasi Kalimat Logika ke dalam Matriks Trivia
Representasi Kalimat Logika ke dalam Matriks Trivia Rio Chandra Rajagukguk 13514082 Program Studi Informatika Sekolah Teknik Elektro dan Informatika Institut Teknologi Bandung, Jl. Ganesha 10 Bandung 40132,
Lebih terperinciPertemuan 2. Proposisi Bersyarat
Pertemuan 2 Proposisi ersyarat Proposisi ersyarat Definisi 4 Misalkan p dan q adalah proposisi. Proposisi majemuk jika p, maka q disebut proposisi bersyarat (implikasi dan dilambangkan dengan p q Proposisi
Lebih terperinciKONSEP 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 terperinciBAB 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 terperinciLogika Proposisi 1. Definisi 1. (Proposisi) Proposisi adalah kalimat yang bernilai benar atau salah, tetapi tidak keduanya sekaligus.
Logika Proposisi 1 I. Logika Proposisi Logika adalah bagian dari matematika, tetapi pada saat yang sama juga merupakan bahasa matematika. Pada akhir abad ke-19 dan awal abad ke-20, ada kepercayaan bahwa
Lebih terperinciLogika 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 terperinciKALKULUS PERNYATAAN. Totologi & Kontradiksi. Tingkat Kekuatan Operator. Tabel Kebenaran 9/30/2013. Nur Insani, M.Sc
KALKULUS PERNYATAAN Totologi & Kontradiksi Nur Insani, M.Sc Satu atau lebih proposisi dapat dikombinasikan untuk menghasilkan proposisi baru lewat penggunaan operator logika: negasi (-), dan (^), atau
Lebih terperinciLOGIKA 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 terperinci1.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 terperinciBerpikir Komputasi. Sisilia Thya Safitri, MT Citra Wiguna, M.Kom. 3 Logika Proposisional (I)
Berpikir Komputasi Sisilia Thya Safitri, MT Citra Wiguna, M.Kom 3 Logika Proposisional (I) Capaian Sub Pembelajaran Mahasiswa dapat memahami logika proposisional sebagai dasar penerapan algoritma. Outline
Lebih terperinciJadi d mempunyai sifat R
Jadi d mempunyai sifat R [a,b,c,d] adalah satuan di dalam argumen analogis sedangkan [P,Q dan R] adalah aspek di dalam argumen analogis. Untuk mudahnya sebagai contoh, a,b,c,d kita ganti dengan nama orang
Lebih terperinciLOGIKA SIMBOLIK. Bagian II. September 2005 Pengantar Dasar Matematika 1
LOGIKA IMOLIK agian II eptember 2005 Pengantar Dasar Matematika 1 LOGIKA Realitas Kalimat/ Pernyataan Logis LOGIKA eptember 2005 Pengantar Dasar Matematika 2 Apakah logika itu? Logika: Ilmu untuk berpikir
Lebih terperinciAlgoritma & Pemrograman 2C Halaman 1 dari 7 ALJABAR BOOLEAN
Algoritma & Pemrograman 2C Halaman 1 dari 7 ALJAAR OOLEAN Aljabar boolean merupakan aljabar yang berhubungan dengan variabel-variabel biner dan operasi-operasi logik. Variabel-variabel diperlihatkan dengan
Lebih terperinciMATERI 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 terperinciBAB 6 ALJABAR BOOLE. 1. Definisi Dasar. Teorema 1 MATEMATIKA DISKRIT
BAB 6 ALJABAR BOOLE 1. Definisi Dasar Himpunan dan proposisi mempunyai sifat yang serupa yaitu memenuhi hukum identitas. Hukum ini digunakan untuk mendefinisikan struktur matematika abstrak yang disebut
Lebih terperinciLOGIKA & PEMBUKTIAN. Anita T. Kurniawati, MSi LOGIKA
LOGIKA & PEMBUKTIAN Anita T. Kurniawati, MSi LOGIKA Logika merupakan dasar dari semua penalaran (reasoning). Penalaran didasarkan pada hubungan antara pernyataan (statements). 1 Definisi: Kalimat deklaratif
Lebih terperinciPENALARAN INDUKTIF DAN DEDUKTIF
Unit 6 PENALARAN INDUKTIF DAN DEDUKTIF Wahyudi Pendahuluan U nit ini membahas tentang penalaran induktif dan deduktif yang berisi penarikan kesimpulan dan penalaran indukti deduktif. Dalam penalaran induktif
Lebih terperinciOperator. Donny Reza, S.Kom Aplikasi IT 2 Program Studi Akuntansi
Operator Donny Reza, S.Kom Aplikasi IT 2 Program Studi Akuntansi Operator Operator merupakan sebuah simbol yang digunakan untuk melakukan sebuah operasi di dalam bahasa pemrograman. 4 + 5 Dalam operasi
Lebih terperinciBAB I TAUTOLOGI DAN PRINSIP-PRINSIP PEMBUKTIAN
BAB I TAUTOLOGI DAN PRINSIP-PRINSIP PEMBUKTIAN Pada bab ini akan dibicarakan rumus-rumus tautologi dan prinsip-prinsip pembuktian yang tidak saja digunakan di bidang matematika, tetapi juga dapat diterapkan
Lebih terperinciHukum-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
Hukum-hukum Logika Disebut juga hukum-hukum aljabar proposisi. 1. Hukum identitas: p F p p T p 3. Hukum negasi: p ~p T p ~p F 5. Hukum involusi (negasi ganda): ~(~p) p 2. Hukum null/dominasi: p F F p T
Lebih terperinciMATEMATIKA 1. Pengantar Teori Himpunan
MATEMATIKA 1 Silabus: Logika, Teori Himpunan, Sistem Bilangan, Grup, Aljabar Linier, Matriks, Fungsi, Barisan dan deret, Beberapa Cara pembuktian Pengertian Himpunan Pengantar Teori Himpunan Himpunan adalah
Lebih terperinciPengenalan Logika Informatika. Pertemuan 1 Viska Armalina, ST.,M.Eng
Pengenalan Logika Informatika Pertemuan 1 Viska Armalina, ST.,M.Eng Pendahuluan Asal kata Logika Logic (Bahasa Inggris) Logos (Yunani) Arti : dalam bahasa Inggris : Word, Speech, what is spoken, thought,
Lebih terperinciKATA PENGANTAR. Assalamu alaikum Wr. Wb.
KATA PENGANTAR Assalamu alaikum Wr. Wb. Alhamdulillah.. Puji syukur kehadirat Allah SWT. atas segala rahmat dan hidayah-nya. Segala pujian hanya layak kita aturkan kepada Allah SWT. Tuhan seru sekalian
Lebih terperinciLogika Matematika BAGUS PRIAMBODO. Silogisme Silogisme Hipotesis Penambahan Disjungsi Penyederhanaan Konjungsi. Modul ke: Fakultas FASILKOM
Modul ke: 7 Fakultas FASILKOM Logika Matematika Silogisme Silogisme Hipotesis Penambahan Disjungsi Penyederhanaan Konjungsi BAGUS PRIAMBODO Program Studi SISTEM INFORMASI http://www.mercubuana.ac.id Kemampuan
Lebih terperinciLogika Proposisi 3: Translasi Bahasa Alami ke Formula Logika Proposisi Masalah Dalam Inferensi Logika Proposisi
Logika Proposisi 3: Translasi Bahasa Alami ke Formula Logika Proposisi Masalah Dalam Inferensi Logika Proposisi Kuliah Logika Matematika Semester Ganjil 2015-2016 MZI Fakultas Informatika Telkom University
Lebih terperinciBAB 2. LANDASAN TEORI 2.1. Algoritma Huffman Algortima Huffman adalah algoritma yang dikembangkan oleh David A. Huffman pada jurnal yang ditulisnya sebagai prasyarat kelulusannya di MIT. Konsep dasar dari
Lebih terperinciPendahuluan. Bab I Logika Manusia
Bab I Pendahuluan 1.1. Logika Manusia Manusia, diantara makhluk yang lain, merupakan pengolah informasi. Kita membutuhkan informasi mengenai dunia dan menggunakan informasi ini untuk kepentingan yang lebih
Lebih terperinciBAB II TAUTOLOGI DAN PRINSIP-PRINSIP PEMBUKTIAN
BAB II TAUTOLOGI DAN PRINSIP-PRINSIP PEMBUKTIAN 2.1 Pendahuluan Pada bab ini akan dibicarakan rumus-rumus tautologi dan prinsip-prinsip pembuktian yang tidak saja digunakan di bidang matematika, tetapi
Lebih terperinciBAB 6 ALJABAR BOOLE. 1. Definisi Dasar MATEMATIKA DISKRIT
BAB 6 ALJABAR BOOLE 1. Definisi Dasar Himpunan dan proposisi mempunyai sifat yang serupa yaitu memenuhi hukum identitas. Hukum ini digunakan untuk mendefinisikan struktur matematika abstrak yang disebut
Lebih terperinciLOGIKA MATEMATIKA. Tabel kebenarannya sbb : p ~ p B S S B
LOGIKA MATEMATIKA A. Pernyataan, kalimat terbuka, dan ingkaran pernyataan. 1. Pernyataan Pernyataan adalah kalimat yang mengandung nilai benar atau salah tetapi tidak sekaligus kedua-duanya. a. Hasil kali
Lebih terperinciMemahami definisi barisan tak hingga dan deret tak hingga, dan juga dapat menentukan
4 BARISAN TAK HINGGA DAN DERET TAK HINGGA JUMLAH PERTEMUAN : 5 PERTEMUAN TUJUAN INSTRUKSIONAL KHUSUS : Memahami definisi barisan tak hingga dan deret tak hingga, dan juga dapat menentukan kekonvergenan
Lebih terperinciTugas 2: Logika Predikat Logika Matematika (MUG2B3)
Program Studi S1 Teknik Informatika Fakultas Informatika, Universitas Telkom Tugas 2: Logika Predikat Logika Matematika (MUG2B3) Tim Dosen: BBD, BDP, DDR, GIA, MDS, MZI, RJL, SSD, SWD Instruksi: 1. Batas
Lebih terperinciTAHAP II PENALARAN : PROPOSISI
Pertemuan ke-4 TAHAP II PENALARAN : PROPOSISI Pada tahap kedua, manusia sudah mulai merangkai berbagai pengertian sederhana yang dimilikinya dan diwujudkan dalam kata tersebut menjadi kalimat atau tepatnya
Lebih terperinciLogika & Himpunan 2013 LOGIKA MATEMATIKA. Oleh NUR INSANI, M.SC. Disadur dari BUDIHARTI, S.Si.
LOGIKA MATEMATIKA Oleh NUR INSANI, M.SC Disadur dari BUDIHARTI, S.Si. Logika adalah ilmu yang mempelajari secara sistematis kaidah-kaidah penalaran yang absah/valid. Ada dua macam penalaran, yaitu: penalaran
Lebih terperinciBAB III DASAR DASAR LOGIKA
BAB III DASAR DASAR LOGIKA 1. Kalimat Deklaratif Kalimat Deklaratif (Proposisi) adalah kalimat yang bernilai benar atau salah, tetapi tidak keduanya. Berikut ini adalah beberapa contoh Proposisi : a. 2
Lebih terperinci