BAB 3 TABEL KEBENARAN
|
|
- Lanny Pranoto
- 7 tahun lalu
- Tontonan:
Transkripsi
1 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 materi tentang kebenaran dan ketidakbenaran. Logika hanya berhubungan dengan bentuk-bentuk (form) logika dari argumen-argumen, serta penarikan kesimpulan tentang validitas dari argumen tersebut, ataupun isi dari pernyataan. Contoh 1: Manusia mempunyai 2 mata Badu seorang manusia Dengan demikian, Badu mempunyai 2 mata Contoh 2: Binatang mempunyai 2 mata Manusia mempunyai 2 mata Dengan demikian, binatang sama dengan manusia Argumen pada contoh 1 masih masuk akal, tetapi kesimpulan dari argumen contoh 2 adalah tidak mungkin. Logika hanya menekankan bahwa premis-premis yang benar harus menghasilkan kesimpulan yang benar (valid) tetapi bukan kebenaran secara aktual atau kebenaran sehari-hari. 2. Tabel kebenaran Pernyataan majemuk terdiri dari satu atau lebih pernyataan sederhana yang dihubungkan dengan kata hubung kalimat (connective) tertentu. Dalam bahasa Indonesia kita sering menggunakan kata-kata tidak (not), dan (and), atau (or), jika... maka... (if then), jika dan hanya jika ( if and only if ). Marilah sekarang kita memperhatikan penggunaan kata-kata itu dengan lebih cermat dalam matematika (dan membandingkannya dengan penggunaan dalam percakapan sehari-hari). Kita pelajari sifat-sifatnya untuk memperjelas cara berpikir kita dan terutama karena pentingnya kata-kata itu untuk
2 melakukan pembuktian. Dalam pelajaran logika (matematika), kata-kata itu disebut kata hubung kalimat, ada lima macam kata hubung kalimat yaitu negasi, konjungsi, disjungsi, kondisional, dan bikondisional. Negasi tidak menghubungkan dua buah pernyataan sederhana, tetapi tetap dianggap sebagai kata hubung kalimat, yaitu menegasikan pernyataan sederhana (ada yang menganggap bahwa negasi suatu pernyataan sederhana bukan pernyataan majemuk). Masalahnya adalah bagaimana mendefinisikan penghubung secara logika antara dua pernyataan yang dapat kita gunakan untuk membentuk pernyataan majemuk. Misalkan p serta q berturut-turut pernyataan sederhana berbunyi musim hujan dan rumput hijau, kita ingin mempunyai simbol untuk menyatakan kalimat seperti p tidak benar, atau jika p maka q, p dan q dan sebagainya. Dalam hal ini kita menginginkan pula untuk dapat memberikan nilai kebenaran bagi kombinasi p dan q tersebut. Tentunya pemberian nilai kebenaran tersebut adalah dengan cara yang konsisten sesuai dengan penggunaan yang biasa dilakukan. Contoh: Jika hari hujan, maka Badu basah kuyub. Pernyataan Jika hari hujan pada kalimat di atas jika benar, maka pernyataan maka Badu basah kuyub masih dipertanyakan kebenarannya. Basah kuyubnya Badu masih bisa diperdebatkan karena mungkin Badu memiliki payung, atau Badu berteduh, atau Badu disiram air oleh temannya dan berbagai kemungkinan lainnya. Logika tidak berhubungan dengan kemungkinan-kemungkinan, logika hanya mengambil nilai kebenarannya. Badu menangkap bola dan menendangnya. Badu menendang bola dan menangkapnya. Pernyataan pertama masuk akal secara alamiah atau secara hard logic memang harus demikian kejadiannya, tetapi pada pernyataan kedua, terasa tidak masuk akal karena tidak mungkin ada kejadian menendang bola kemudian menangkapnya. Tetapi sekali lagi logika tidak mempermasalahkan pengertian sesuai bahasa sehari-hari, karena logika lebih mementingkan bentuk dari pernyataan-pernyataan.
3 Tabel kebenaran adalah suatu tabel yang menunjukkan secara sistematis satu demi satu nilai nilai kebenaran sebagai hasil kombinasi dari proposisi-proposisi yang sederhana. 3. Operator Setiap operator atau perangkai pada logika memiliki kebenarannya masing-masing sesuai jenis perangkai logika yang digunakan. Untuk mengetahui nilai kebenarannya, digunakan aturan dengan memakai tabel kebenaran. Perangkai-perangkai yang digunakan adalah: Tabel 3.1 Perangkai dan Simbolnya Simbol Arti Bentuk Tidak / Not / Negasi Tidak Dan / And / Konjungsi dan Atau / Or / Disjungsi atau Implikasi/if then Jika maka Bi-Implikasi/ if only if bila dan hanya bila Perangkai logika atau operator dalam bentuk simbol dipergunakan untuk membuat bentukbentuk logika atau ekspresi logika. Disini hanya digunakan konstanta proposisional T untuk True dan F untuk False, bukan B dan atau S Konjungsi [ ] Konjungsi adalah kata lain dari perangkai dan (and), dan konjungsi mempunyai Tabel Kebenaran seperti berikut: Tabel 3.2 Aturan And A B A B
4 Pada tabel kebenaran dari konjungsi, hanya ada satu nilai T jika pasangan tersebut keduanya bernilai T, lainnya pasti F. Perangkai atau operator disebut perangkai binary karena ia merangkai dua variabel proposisional. Latihan soal: Carilah nilai fungsi kebenaran dari perangkai untuk nilai konjungsi berikut: A B C A B (A B) C B C A (B C) 3.2. Disjungsi [ ] Tanda digunakan sama dengan perangkai atau (or). Disjungsi juga berfungsi sebagai perangkai binary. Tabel 3.3 Aturan Or A B A B Dari tabel kebenaran di atas, nilai A B bernilai F jika nilai A dan B keduanya F, lainnya pasti T.
5 Contoh: Badu pandai atau Badu bodoh. Bentuk tersebut diubah menjadi variabel proposisional sehingga akan menjadi: A = Badu pandai B = Badu bodoh Bentuk logikanya adalah A B, tidak boleh ditafsirkan dan diganti menjadi variabel proposisional seperti berikut: A = Badu pandai A = Badu bodoh Atau disamakan menjadi A A. Hal ini tentu saja tidak benar karena hal ini tidak boleh dilakukan dalam logika proposisional. Latihan soal: Carilah nilai fungsi kebenaran dari perangkai untuk nilai disjungsi berikut: A B C A B (A B) C B C A (B C) 3.3. Negasi [ ] Negasi digunakan untuk menggantikan perangkai tidak (not). Tabel 3.4 Aturan Not A A A
6 Negasi berarti hanya kebalikan dari nilai variabel proposisional yang dinegasinya. Jika F akan menjadi T dan sebaliknya, atau negasi F adalah T. Perangkai disebut perangkai unary karena hanya dapat merangkai satu variabel proposisional. Perangkai,, dan disebut perangkai alamiah atau perangkai dasar karena semua perangkai dapat dijelaskan hanya dengan tiga perangkai tersebut Implikasi [ ] Implikasi menggantikan perangkai jika maka (if then ). Implikasi yang memakai tanda disebut implikasi material. Tabel 3.5 Aturan Implikasi A B A B Hanya ada satu nilai F dari A B, jika A bernilai T dan B bernilai F, bukan sebaliknya. Pasangan yang terletak di sisi kiri yakni A, disebut antecedent (hipotesis/premis), sedangkan di sisi kanan yakni B, disebut consequent (kesimpulan). Oleh karena itu, implikasi juga disebut conditional atau mengkondisikan satu kemungkinan saja dari sebab dan akibat. Latihan soal: Carilah nilai fungsi kebenaran dari perangkai untuk nilai implikasi berikut: A B C A B (A B) C B C A (B C)
7 3.5. Ekuivalensi / Bi-implikasi [ ] Ekuivalensi dengan simbol menggantikan perangkai jika dan hanya jika ( if and only if ). Tabel 3.6 Aturan Bi-Implikasi A B A B Jadi, nilai A B mempunyai nilai T jika pasangan A dan B bernilai sama, baik T maupun F. Jika pasangannya berbeda, nilainya pasti F. Perangkai disebut biconditioanal karena ia mengkondisikan atau merangkaikan dua ekspresi logika. Latihan soal: Carilah nilai fungsi kebenaran dari perangkai untuk nilai bi-implikasi berikut: A B C A B (A B) C B C A (B C)
8 4. Operator khusus 4.1. Perangkai Tidak dan [ ] Tabel 3.7 Aturan Tidak dan A B A B Jika diperhatikan nilai kebenaran dari A B, maka hasilnya akan terlihat terbalik dari A B. Oleh karena itu, disebut tidak dan (not and) atau operator nand (kadang-kadang disebut Sheffer stroke, diambil dari nama Henry M. Sheffer. Simbolnya berupa vertical stroke [ ] Perangkai Tidak atau [ ] Tabel 3.8 Aturan Tidak atau A B A B Jika diperhatikan nilai kebenaran dari A B, maka hasilnya akan terlihat terbalik dari A B. Oleh karena itu, disebut tidak dan (not or) atau operator nor(kadang-kadang disebut Peircer Arrow, diambil dari nama Charles S. Pierce. Simbolnya berupa [ ].
9 4.3. Perangkai XOR [ ] Tabel 3.9 Aturan XOR A B A B Jika diperhatikan A B tampak terbalik dari A B, yakni jika A dan B nilainya sama, maka hasilnya F, tetapi jika A dan B nilainya berbeda, maka hasilnya T. Latihan soal: 1. Gunakan konstanta proposisional berikut: A = Bowo kaya raya B = Bowo hidup bahagia Selanjutnya, ubah pernyataan-pernyataan berikut ini menjadi bentuk logika: a) Bowo tidak kaya b) Bowo kaya raya dan hidup bahagia c) Bowo kaya raya atau tidak hidup bahagia d) Jika Bowo kaya raya, maka ia hidup bahagia e) Bowo hidup bahagia jika dan hanya jika ia kaya raya 2. Misalkan A, B, dan C adalah variabel proposisional: A = Anda sakit flu B = Anda ujian C = Anda lulus Ubahlah ekspresi berikut menjadi pernyataan dalam bahasa Indonesia: a) A B b) B C c) B C d) (A B) C
10 e) (A C) (B C) f) (A B) ( B C) 3. Berilah konstanta proposisional terserah Anda, dan ubahlah pernyataan-pernyataan berikut menjadi bentuk logika: a) Jika Bowo berada di Malioboro, maka Dewi juga ada di Malioboro b) Pintu rumah Dewi berwarna merah atau coklat. c) Berita itu tidak menyenangkan. d) Bowo akan datang jika ia mempunyai kesempatan. e) Jika Dewi rajin kuliah, maka ia pasti pandai. 4. Jawablah pertanyaan-pertanyaan berikut ini dengan tabel kebenaran a) A A b) A A c) (A A) dan (A A) d) (A B) dan (B A) e) (A B) C dan A (B C) 5. Buatlah tabel kebenaran dengan semua kemungkinan nilai keenaran dari ekspresiekspresi logika berikut ini: a) ( A B) b) A (A B) c) (( A ( B C)) (B C)) (A C) d) (A B) ((( A B) A) B) e) (A B) ( B A)
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 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 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 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 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 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 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 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 terperinciTABEL 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 terperinciLOGIKA 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 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 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 terperinciTeknik 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 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 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 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 terperinciSINTAKS 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 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 Bab 1 Pengantar Logika Proposisional
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 terperinci6. 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 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 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 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 terperinciLANDASAN 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 terperinciMATEMATIKA 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 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 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 terperinciBAB 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 terperinciProposition Logic. (Logika Proposisional) Bimo Sunarfri Hantono
Proposition Logic (Logika Proposisional) Bimo Sunarfri Hantono bimo@te.ugm.ac.id Proposition (pernyataan) Merupakan komponen penyusun logika dasar yang dilambangkan dengan huruf kecil (p, q, r,...) yang
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 terperinciPERNYATAAN MAJEMUK & NILAI KEBENARAN
PERNYATAAN MAJEMUK & NILAI KEBENARAN 1. Pernyataan Majemuk Perhatikan pernyataan hari ini hujan dan aku berjalan-jalan. Pernyataan tersebut terdiri dari dua pernyataan pokok/tunggal (prime sentence), yaitu
Lebih terperinciLogika. Modul 1 PENDAHULUAN
Modul 1 Logika Drs. Sukirman, M.Pd. L PENDAHULUAN ogika merupakan salah satu bidang ilmu yang mengkaji prinsip-prinsip penalaran yang benar dan penarikan kesimpulan yang absah, baik yang bersifat deduktif
Lebih terperinciIT105 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 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 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 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 Konsep Logika, Sejarah dan Peranannya Bentuk Formal Logika dan Kaidah-kaidah Dasarnya Logika Proposisi
Lebih terperinciLOGIKA (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 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 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 terperinciPERTEMUAN 3 DASAR-DASAR LOGIKA
PERTEMUAN 3 DASAR-DASAR LOGIKA 1.1 PENGERTIAN UMUM LOGIKA Filsafat dan matematika adalah bidang pengetahuan rasional yang ada sejak dahulu. Jauh sebelum matematika berkembang seperti sekarang ini dan penerapannya
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 terperinciLogika 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 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 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 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 terperinciMODUL 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 terperinciDasar-dasar Logika. (Review)
Dasar-dasar Logika (Review) Intro Logika berhubungan dengan kalimat-kalimat dan hubungan antar kalimat. Tujuan: menentukan apakah suatu kalimat / masalah bernilai benar (TRUE) atau salah (FALSE) Kalimat
Lebih terperinciPertemuan 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 terperinciLogika Informatika. Bambang Pujiarto
Logika Informatika Bambang Pujiarto LOGIKA mempelajari atau berkaitan dengan prinsip-prinsip dari penalaran argument yang valid studi tentang kriteria-kriteria untuk mengevaluasi argumenargumen dengan
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 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 terperinci2.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 terperinciLOGIKA. Logika Nilai kebenaran pernyataan majemuk Ingkaran suatu pernyataan Penarikan kesimpulan. A. Pernyataan, Kalimat Terbuka, Ingkaran.
LOGIKA Standar Kompetensi Lulusan (SKL) Memahami pernyataan dalam matematika dan ingkarannya, menentukan nilai kebenaran pernyataan majemuk, serta mampu menggunakan prinsip logika matematika dalam pemecahan
Lebih terperinciRENCANA PELAKSANAAN PEMBELAJARAN
RENCANA PELAKSANAAN PEMBELAJARAN Materi Pelajaran : Matematika Kelas/ Semester : X / 2 Pertemuan ke : 1,2 Alokasi Waktu : 5 x 45 menit Standar Kompetensi : Menerapkan logika matematika dalam pemecahan
Lebih terperinciPERNYATAAN (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 terperinciPERTEMUAN 1. PERNYATAAN PENGHUBUNG PERNYATAAN A.Jerry W Jeki C.S. jekichas.weebly.com
PERTEMUAN 1 IT 030 G PERNYATAAN PENGHUBUNG PERNYATAAN A.Jerry W Jeki C.S jekichas.weebly.com Peraturan Keterlambatanyang penting tdk keterlaluan dan tdk tertinggal pre test (tidak ada pre test susulan)
Lebih terperinciNEGASI KALIMAT DAN KALIMAT MAJEMUK (Minggu ke-3)
NEGASI KALIMAT DAN KALIMAT MAJEMUK (Minggu ke-3) 1 1 Kata Penghubung Kalimat 1. Konjungsi: menggunakan kata penghubung: dan 2. Disjungsi: menggunakan kata penghubung: atau 3. Implikasi: menggunakan kata
Lebih terperinciREPRESENTASI 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 terperinciLOGIKA DAN BUKTI. Drs. C. Jacob, M.Pd
LOGIKA DAN UKTI Drs. C. Jacob, M.Pd Email: cjacob@upi.edu Untuk mampu mengerti matematika dan argumen matematis perlu memiliki suatu pengertian mendalam logika dan cara di mana mengenal fakta-fakta yang
Lebih terperinciKeterampilan 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 terperinciLogika. 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 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 terperinciMatematika 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 terperinciPENGERTIAN. 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 terperinciMATEMATIKA 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 terperinci4. 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 terperinciBAB 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 terperinciKURSUS ONLINE JASA WEBMASTERS
KURSUS ONLINE JASA WEBMASTERS PHP Dasar Operator JASA WEBMASTERS Jl. Ringin Raya No 124A Condong Catur, Sleman, Yogyakarta Operator Operator adalah sebuah simbol/syntax yang digunakan oleh program untuk
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 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 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 terperinciMateri 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 terperinciPertemuan 1. Pendahuluan Proposisi Jenis-Jenis Proposisi
Pertemuan 1 Pendahuluan Proposisi Jenis-Jenis Proposisi Sejarah Pekembangan Logika Logika dalam ilmu komputer digunakan sebagai dasar dalam belajar bahasa pemrograman, struktur data, kecerdasan buatan,
Lebih terperinciRefreshing Materi Kuliah Semester Pendek 2010/2011. Logika dan Algoritma. Heri Sismoro, M.Kom.
Refreshing Materi Kuliah Semester Pendek 2010/2011 Logika dan Algoritma Heri Sismoro, M.Kom. STMIK AMIKOM YOGYAKARTA 2011 Materi 1. Logika Informatika Adalah logika dasar dalam pembuatan algoritma pada
Lebih terperinciLogika. 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 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 terperinciPERANAN 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 terperinciDian Wirdasari, S.Si.,M.Kom
IntelijensiBuatan Dian Wirdasari, S.Si.,M.Kom IntelijensiBuatan Materi-4 Representasi Pengetahuan-1 Dian Wirdasari, S.Si.,M.Kom Definisi: fakta atau kondisi sesuatu atau keadaan yg timbul karena suatu
Lebih terperinciLogika 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 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 terperinciLogika 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 terperinciBAB 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 terperinciLogika 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 terperinciLOGIKA. Kegiatan Belajar Mengajar 1
Kegiatan elajar Mengajar 1 LOGIKA Zainuddin Akina Kegiatan belajar mengajar 1 ini akan membahas tentang logika. esuai dengan kebutuhan maka kegiatan belajar mengajar 1 ini mencakup dua pokok bahasan, yaitu
Lebih terperinciPROPOSISI MATEMATIKA SISTEM INFORMASI 1
PROPOSISI MATEMATIKA SISTEM INFORMASI 1 Logika Logika merupakan dasar dari semua penalaran (reasoning). Penalaran didasarkan pada hubungan antara pernyataan (statements). Proposisi Pernyataan atau kalimat
Lebih terperinciA. 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 terperinciREPRESENTASI 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 terperinciNAMA LAMBANG KATA PERNYATAAN LOGIKANYA PENGHUBUNG
LOGIKA MATEMATIKA A. PERNYATAAN DAN KALIMAT TERBUKA Kalimat terbuka adalah kalimat yang belum dapat ditentukan nilai kebenarannya (benar dan salah). 1. Gadis itu cantik. 2. Bersihkan lantai itu. 3. Pernyataan/kalimat
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 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 terperinciBAB 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 terperincikusnawi.s.kom, M.Eng version
Propositional Logic 3 kusnawi.s.kom, M.Eng version 1.1.0.2009 Properties of Sentences Adalah sifat-sifat yang dimiliki oleh kalimat logika. Ada 3 sifat logika yaitu : - Valid(Tautologi) - Kontradiksi -
Lebih terperinciLogika 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 terperinciLogika Matematika. ILFA STEPHANE, M.Si. September Teknik Sipil dan Geodesi Institut Teknologi Padang
ILFA STEPHANE, M.Si September 2012 Teknik Sipil dan Geodesi Institut Teknologi Padang Definisi 1 Logika adalah usaha dalam memutuskan ya atau tidaknya (whether or not) suatu keputusan yang sah. Oleh karena
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 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 terperinciUnit 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 terperinciPERTEMUAN 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 terperinciBAB 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